| 普通话 | cmn-000 |
| 程序正确性证明 | |
| Hànyǔ | cmn-003 | chéng xù zhèng què xìng zhèng míng |
| English | eng-000 | proof of program correctness |
| ئۇيغۇرچە | uig-000 | پروگرامما توغرىلىق ئىسپاتى |
| ئۇيغۇرچە | uig-000 | پروگراممىنىڭ توغرىلىق ئىسپاتى |
| Uyghurche | uig-001 | programma toghriliq ispati |
| Uyghurche | uig-001 | programmining toghriliq ispati |