PanLinx
Hànyǔ
cmn-003
guī jié dìng lǐ zhèng míng chéng xù
普通话
cmn-000
归结定理证明程序
ئۇيغۇرچە
uig-000
يىغىنچاقلاش تېئورېمىسىنى ئىسپاتلاش پروگراممىسى
Uyghurche
uig-001
yighinchaqlash téorémisini ispatlash programmisi
PanLex
