PanLinx
ئۇيغۇرچە
uig-000
ھۆكۈم جۈملە دىنامىكىلىق لوگىكىسى
普通话
cmn-000
命题动态逻辑
Hànyǔ
cmn-003
mìng tí dòng tai luó jí
PanLex
