PanLinx
English
eng-000
elimination of quantifiers
русский
rus-000
элиминация кванторов
PanLex