Diskussion:Stratifikation (Logik)
Ich kenne mich nicht aus mit dem Thema. Es wäre schön, wenn noch ein Gegenbeispiel einer nicht stratifizierbaren Menge angegeben werden könnte, für die auch gezeigt werden können (und auch gezeigt werden) sollte, dass keine eindeutige Interpretation für sie existiert. -- Wikiwikigreif 17:16, 25. Feb. 2009 (CET)
Es wäre auch schön, wenn man aus dem Artikel erfahren würde, wofür Stratifikationen gut sind. (nicht signierter Beitrag von 78.54.34.128 (Diskussion) 21:31, 7. Aug. 2010 (CEST))
Steht doch da: Sie sind dafür gut, sicherzustellen, dass eine eindeutige formale Interpretation (ein eindeutig bestimmtes Modell) eines Logikprogramms existiert. --Maformatiker (Diskussion) 15:01, 11. Dez. 2016 (CET)
Qualifikator
[Quelltext bearbeiten]Meiner Meinung nach wäre Logik oder Logische Programmierung als Qualifikator hier passender als Mathematik. Die folgenden thematisch verwandten Artikel verwenden ebenfalls Logik als Qualifikator: Prädikat (Logik), Interpretation (Logik), Resolution (Logik), Ableitung (Logik) --Maformatiker (Diskussion) 15:28, 11. Dez. 2016 (CET)