MDLUL/Terme

Start=Terme

MDLUL/Terme

Siehe=Term
MDLUL/Term
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv_definierte_Termmenge/Definition