Search by property
From International Center for Computational Logic
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
- 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)