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