MDLUL/Substitution (Ausdruck)
MDLUL/Substitution (Ausdruck) |
---|
Start=Substitution (Ausdruck)
Ziel=Prädikatenlogik/Variablensubstitution/Ausdrücke/Definition
MDLUL/Substitution (Ausdruck) |
---|
Start=Substitution (Ausdruck)
Ziel=Prädikatenlogik/Variablensubstitution/Ausdrücke/Definition