Recent changes

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 19:21, 22 March 2026

List of abbreviations:

N: This edit created a new page (also see list of new pages)
m: This is a minor edit
b: This edit was performed by a bot
(±123): The page size changed by this number of bytes

20 March 2026

13:12

Inproceedings3450 diffhist +96 Hannes Straß talk contribs

			N 12:43		Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination 2 changes history +2,509 [Meghna Bhadra (2×)]
					12:43 (cur \| prev) +172 Meghna Bhadra talk contribs
			N		12:42 (cur \| prev) +2,337 Meghna Bhadra talk contribs (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 diffhist +342 Meghna Bhadra talk contribs (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 March 2026

13:51

Algorithmic Game Theory (SS2026) diffhist +33 Hannes Straß talk contribs

13:17

Inproceedings3462 diffhist +33 Maximilian Marx talk contribs

			11:36		(Move log) [Maximilian Marx (2×)]
					11:36 Maximilian Marx talk contribs moved page Karina Adler to Karina Neupert (Namensaenderung)
					11:35 Maximilian Marx talk contribs moved page Benutzer:Karina Adler to Benutzerin:Karina Neupert (Seite während der Benutzerkontoumbenennung von „Karina Adler“ in „Karina Neupert“ automatisch verschoben)

11:35

User rename log Maximilian Marx talk contribs renamed user Karina Adler (9 edits) to Karina Neupert (Namensaenderung)

			11:31		Projekte und Studienarbeiten Wissensbasierte Systeme 2 changes history +437 [Stephan Mennicke (2×)]
					11:31 (cur \| prev) +363 Stephan Mennicke talk contribs (prepared new modules)
					07:53 (cur \| prev) +74 Stephan Mennicke talk contribs (added default modules)

N 08:31

Theoretische Informatik und Logik (SS2026) diffhist +10,486 Stephan Mennicke talk contribs (created TheoLog 2026 landing page)

18 March 2026

13:09

Inproceedings3454 diffhist 0 Markus Krötzsch talk contribs

16 March 2026

			14:27		Teamprojekt Model Checking (SS2026) 2 changes history +14 [Johannes Lehmann (2×)]
					14:27 (cur \| prev) −2 Johannes Lehmann talk contribs
					12:41 (cur \| prev) +16 Johannes Lehmann talk contribs

13:09

Algebraische und logische Grundlagen der Informatik diffhist 0 Johannes Lehmann talk contribs Tag: Manual revert

			12:56		Profilprojekt Grundlagenforschung (SS2026) 2 changes history +90 [Johannes Lehmann (2×)]
					12:56 (cur \| prev) +74 Johannes Lehmann talk contribs
					12:31 (cur \| prev) +16 Johannes Lehmann talk contribs

			12:55		(Move log) [Johannes Lehmann (2×)]
					12:55 Johannes Lehmann talk contribs moved page Laborkurs Modeling and Automated Verification (WS2026) to Laborkurs Modeling and Automated Verification (SS2026) without leaving a redirect
					12:13 Johannes Lehmann talk contribs moved page CMS Research Project Model Checking (WS2026) to CMS Research Project Model Checking (SS2026) without leaving a redirect (Falsch geschriebener Name)