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

• Temporally Attributed Description Logics  + (Temporally Attributed Description Logics)
• Tempus Fugit - Towards an Ontology Update Language  + (Tempus Fugit - Towards an Ontology Update Language)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting Systems  + (Term Rewriting Systems)
• Term Rewriting and All That  + (Term Rewriting and All That)
• Term Rewriting and All That  + (Term Rewriting and All That)
• Termersetzungssysteme, Skript zur Vorlesung  + (Termersetzungssysteme, Skript zur Vorlesung)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Foundations of Logic Programming  + (Termination)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Terminological Cycles in a Description Logic with Existential Restrictions)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Terminological Cycles in a Description Logic with Existential Restrictions)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (Terminological Knowledge Representation: A Proposal for a Terminological Logic)
• Terminological Logics with Modal Operators  + (Terminological Logics with Modal Operators)
• Terminological Logics with Modal Operators  + (Terminological Logics with Modal Operators)
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams  + (Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL)
• Terminologische Logiken  + (Terminologische Logiken)

• Terminology Harmonization in Industry Classification Standards  + (Terminology Harmonization in Industry Classification Standards)

• Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts  + (Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts)
• Terminology-based patterns for natural language definitions in ontologies  + (Terminology-based patterns for natural language definitions in ontologies)
• Science of Computational Logic  + (Test Exam)
• Logic  + (Test Exam I)
• Science of Computational Logic  + (Test Exam II Inspection)
• Logic  + (Test Exam Inspection)
• The 10, 000 Facets of MDP Model Checking  + (The 10, 000 Facets of MDP Model Checking)
• The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)  + (The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report))
• The ASPARTIX System Suite  + (The ASPARTIX System Suite)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains)
• Models of Concurrent Systems  + (The Asynchronous Pi-Calculus)
• Concurrency Theory  + (The Asynchronous pi-Calculus)
• Complexity Theory  + (The Baker-Gill-Solovay Theorem)
• The Basics of Display Calculi  + (The Basics of Display Calculi)
• The Bayesian Description Logic BEL  + (The Bayesian Description Logic BEL)
• The Bayesian Ontology Language BEL  + (The Bayesian Ontology Language BEL)
• The Bayesian Ontology reasoner is BORN!  + (The Bayesian Ontology reasoner is BORN!)
• The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version  + (The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version)
• The Boolean Solution Problem from the Perspective of Predicate Logic  + (The Boolean Solution Problem from the Perspective of Predicate Logic)
• The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus  + (The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus)
• Models of Concurrent Systems  + (The Calculus of Communicating Systems)
• Concurrency Theory  + (The Calculus of Communicating Systems)
• Concurrency Theory  + (The Calculus of Communicating Systems)
• Database Theory  + (The Chase)
• Database Theory  + (The Chase)