PanLinx
Uyghurche
uig-001
höküm jümle dinamikiliq logikisi
普通话
cmn-000
命题动态逻辑
Hànyǔ
cmn-003
mìng tí dòng tai luó jí
PanLex
