PanLinx
普通话
cmn-000
程序设计逻辑性证明
Hànyǔ
cmn-003
chéng xù shè jì luó jí xìng zhèng míng
ئۇيغۇرچە
uig-000
پروگرامما لايىھىلەشنىڭ لوگىكىلىق ئىسپاتى
Uyghurche
uig-001
programma layihileshning logikiliq ispati
PanLex
