Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Coq_proof_assistant> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Coq_proof_assistant wikiPageID "28882928".
- Coq_proof_assistant wikiPageRedirects Coq.
- Coq_proof_assistant wikiPageRevisionID "385787818".
- Coq_proof_assistant label "Coq proof assistant".
- Coq_proof_assistant sameAs m.02s7zd.
- Coq_proof_assistant wasDerivedFrom Coq_proof_assistant?oldid=385787818.
- Coq_proof_assistant isPrimaryTopicOf Coq_proof_assistant.