PanLinx
English
eng-000
prenex formula
普通话
cmn-000
前束式
русский
rus-000
предваренная формула
PanLex