PanLinx
普通话
cmn-000
定理证明系统
Hànyǔ
cmn-003
dìng lǐ zhèng míng xì tǒng
ئۇيغۇرچە
uig-000
تىئورېما ئىسپاتلاش سىستېمىسى
Uyghurche
uig-001
tioréma ispatlash sistémisi
PanLex
