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