PanLinx
普通话
cmn-000
解析定理证明
English
eng-000
resolution theorem-proving
PanLex