PanLinx
ئۇيغۇرچە
uig-000
يەكۈن قائىدىسىنىڭ مۇكەممەللىكى
普通话
cmn-000
推理规则的完备性
Hànyǔ
cmn-003
tuī lǐ guī zé de wán bèi xìng
PanLex
