Ä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.
EinklappenListe 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
26. März 2025
| 20:41 | Inproceedings3404 UnterschiedVersionen +125 Bytes Tim Lyon Diskussion Beiträge | ||||
25. März 2025
|
|
18:56 | Automatentheorie 3 Änderungen Versionsgeschichte +150 Bytes [Francesco Kriegel (3×)] | |||
|
|
18:56 (Aktuell | Vorherige) −17 Bytes Francesco Kriegel Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
|
|
18:53 (Aktuell | Vorherige) +17 Bytes Francesco Kriegel Diskussion Beiträge Markierung: Zurückgesetzt | ||||
|
|
18:50 (Aktuell | Vorherige) +150 Bytes Francesco Kriegel Diskussion Beiträge | ||||
18. März 2025
|
|
15:06 | SEMECO-Q2 2 Änderungen Versionsgeschichte −53 Bytes [Johannes Lehmann (2×)] | |||
|
|
15:06 (Aktuell | Vorherige) −69 Bytes Johannes Lehmann Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
|
|
14:58 (Aktuell | Vorherige) +16 Bytes Johannes Lehmann Diskussion Beiträge Markierung: Zurückgesetzt | ||||
5. März 2025
| K 15:45 | SEMECO-Q2 UnterschiedVersionen +6 Bytes Johannes Lehmann Diskussion Beiträge (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) | ||||
| K 15:44 | SECAI UnterschiedVersionen +6 Bytes Johannes Lehmann Diskussion Beiträge (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) | ||||
| 15:34 | Verschiebungs-Logbuch Johannes Lehmann Diskussion Beiträge verschob die Seite Verifikation und formale quantitative Analyse nach Algebraische und logische Grundlagen der Informatik (Angleichung des Seitentitels an den offiziellen Lehrstuhlnamen) | ||||
| 15:32 | Verifikation und formale quantitative Analyse UnterschiedVersionen −87 Bytes Johannes Lehmann Diskussion Beiträge (Beschreibung aktualisiert) | ||||
4. März 2025
|
|
15:30 | Vorlage:DisplayForschungsgruppe 4 Änderungen Versionsgeschichte +22 Bytes [Johannes Lehmann (4×)] | |||
|
|
15:30 (Aktuell | Vorherige) +1 Byte Johannes Lehmann Diskussion Beiträge | ||||
|
|
15:29 (Aktuell | Vorherige) +4 Bytes Johannes Lehmann Diskussion Beiträge | ||||
|
|
15:28 (Aktuell | Vorherige) +11 Bytes Johannes Lehmann Diskussion Beiträge | ||||
|
|
10:49 (Aktuell | Vorherige) +6 Bytes Johannes Lehmann Diskussion Beiträge | ||||
3. März 2025
|
|
19:32 | Verifikation und formale quantitative Analyse 3 Änderungen Versionsgeschichte +100 Bytes [Johannes Lehmann (3×)] | |||
|
|
19:32 (Aktuell | Vorherige) +17 Bytes Johannes Lehmann Diskussion Beiträge | ||||
|
|
17:40 (Aktuell | Vorherige) +45 Bytes Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:48 (Aktuell | Vorherige) +38 Bytes Johannes Lehmann Diskussion Beiträge | ||||
| 19:10 | SEMECO-Q2 UnterschiedVersionen +47 Bytes Johannes Lehmann Diskussion Beiträge | ||||
| N 18:57 | Article3103 UnterschiedVersionen +1.634 Bytes Tim Lyon Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake }} {{Article |Referiert=1 |Title=Internal and External Calculi: Ordering the Jungle without Being Lost in Translations |To appear=0 |Year=2025 |Journal=Bulletin of the Section of Logic }} {{Publikation Details |Abstract=This paper gi…“) | ||||
|
|
18:28 | Vorlage:Forschungsgruppe 3 Änderungen Versionsgeschichte +656 Bytes [Johannes Lehmann (3×)] | |||
|
|
18:28 (Aktuell | Vorherige) +54 Bytes Johannes Lehmann Diskussion Beiträge | ||||
|
|
17:31 (Aktuell | Vorherige) +297 Bytes Johannes Lehmann Diskussion Beiträge (Parameter für detaillierte Anzeige der Lehrveranstaltungen hinzugefügt) | ||||
|
|
14:51 (Aktuell | Vorherige) +305 Bytes Johannes Lehmann Diskussion Beiträge (Parameter für Anzahl der Lehrveranstaltungen im LV-Tab hinzugefügt) | ||||
|
|
18:03 | Vorlage:DisplayForschungsgruppe 3 Änderungen Versionsgeschichte +673 Bytes [Johannes Lehmann (3×)] | |||
|
|
18:03 (Aktuell | Vorherige) +31 Bytes Johannes Lehmann Diskussion Beiträge (Correctly pass SWS parameters for courses in box style) | ||||
|
|
17:39 (Aktuell | Vorherige) +602 Bytes Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:48 (Aktuell | Vorherige) +40 Bytes Johannes Lehmann Diskussion Beiträge (Parameter für Anzahl der Lehrveranstaltungen im LV-Tab hinzugefügt) | ||||
