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