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