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