PanLinx
русский
rus-000
невыполнимое высказывание
English
eng-000
unsatisfiable statement
PanLex