PanLinx
svenska
swe-000
lösbarhet
Deutsch
deu-000
Erfüllbarkeit
English
eng-000
satisfiability
Nederlands
nld-000
vervulbaarheid
Türkçe
tur-000
gerçeklesme
PanLex