PanLinx
普通话
cmn-000
前束合取范式
Hànyǔ
cmn-003
qián shù hé qǔ fàn shì
English
eng-000
prenex-conjunctive normal form
PanLex