Uyghur←Chineseئاساسىي لۇغەت
تېئورېما ئىسپاتىنى پەيدا قىلغۇچى سىستېما
دائىرە: ئۇنىۋېرسال定理证明的产生式系统
dìng lǐ zhèng míng de chǎn shēng shì xì tǒng
GetWord كۇللىياتى
9定理证明的产生式系统
dìng lǐ zhèng míng de chǎn shēng shì xì tǒng
بۇ خەت ھەققىدە
بۇ ئۇيغۇرچە–خەنزۇچە لۇغەت خېتى.
بۇ تەرجىمە Lughet توپلىمىدىكى ئاساسىي لۇغەت دىن ئېلىندى.
بۇ سۆز Lughet توپلىمىدىكى باشقا مەنبەلەردىمۇ ئۇچرايدۇ — تۆۋەندىكى تىزىملىكنى كۆرۈڭ.