Anzahl Assoziationen zu diesem Stichwort (einige Beispiele folgen unten) 8, davon 8 (100,00%) mit einer Bewertung über dem eingestellten Schwellwert (-3) und 2 positiv bewertete (25,00%)
Durchschnittliche Textlänge 157 Zeichen
Durchschnittliche Bewertung 0,000 Punkte, 4 Texte unbewertet.
Siehe auch:
positiv bewertete Texte
Der erste Text am 16.1. 2002 um 09:51:00 Uhr schrieb
waringo über Herbrand-Interpretation
Der neuste Text am 5.7. 2009 um 03:40:10 Uhr schrieb
Baumhaus über Herbrand-Interpretation
Einige noch nie bewertete Texte
(insgesamt: 4)

am 28.9. 2004 um 12:59:18 Uhr schrieb
Bettina Beispiel über Herbrand-Interpretation

am 3.2. 2003 um 13:00:45 Uhr schrieb
Aufgelöst über Herbrand-Interpretation

am 5.7. 2009 um 03:40:10 Uhr schrieb
Baumhaus über Herbrand-Interpretation

Einige überdurchschnittlich positiv bewertete

Assoziationen zu »Herbrand-Interpretation«

waringo schrieb am 16.1. 2002 um 18:06:07 Uhr zu

Herbrand-Interpretation

Bewertung: 1 Punkt(e)

Jeder, der meine Definition und Erläuterung der Herbrand-Interpretation runterbewertet ist ein Banause und gehört aus dem Internet rausgeschmissen!

waringo schrieb am 16.1. 2002 um 09:51:00 Uhr zu

Herbrand-Interpretation

Bewertung: 1 Punkt(e)

Eine Herbrand-Interpretation kann als Teilmenge der Herbrand-Basis angesehen werden.

Nicht jede Herbrand-Interpretation ist auch Herbrand-Modell, aber die komplette Herbrand-Basis ist Modell.

Allerdings nur, wenn das Programm nur aus Hornklauseln besteht; kommt in einer Programmklausel mehr als ein positives Literal vor, treten ganz böse Probleme auf.
Dann muss man das Programm vervollständigen, also COMP(P) bilden.

Einige zufällige Stichwörter

Rohrstöcke
Erstellt am 22.5. 2007 um 04:42:12 Uhr von Bob, enthält 14 Texte

Rittergut
Erstellt am 14.4. 2003 um 19:35:16 Uhr von Stöbers Greif, enthält 9 Texte

Turnhalle
Erstellt am 1.12. 2004 um 23:16:42 Uhr von Hoax, enthält 14 Texte

nachdenkt
Erstellt am 31.7. 2002 um 17:51:26 Uhr von Max van der Moritz, enthält 5 Texte

Vulkanette
Erstellt am 13.5. 2005 um 13:11:43 Uhr von Käpt'n Kork, enthält 6 Texte


Der Assoziations-Blaster ist ein Projekt vom Assoziations-Blaster-Team (Alvar C.H. Freude und Dragan Espenschied) | 0,0211 Sek.