PanLinx
English
eng-000
decidability problem
русский
rus-000
проблема разрешимости
PanLex