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