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