PanLinx
Hànyǔ
cmn-003
jī qì dìng lǐ zhèng míng
普通话
cmn-000
机器定理证明
ئۇيغۇرچە
uig-000
مېخانىكىلىق تېئورېما ئىسپاتلاش
Uyghurche
uig-001
méxanikiliq téoréma ispatlash
PanLex
