Ä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
12. Mai 2025
|
|
14:51 | Meghna Bhadra 6 Änderungen Versionsgeschichte +92 Bytes [Meghna Bhadra (6×)] | |||
|
|
14:51 (Aktuell | Vorherige) 0 Bytes Meghna Bhadra Diskussion Beiträge | ||||
|
|
14:40 (Aktuell | Vorherige) −1 Byte Meghna Bhadra Diskussion Beiträge | ||||
|
|
14:14 (Aktuell | Vorherige) +106 Bytes Meghna Bhadra Diskussion Beiträge | ||||
|
|
14:12 (Aktuell | Vorherige) −14 Bytes Meghna Bhadra Diskussion Beiträge | ||||
|
|
14:08 (Aktuell | Vorherige) −12 Bytes Meghna Bhadra Diskussion Beiträge | ||||
|
|
14:07 (Aktuell | Vorherige) +13 Bytes Meghna Bhadra Diskussion Beiträge | ||||
| 14:51 | Datei-Logbuch Meghna Bhadra Diskussion Beiträge lud Datei:Mbhadra.jpg hoch | ||||
| 14:00 | Lösch-Logbuch Meghna Bhadra Diskussion Beiträge löschte die Seite Datei:Mbhadra.jpg | ||||
| N 11:12 | Model Checking Linear Temporal Logic with Standpoint Modalities UnterschiedVersionen +1.170 Bytes Lukas Gerlach Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Model Checking Linear Temporal Logic with Standpoint Modalities |Beschreibung EN=Standpoint linear temporal logic (SLTL) is a recently introduced extension of classical linear temporal logic (LTL) with standpoint modalities. Intuitively, these modalities allow to express that, from agent a's standpoint, it is conceivable that a given formula holds. Besides the standard interpretation of the standpoint modalities, we introduce fou…“) | ||||
8. Mai 2025
|
|
16:00 | Tom Friese 4 Änderungen Versionsgeschichte +2.252 Bytes [Tom Friese (4×)] | |||
|
|
16:00 (Aktuell | Vorherige) +1 Byte Tom Friese Diskussion Beiträge | ||||
|
|
15:59 (Aktuell | Vorherige) +25 Bytes Tom Friese Diskussion Beiträge | ||||
|
|
15:29 (Aktuell | Vorherige) +1.108 Bytes Tom Friese Diskussion Beiträge | ||||
|
|
12:36 (Aktuell | Vorherige) +1.118 Bytes Tom Friese Diskussion Beiträge | ||||
| 15:59 | Datei-Logbuch Tom Friese Diskussion Beiträge lud Datei:TomFriese 2024.png hoch | ||||
