Uyghur←Chineseئاساسىي لۇغەت
يىغىنچاقلاش تېئورېمىسىنى ئىسپاتلاش پروگراممىسى
دائىرە: ئۇنىۋېرسال归结定理证明程序
guī jié dìng lǐ zhèng míng chéng xù
GetWord كۇللىياتى
9归结定理证明程序
guī jié dìng lǐ zhèng míng chéng xù
بۇ خەت ھەققىدە
بۇ ئۇيغۇرچە–خەنزۇچە لۇغەت خېتى.
بۇ تەرجىمە Lughet توپلىمىدىكى ئاساسىي لۇغەت دىن ئېلىندى.
بۇ سۆز Lughet توپلىمىدىكى باشقا مەنبەلەردىمۇ ئۇچرايدۇ — تۆۋەندىكى تىزىملىكنى كۆرۈڭ.