Diskussion:Markierungsalgorithmus

• der Link funktioniert leider nicht ! (nicht signierter Beitrag von 188.105.49.187 (Diskussion) 07:38, 19. Sep. 2012 (CEST))

• Hallo, der Algorithmus muss ja auch "unerfüllbar" ausgeben können! Da fehlt noch was.

• Der Abschnitt Horn-Formeln ist redundant zum Artikel Horn-Formel und sollte deshalb entfernt werden.

1) Doch, der Link funktioniert.

2) 6. Zeile im Abschnitt "Algorithmus

3) Nein, hier ist eine Zusammenfassung sinnvoll. --P.C. ✉ 07:42, 19. Sep. 2012 (CEST)