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