MDLUL/Substitution (Term)

Start=Substitution (Term)

MDLUL/Substitution (Term)

Ziel=Prädikatenlogik/Variablensubstitution/Terme/Definition