Letzte Änderungen

Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.

Anzeigeoptionen Zeige die letzten 50 | 100 | 250 | 500 Änderungen der letzten 1 | 3 | 7 | 14 | 30 Tage.
Registrierte Benutzer ausblenden | Unangemeldete Benutzer ausblenden | Eigene Beiträge ausblenden | Bots anzeigen | Kleine Änderungen ausblenden
Nur Änderungen seit 22. März 2026, 10:03 Uhr zeigen.

Liste von Abkürzungen:

N: Neue Seite (siehe auch die Liste neuer Seiten)
K: Kleine Änderung
B: Änderung durch einen Bot
(±123): Die Änderung der Seitengröße in Bytes

20. März 2026

13:12

Inproceedings3450 UnterschiedVersionen +96 Hannes Straß Diskussion Beiträge

			N 12:43		Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination 2 Änderungen Versionsgeschichte +2.509 [Meghna Bhadra (2×)]
					12:43 (Aktuell \| Vorherige) +172 Meghna Bhadra Diskussion Beiträge
			N		12:42 (Aktuell \| Vorherige) +2.337 Meghna Bhadra Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung \|Titel DE=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination \|Titel EN=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination \|Beschreibung DE=The chase is a sound and complete but possibly non-terminating procedure for query answering over ontologies that feature existential rules (aka. tuple-generating dependencies), a highly expressive know…“)

N 12:42

Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination2 UnterschiedVersionen +342 Meghna Bhadra Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination |Titel EN=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination |Veranstaltungsart=Vortrag |Start=2026-03-20 12:38:05 |Ende=2026-03-20 12:38:05 |In News anzeigen=1 }}“)

19. März 2026

13:51

Algorithmic Game Theory (SS2026) UnterschiedVersionen +33 Hannes Straß Diskussion Beiträge

13:17

Inproceedings3462 UnterschiedVersionen +33 Maximilian Marx Diskussion Beiträge

			11:36		(Verschiebungs-Logbuch) [Maximilian Marx (2×)]
					11:36 Maximilian Marx Diskussion Beiträge verschob die Seite Karina Adler nach Karina Neupert (Namensaenderung)
					11:35 Maximilian Marx Diskussion Beiträge verschob die Seite Benutzer:Karina Adler nach Benutzerin:Karina Neupert (Seite während der Benutzerkontoumbenennung von „Karina Adler“ in „Karina Neupert“ automatisch verschoben)

11:35

Benutzernamenänderungs-Logbuch Maximilian Marx Diskussion Beiträge hat den Benutzer „Karina Adler“ (mit 9 Bearbeitungen) in „Karina Neupert“ umbenannt (Namensaenderung)

			11:31		Projekte und Studienarbeiten Wissensbasierte Systeme 2 Änderungen Versionsgeschichte +437 [Stephan Mennicke (2×)]
					11:31 (Aktuell \| Vorherige) +363 Stephan Mennicke Diskussion Beiträge (prepared new modules)
					07:53 (Aktuell \| Vorherige) +74 Stephan Mennicke Diskussion Beiträge (added default modules)

N 08:31

Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +10.486 Stephan Mennicke Diskussion Beiträge (created TheoLog 2026 landing page)

18. März 2026

13:09

Inproceedings3454 UnterschiedVersionen 0 Markus Krötzsch Diskussion Beiträge

16. März 2026

			14:27		Teamprojekt Model Checking (SS2026) 2 Änderungen Versionsgeschichte +14 [Johannes Lehmann (2×)]
					14:27 (Aktuell \| Vorherige) −2 Johannes Lehmann Diskussion Beiträge
					12:41 (Aktuell \| Vorherige) +16 Johannes Lehmann Diskussion Beiträge

13:09

Algebraische und logische Grundlagen der Informatik UnterschiedVersionen 0 Johannes Lehmann Diskussion Beiträge Markierung: Manuelle Zurücksetzung

			12:56		Profilprojekt Grundlagenforschung (SS2026) 2 Änderungen Versionsgeschichte +90 [Johannes Lehmann (2×)]
					12:56 (Aktuell \| Vorherige) +74 Johannes Lehmann Diskussion Beiträge
					12:31 (Aktuell \| Vorherige) +16 Johannes Lehmann Diskussion Beiträge

			12:55		(Verschiebungs-Logbuch) [Johannes Lehmann (2×)]
					12:55 Johannes Lehmann Diskussion Beiträge verschob die Seite Laborkurs Modeling and Automated Verification (WS2026) nach Laborkurs Modeling and Automated Verification (SS2026), ohne dabei eine Weiterleitung anzulegen
					12:13 Johannes Lehmann Diskussion Beiträge verschob die Seite CMS Research Project Model Checking (WS2026) nach CMS Research Project Model Checking (SS2026), ohne dabei eine Weiterleitung anzulegen (Falsch geschriebener Name)