Suchergebnisse

Hey Phonix, Lernst du schon für die Zulassung nächste Woche? ;) SLD Resolution ein eigentlich recht einfach, wie auf Folie 68 steht negierst du deine Vermutung und formst sie ein eine Hornklausel um. Alles, was bei einer Hornklausel hinter dem :- steht ist negativ. Jetzt ist es eigentlich wie...