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