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