MDLUL/Modell (Prädikatenlogik)

Start=Modell (Prädikatenlogik)

MDLUL/Modell (Prädikatenlogik)

Ziel=Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition