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

• PSAT  + (Parallel Satisfiability Testing)

• Semantic MediaWiki  + (Popular open-source software for collaborative data management)
• QuantLA  + (Quantitative Logics and Automata)
• Riss - including Pcasso and Priss  + (SAT Solver -- a programm that solves the satisfiability testing problem)
• SECAI  + (School of Embedded Composite Artificial Intelligence)
• M/EDGE  + (Secure Low Power Medical Edge Computing)
• SEMECO-Q1  + (Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture)
• SEMECO-Q2  + (Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity)
• HAEC B02  + (Semantic Technology for Context Awareness (HAEC Teilprojekt B02))
• SOA-VBQP  + (The Second-Order Approach and its Application to View-Based Query Processing)
• Wikidata  + (Wikipedia's free, collaborative knowledge base)
• Wolpertinger  + (Wolpertinger is a fixed-domain reasoner)