Änderungen an verlinkten Seiten
Aus International Center for Computational Logic
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
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
15. September 2026
|
|
13:13 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte −31 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:13 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:47 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:30 (Aktuell | Vorherige) −32 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:10 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte −30 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:10 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:47 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:32 (Aktuell | Vorherige) −31 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:08 | Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) 2 Änderungen Versionsgeschichte −33 [Sascha Klüppelholz; Andrea Kühn] | |||
|
|
13:08 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:34 (Aktuell | Vorherige) −33 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:05 | Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte +53 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:05 (Aktuell | Vorherige) +3 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:42 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:40 (Aktuell | Vorherige) +49 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:04 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) 4 Änderungen Versionsgeschichte −25 [Andrea Kühn; Sascha Klüppelholz (3×)] | |||
|
|
13:04 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:46 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:28 (Aktuell | Vorherige) +51 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:23 (Aktuell | Vorherige) −77 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:00 | Seminar Selected Topics in Logic and Verification (WS2026) 4 Änderungen Versionsgeschichte −38 [Sascha Klüppelholz (2×); Andrea Kühn (2×)] | |||
|
|
13:00 (Aktuell | Vorherige) +22 Andrea Kühn Diskussion Beiträge | ||||
|
|
12:59 (Aktuell | Vorherige) −4 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:45 (Aktuell | Vorherige) 0 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:20 (Aktuell | Vorherige) −56 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
12:54 | Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte +34 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
12:54 (Aktuell | Vorherige) −1 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:49 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:38 (Aktuell | Vorherige) +34 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:44 | Proseminar Theoretische Informatik (WS2026) 3 Änderungen Versionsgeschichte −67 [Sascha Klüppelholz (3×)] | |||
|
|
11:44 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:43 (Aktuell | Vorherige) −1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:13 (Aktuell | Vorherige) −67 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:44 | Seminar Games and Graphs (WS2026) 2 Änderungen Versionsgeschichte −67 [Sascha Klüppelholz (2×)] | |||
|
|
11:44 (Aktuell | Vorherige) 0 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:17 (Aktuell | Vorherige) −67 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:42 | Proseminar Binäre Entscheidungsgraphen (WS2026) 2 Änderungen Versionsgeschichte −67 [Sascha Klüppelholz (2×)] | |||
|
|
11:42 (Aktuell | Vorherige) 0 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:11 (Aktuell | Vorherige) −67 Sascha Klüppelholz Diskussion Beiträge | ||||
11. September 2026
|
|
08:29 | Proseminar Theoretische Informatik (WS2026) 2 Änderungen Versionsgeschichte +215 [Johannes Lehmann (2×)] | |||
|
|
08:29 (Aktuell | Vorherige) 0 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:25 (Aktuell | Vorherige) +215 Johannes Lehmann Diskussion Beiträge | ||||
| 08:28 | Seminar Selected Topics in Logic and Verification (WS2026) UnterschiedVersionen +126 Johannes Lehmann Diskussion Beiträge | ||||
| 08:28 | Seminar Games and Graphs (WS2026) UnterschiedVersionen +126 Johannes Lehmann Diskussion Beiträge | ||||
| 08:25 | Proseminar Binäre Entscheidungsgraphen (WS2026) UnterschiedVersionen +215 Johannes Lehmann Diskussion Beiträge | ||||
| 08:20 | Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +245 Johannes Lehmann Diskussion Beiträge | ||||
| 08:19 | Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +269 Johannes Lehmann Diskussion Beiträge | ||||
| 08:17 | Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +285 Johannes Lehmann Diskussion Beiträge | ||||
| 08:16 | CMS Research Project Model Checking (WS2026) UnterschiedVersionen +117 Johannes Lehmann Diskussion Beiträge | ||||
| 08:15 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +269 Johannes Lehmann Diskussion Beiträge | ||||
| 08:14 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +268 Johannes Lehmann Diskussion Beiträge | ||||
| 08:12 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +281 Johannes Lehmann Diskussion Beiträge | ||||
| 08:11 | Lecture Modal Logic (WS2026) UnterschiedVersionen +125 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:10 | Lecture Model Checking (WS2026) 2 Änderungen Versionsgeschichte +117 [Johannes Lehmann (2×)] | |||
|
|
08:10 (Aktuell | Vorherige) +97 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:08 (Aktuell | Vorherige) +20 Johannes Lehmann Diskussion Beiträge | ||||
