PanLinx
普通话
cmn-000
定理证明的产生式系统
Hànyǔ
cmn-003
dìng lǐ zhèng míng de chǎn shēng shì xì tǒng
PanLex