Recent changes
From International Center for Computational Logic
Track the most recent changes to the wiki on this page.
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
5 February 2026
| 05:27 | Formale Systeme (WS2025) diffhist +37 Stephan Mennicke talk contribs (2nd repetitorium) | ||||
| 05:26 | Upload log Stephan Mennicke talk contribs uploaded Datei:FS2025-Repetitorium-02.pdf | ||||
3 February 2026
| 14:10 | Complexity Theory (WS2025) diffhist +69 Sergei Obiedkov talk contribs | ||||
|
|
14:10 | (Upload log) [Sergei Obiedkov (2×)] | |||
|
|
14:10 Sergei Obiedkov talk contribs uploaded Datei:CT2025-Lecture-29-print.pdf | ||||
|
|
14:10 Sergei Obiedkov talk contribs uploaded Datei:CT2025-Lecture-29-overlay.pdf | ||||
2 February 2026
| 12:24 | Formale Systeme (WS2025) diffhist +314 Stephan Mennicke talk contribs (Lernräume) | ||||
| 10:31 | Inproceedings3450 diffhist +140 Piotr Gorczyca talk contribs | ||||
| 09:39 | Upload log Piotr Gorczyca talk contribs uploaded Datei:Gorczyca-strass-aaai-2026.pdf | ||||
1 February 2026
| 02:25 | Knowledge Graphs (WS2025) diffhist +48 Maximilian Marx talk contribs | ||||
| 02:25 | Upload log Maximilian Marx talk contribs uploaded Datei:Kg2025-exercise-12.pdf | ||||
