PanLinx
Hànyǔ
cmn-003
yan3 yi4 ding4 li3
普通话
cmn-000
演绎定理
國語
cmn-001
演繹定理
Deutsch
deu-000
Deduktionstheorem
PanLex