Informationen zu „Deduction Systems (SS2017)“
Aus International Center for Computational Logic
Basisinformationen
Anzeigetitel | Deduction Systems |
Standardsortierschlüssel | Deduction Systems (SS2017) |
Seitenlänge (in Bytes) | 2.048 |
Seitenkennnummer | 8953 |
Seiteninhaltssprache | de - Deutsch |
Seiteninhaltsmodell | Wikitext |
Indizierung durch Suchmaschinen | Erlaubt |
Anzahl der Weiterleitungen zu dieser Seite | 0 |
Gezählt als eine Inhaltsseite | Ja |
Seitenschutz
Bearbeiten | Alle Benutzer (unbeschränkt) |
Verschieben | Alle Benutzer (unbeschränkt) |
Versionsgeschichte
Seitenersteller | Lukas Schweizer (Diskussion | Beiträge) |
Datum der Seitenerstellung | 16:30, 28. Mär. 2017 |
Letzter Bearbeiter | Maximilian Marx (Diskussion | Beiträge) |
Datum der letzten Bearbeitung | 13:25, 27. Okt. 2020 |
Gesamtzahl der Bearbeitungen | 13 |
Gesamtzahl unterschiedlicher Autoren | 3 |
Anzahl der kürzlich erfolgten Bearbeitungen (in den letzten 90 Tagen) | 0 |
Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen | 0 |