PanLinx
ελληνικά
ell-000
ικανοποιήσιμος
English
eng-000
satisfiable
PanLex
