PanLinx
English
eng-000
decidable proposition
普通话
cmn-000
可决策命题
русский
rus-000
разрешимое утверждение
PanLex