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

• CPEC  + (Grundlagen verständlicher Softwaresysteme)

• HAEC B08  + (High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08))
• HAEC  + (Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912))
• ICCL-SS-2015  + (ICCL Summer School 2015: Reasoning)
• InnoSale  + (Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence)
• KIMEDS  + (KI-assistierte Zertifizierung medizinischer Software)
• NAVAS  + (Navigation im Lösungsraum von Answer Sets)
• PSAT  + (Paralleles Lösen des Erfüllbarkeitproblems)
• QuantLA  + (Quantitative Logics and Automata)
• Riss - including Pcasso and Priss  + (SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst)
• SECAI  + (School of Embedded Composite Artificial Intelligence)
• HAEC B02  + (Semantic Technology for Context Awareness (HAEC Project B02))
• SEMECO-Q2  + (Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity)
• SEMECO-Q1  + (Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen)
• M/EDGE  + (Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen)
• Wikidata  + (Wikipedias freie, kollaborative Wissensbasis)
• Wolpertinger  + (Wolpertinger is a fixed-domain reasoner)
• Wikidata SPARQL Logs  + (Zugriffsprotokolle des Wikidata SPARQL Query Service)