Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Timm Spork/en  + (08:59:44, 19 February 2025)
• Publikationen von Timm Spork  + (08:59:45, 19 February 2025)
• Publications of Timm Spork  + (08:59:45, 19 February 2025)
• Abschlussarbeiten betreut durch [[Timm Spork]]  + (08:59:45, 19 February 2025)
• Abschlussarbeiten betreut durch [[Timm Spork]]  + (08:59:45, 19 February 2025)
• Robin Ziemek/en  + (09:03:41, 19 February 2025)
• Publikationen von Robin Ziemek  + (09:03:41, 19 February 2025)
• Publications of Robin Ziemek  + (09:03:42, 19 February 2025)
• Abschlussarbeiten betreut durch [[Robin Ziemek]]  + (09:03:42, 19 February 2025)
• Abschlussarbeiten betreut durch [[Robin Ziemek]]  + (09:03:42, 19 February 2025)
• Max Korn/en  + (09:06:00, 19 February 2025)
• Publikationen von Max Korn  + (09:06:00, 19 February 2025)
• Publications of Max Korn  + (09:06:00, 19 February 2025)
• Abschlussarbeiten betreut durch [[Max Korn]]  + (09:06:00, 19 February 2025)
• Abschlussarbeiten betreut durch [[Max Korn]]  + (09:06:00, 19 February 2025)
• Jakob Piribauer/en  + (09:11:26, 19 February 2025)
• Publikationen von Jakob Piribauer  + (09:11:26, 19 February 2025)
• Publications of Jakob Piribauer  + (09:11:26, 19 February 2025)
• Abschlussarbeiten betreut durch [[Jakob Piribauer]]  + (09:11:26, 19 February 2025)
• Abschlussarbeiten betreut durch [[Jakob Piribauer]]  + (09:11:26, 19 February 2025)
• Datei:5L0A6728.jpg  + (09:13:19, 19 February 2025)
• Calvin Chau/en  + (09:15:03, 19 February 2025)
• Publikationen von Calvin Chau  + (09:15:03, 19 February 2025)
• Publications of Calvin Chau  + (09:15:03, 19 February 2025)
• Abschlussarbeiten betreut durch [[Calvin Chau]]  + (09:15:03, 19 February 2025)
• Abschlussarbeiten betreut durch [[Calvin Chau]]  + (09:15:03, 19 February 2025)
• Datei:5L0A6744.jpg  + (09:16:18, 19 February 2025)

• Abschlussarbeiten betreut durch [[Patrick Wienhöft]]  + (09:17:05, 19 February 2025)
• Abschlussarbeiten betreut durch [[Patrick Wienhöft]]  + (09:17:05, 19 February 2025)
• Patrick Wienhöft/en  + (09:17:05, 19 February 2025)
• Publications of Patrick Wienhöft  + (09:17:05, 19 February 2025)
• Publikationen von Patrick Wienhöft  + (09:17:05, 19 February 2025)

• Andrea Kühn/en  + (09:22:56, 19 February 2025)
• Raum APB 3004  + (09:38:01, 19 February 2025)
• Room APB 3004  + (09:38:01, 19 February 2025)
• Raum APB 3005  + (09:38:23, 19 February 2025)
• Room APB 3005  + (09:38:23, 19 February 2025)
• Raum APB 3007  + (09:38:41, 19 February 2025)
• Room APB 3007  + (09:38:41, 19 February 2025)
• Raum APB 3008  + (09:39:00, 19 February 2025)
• Room APB 3008  + (09:39:00, 19 February 2025)
• Raum APB 3009  + (09:39:18, 19 February 2025)
• Room APB 3009  + (09:39:18, 19 February 2025)
• Datei:54c6152f-374a-4032-8833-a191c72cff41.jpeg  + (09:55:35, 19 February 2025)
• Datei:Gruppenfoto.jpeg  + (09:56:46, 19 February 2025)
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents  + (10:12:36, 19 February 2025)
• Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations  + (10:12:52, 19 February 2025)
• Datei:5L0A7912.jpg  + (12:08:45, 20 February 2025)
• Datei:5L0A6700.jpg  + (12:10:33, 20 February 2025)
• Datei:5L0A6712.jpg  + (12:12:41, 20 February 2025)
• Datei:5L0A6716.jpg  + (12:13:35, 20 February 2025)
• Datei:5L0A6742.jpg  + (12:14:26, 20 February 2025)
• Datei:5L0A6757.jpg  + (12:15:38, 20 February 2025)
• Datei:5L0A6772.jpg  + (12:18:02, 20 February 2025)
• Datei:5L0A6784.jpg  + (12:18:50, 20 February 2025)