MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik)
Erscheinungsbild
MDLUL/abgeschlossen unter Ableitungen (Prädikatenlogik) |
---|
Start=abgeschlossen unter Ableitungen (Prädikatenlogik)
Ziel=Prädikatenlogik/Maximal widerspruchsfrei/Folgerungen/Fakt