MDLUL/Terminterpretation

Start=Terminterpretation

MDLUL/Terminterpretation

Ziel=Alphabet erster Stufe/A/Interpretation für Terme/Definition