PanLinx
普通话
cmn-000
可满足性
English
eng-000
satisfiability
PanLex