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