PanLinx
English
eng-000
satisfiability problem
普通话
cmn-000
满意性问题
Esperanto
epo-000
plenumebloproblemo
русский
rus-000
задача выполнимости
русский
rus-000
проблема выполнимости
PanLex