PanLinx
ئۇيغۇرچە
uig-000
يىغىنچاقلاش تېئورېمىسىنى ئىسپاتلاش
普通话
cmn-000
归结定理证明
Hànyǔ
cmn-003
guī jié dìng lǐ zhèng míng
PanLex
