PanLinx
English
eng-000
completeness of deduction system
普通话
cmn-000
演绎系统完备性
PanLex