PanLinx
русский
rus-000
формально разрешимая формула
English
eng-000
formally decidable formula
PanLex