Ä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
18. August 2026
|
|
N 15:45 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte +2.268 [Johannes Lehmann (3×)] | |||
|
|
15:45 (Aktuell | Vorherige) +3 Johannes Lehmann Diskussion Beiträge | ||||
|
|
15:25 (Aktuell | Vorherige) −145 Johannes Lehmann Diskussion Beiträge | ||||
| N |
|
15:23 (Aktuell | Vorherige) +2.410 Johannes Lehmann Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Analyse eines Forschungsthemas |Title_EN=Analysis of a Research Topic |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Language=DE,EN |Term=WS |Year=2026 |Module=INF-25-Ma-AFT |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |UmfangAlternativ=Projekte (40 Stunden) |Description=Im Rahmen der Veranstaltung wird ein Thema mit Bezug zu den aktuellen Projekten des Lehrstuhls bearbeitet. Einen Überbl…“) | |||
|
|
15:32 | Vorlage:Course list entry 5 Änderungen Versionsgeschichte +380 [Johannes Lehmann (5×)] | |||
|
|
15:32 (Aktuell | Vorherige) +161 Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:12 (Aktuell | Vorherige) +16 Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:12 (Aktuell | Vorherige) +27 Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:11 (Aktuell | Vorherige) +29 Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:10 (Aktuell | Vorherige) +147 Johannes Lehmann Diskussion Beiträge | ||||
|
|
13:47 | Laborkurs Modeling and Automated Verification (SS2026) 3 Änderungen Versionsgeschichte +63 [Johannes Lehmann (3×)] | |||
|
|
13:47 (Aktuell | Vorherige) −32 Johannes Lehmann Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
|
|
13:37 (Aktuell | Vorherige) +32 Johannes Lehmann Diskussion Beiträge Markierung: Zurückgesetzt | ||||
|
|
13:30 (Aktuell | Vorherige) +63 Johannes Lehmann Diskussion Beiträge | ||||
|
|
N 13:16 | Vorlage:DEEN if present 4 Änderungen Versionsgeschichte +584 [Johannes Lehmann (4×)] | |||
|
|
13:16 (Aktuell | Vorherige) −1 Johannes Lehmann Diskussion Beiträge | ||||
|
|
13:15 (Aktuell | Vorherige) +1 Johannes Lehmann Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
|
|
13:10 (Aktuell | Vorherige) −1 Johannes Lehmann Diskussion Beiträge Markierung: Zurückgesetzt | ||||
| N |
|
13:09 (Aktuell | Vorherige) +585 Johannes Lehmann Diskussion Beiträge (Die Seite wurde neu angelegt: „<noinclude> Like [[Template::DEEN]], but if the entry in the selected language is not present, the other language is used. Usage: <pre>{{DEEN_if_present | 1="/en" (English) or empty (German) | 2=German content | 3=English content }}</pre> Examples: {{DEEN_if_present||Deutsch|English}} {{DEEN_if_present|/en|Deutsch|English}} {{DEEN_if_present||Deutsch|}} {{DEEN_if_present|/en|Deutsch|}} {{DEEN_if_present|||English}} {{DEEN_if_present|/en||English}} </n…“) | |||