PanLinx
English
eng-000
quantifier-free inference
русский
rus-000
бескванторный вывод
PanLex