Start=erfüllbar

MDLUL/erfüllbar

Ziel=Prädikatenlogik/Erfüllbar/Durch_Modell/Definition