MDLUL/Terminterpretation
Start=Terminterpretation
MDLUL/Terminterpretation |
---|
Ziel=Alphabet erster Stufe/A/Interpretation für Terme/Definition
Start=Terminterpretation
MDLUL/Terminterpretation |
---|
Ziel=Alphabet erster Stufe/A/Interpretation für Terme/Definition