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