MDLUL/Modelle (Prädikatenlogik)

Start=Modelle (Prädikatenlogik)

MDLUL/Modelle (Prädikatenlogik)

Siehe=Modell (Prädikatenlogik)
MDLUL/Modell (Prädikatenlogik)
Ziel=Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition