https://logic-in.cs.tu-dortmund.de/sitemap.xml?sitemap=pages&cHash=664ad3eab494ec44df3e6fb11e505933 2026-07-20T14:29:53+02:00 https://logic-in.cs.tu-dortmund.de/sitemap.xml?sitemap=news&cHash=7eccf9ab074cea40286b0a06dd75083e 2026-07-20T09:59:49+02:00