MDLUL/Term (Prädikatenlogik)
Erscheinungsbild
MDLUL/Term (Prädikatenlogik) |
---|
Start=Term (Prädikatenlogik)
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv_definierte_Termmenge/Definition
MDLUL/Term (Prädikatenlogik) |
---|
Start=Term (Prädikatenlogik)
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv_definierte_Termmenge/Definition