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

• flexABle – System Description for ICCMA 2023  + (06:39:28, 5 October 2023)
• Datei:Ruleml2023-distinguished-paper-award.jpg  + (14:16:01, 5 October 2023)
• ICCL Researchers received the Distinguished Paper Award at RuleML+RR 2023  + (14:16:12, 5 October 2023)
• Christian Alrabbaa  + (14:24:12, 5 October 2023)
• ICCL-Forschende mit Distinguished Paper Award geehrt  + (06:53:30, 6 October 2023)
• Raum APB 1004  + (13:28:53, 6 October 2023)
• Room APB 1004  + (13:28:53, 6 October 2023)
• Datei:00 organization 2324.pdf  + (11:42:34, 8 October 2023)
• Datei:01 concept lattices.pdf  + (11:49:11, 8 October 2023)
• Datei:FS2023-Vorlesung-02-overlay.pdf  + (17:17:36, 8 October 2023)
• Datei:FLP2023-01.pdf  + (07:14:07, 9 October 2023)
• Datei:CT23-sheet01.pdf  + (08:25:17, 9 October 2023)
• Room REC 118  + (08:37:46, 9 October 2023)
• Raum REC C118  + (08:40:42, 9 October 2023)
• Room REC C118  + (08:40:42, 9 October 2023)
• Datei:FS2023-Vorlesung-01-overlay.pdf  + (13:14:16, 9 October 2023)
• Raum APB E010  + (15:22:40, 9 October 2023)
• Room APB E010  + (15:22:40, 9 October 2023)
• Datei:CT2023-Lecture-01-print.pdf  + (09:28:13, 10 October 2023)
• Datei:CT2023-Lecture-02-print.pdf  + (09:28:24, 10 October 2023)
• Theorem Proving with LEAN  + (13:06:24, 10 October 2023)
• Datei:Kg2023-exercise-01.pdf  + (00:10:12, 11 October 2023)
• Datei:FoSys23-Blatt01.pdf  + (10:22:30, 11 October 2023)
• Vorlage:ProjektModule  + (07:24:41, 12 October 2023)
• Datei:Exercises01.pdf  + (15:47:33, 13 October 2023)

• Datei:FLP2023-02.pdf  + (19:29:40, 13 October 2023)

• Datei:Fkr-1-2024.pdf  + (18:56:20, 15 October 2023)
• Datei:Fkr-02-2024.pdf  + (18:56:41, 15 October 2023)
• Datei:FoSys23-Blatt02.pdf  + (06:05:37, 16 October 2023)
• Datei:CT23-sheet02.pdf  + (06:22:30, 16 October 2023)
• Datei:CT2023-Lecture-01-overlay.pdf  + (06:45:41, 16 October 2023)
• Datei:CT2023-Lecture-02-overlay.pdf  + (06:45:58, 16 October 2023)
• Datei:Exercises01b.pdf  + (11:48:52, 16 October 2023)
• Datei:CT2023-Lecture-03-print.pdf  + (11:57:14, 16 October 2023)
• Datei:CT2023-Lecture-03-overlay.pdf  + (11:57:32, 16 October 2023)
• Datei:PL and FOL Problems 23.pdf  + (13:18:05, 16 October 2023)
• Datei:KG2023-Lecture-01-overlay.pdf  + (05:40:59, 17 October 2023)
• Datei:KG2023-Lecture-02-overlay.pdf  + (05:41:07, 17 October 2023)
• Datei:CT2023-Lecture-04-print.pdf  + (12:23:41, 17 October 2023)
• Datei:CT2023-Lecture-04-overlay.pdf  + (12:23:49, 17 October 2023)
• Datei:Kg2023-exercise-02.pdf  + (16:46:56, 17 October 2023)
• Datei:Uebung RDF 2023.pdf  + (11:49:46, 19 October 2023)
• Datei:Uebung RDF2023.pdf  + (12:01:36, 19 October 2023)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (11:28:07, 20 October 2023)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (11:43:17, 20 October 2023)
• Bartosz Bednarczyk wins the best student paper award at JELIA 2023.  + (11:53:21, 20 October 2023)
• Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.  + (15:40:26, 20 October 2023)
• Datei:Fkr-03-2024.pdf  + (11:38:08, 22 October 2023)
• Datei:CT2023-Lecture-05-overlay.pdf  + (06:16:19, 23 October 2023)
• Datei:CT2023-Lecture-05-print.pdf  + (06:16:37, 23 October 2023)
• Datei:CT23-sheet03.pdf  + (06:20:42, 23 October 2023)