PanLinx
русский
rus-000
конечно выполнимый
English
eng-000
finitely satisfiable
PanLex