PanLinx
Hànyǔ
cmn-003
zì dòng dìng lǐ zhèng míng
普通话
cmn-000
自动定理证明
ئۇيغۇرچە
uig-000
ئاپتوماتىك لېنتا ئوقۇغۇچ
Uyghurche
uig-001
aptomatik lénta oqughuch
PanLex
