PanLinx
English
eng-000
resolution theorem proving
普通话
cmn-000
归结定理证明消解式定理证明
PanLex