Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Coq_(proof_assistant)> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Coq_(proof_assistant) wikiPageID "34277290".
- Coq_(proof_assistant) wikiPageLength "16".
- Coq_(proof_assistant) wikiPageOutDegree "1".
- Coq_(proof_assistant) wikiPageRedirects Coq.
- Coq_(proof_assistant) wikiPageRevisionID "469530150".
- Coq_(proof_assistant) wikiPageWikiLink Coq.
- Coq_(proof_assistant) wikiPageWikiLinkText "Coq".
- Coq_(proof_assistant) label "Coq (proof assistant)".
- Coq_(proof_assistant) wasDerivedFrom Coq_(proof_assistant)?oldid=469530150.
- Coq_(proof_assistant) isPrimaryTopicOf Coq_(proof_assistant).