Diskussion:Markierungsalgorithmus

aus Wikipedia, der freien Enzyklopädie

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)

Abgerufen von „https://de.wikiup.org/index.php?title=Diskussion:Markierungsalgorithmus&oldid=108250557“