PanLinx
ئۇيغۇرچە
uig-000
تېئورېما ئىسپاتلىغۇچ
普通话
cmn-000
定理证明器
普通话
cmn-000
定理证明机
Hànyǔ
cmn-003
dìng lǐ zhèng míng jī
Hànyǔ
cmn-003
dìng lǐ zhèng míng qì
PanLex
