Informationen zu „LATPub605“

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

Basisinformationen

AnzeigetitelDeciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
StandardsortierschlüsselLATPub605
Seitenlänge (in Bytes)1.606
Seitenkennnummer5325
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

SeitenerstellerMarcel Lippmann (Diskussion | Beiträge)
Datum der Seitenerstellung18:44, 19. Mär. 2015
Letzter BearbeiterStefan Borgwardt (Diskussion | Beiträge)
Datum der letzten Bearbeitung10:55, 18. Nov. 2016
Gesamtzahl der Bearbeitungen8
Gesamtzahl unterschiedlicher Autoren2
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 (20)

Folgende Vorlagen werden auf dieser Seite verwendet: