Informationen zu „Misc3069“

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Basisinformationen

AnzeigetitelDon’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
StandardsortierschlüsselMisc3069
Seitenlänge (in Bytes)1.819
Seitenkennnummer13026
Seiteninhaltssprachede - Deutsch
SeiteninhaltsmodellWikitext
Indizierung durch SuchmaschinenErlaubt
Anzahl der Weiterleitungen zu dieser Seite1
Gezählt als eine InhaltsseiteJa

Seitenschutz

BearbeitenAlle Benutzer (unbeschränkt)
VerschiebenAlle Benutzer (unbeschränkt)
Das Seitenschutz-Logbuch für diese Seite ansehen.

Versionsgeschichte

SeitenerstellerLukas Gerlach (Diskussion | Beiträge)
Datum der Seitenerstellung08:08, 13. Okt. 2021
Letzter BearbeiterLukas Gerlach (Diskussion | Beiträge)
Datum der letzten Bearbeitung14:25, 8. Dez. 2021
Gesamtzahl der Bearbeitungen3
Gesamtzahl unterschiedlicher Autoren1
Anzahl der kürzlich erfolgten Bearbeitungen (in den letzten 90 Tagen)0
Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen0

Seiteneigenschaften

Magisches Wort (1)
  • __KEIN_INHALTSVERZEICHNIS__
Eingebundene Vorlagen (19)

Folgende Vorlagen werden auf dieser Seite verwendet: