Informationen zu „Inproceedings3301“

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

Basisinformationen

AnzeigetitelOn Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
StandardsortierschlüsselInproceedings3301
Seitenlänge (in Bytes)2.181
Seitenkennnummer13152
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

SeitenerstellerBartosz Bednarczyk (Diskussion | Beiträge)
Datum der Seitenerstellung10:00, 1. Nov. 2021
Letzter BearbeiterBartosz Bednarczyk (Diskussion | Beiträge)
Datum der letzten Bearbeitung18:43, 9. Sep. 2022
Gesamtzahl der Bearbeitungen5
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 (20)

Folgende Vorlagen werden auf dieser Seite verwendet: