PanLinx
English
eng-000
propositional inference
普通话
cmn-000
命题推演
русский
rus-000
пропозициональный вывод
русский
rus-000
пропозиционный вывод
PanLex