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.

Search by property

A list of all pages that have property "Short description DE" with value "SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst". Since there have been only a few results, also nearby values are displayed.

Showing below up to 9 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)


    

List of results

    • 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)