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