Start=Erfüllbarkeit

MDLUL/Erfüllbarkeit

Ziel=Prädikatenlogik/Erfüllbar/Durch Modell/Definition