Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Category:Proof_assistants> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Category:Proof_assistants wikiPageID "33159529".
- Category:Proof_assistants wikiPageRevisionID "451672569".
- Category:Proof_assistants wikiPageUsesTemplate Template:Cat_main.
- Category:Proof_assistants type Concept.
- Category:Proof_assistants label "Proof assistants".
- Category:Proof_assistants sameAs Q8797482.
- Category:Proof_assistants sameAs Q8797482.
- Category:Proof_assistants broader Category:Dependently_typed_programming.
- Category:Proof_assistants broader Category:Domain-specific_programming_languages.
- Category:Proof_assistants broader Category:Theorem_proving_software_systems.
- Category:Proof_assistants prefLabel "Proof assistants".
- Category:Proof_assistants subject Proof_assistant.
- Category:Proof_assistants wasDerivedFrom Category:Proof_assistants?oldid=451672569.