Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1131652> ?p ?o }
- Q1131652 subject Q7134862.
- Q1131652 subject Q8374212.
- Q1131652 subject Q8408185.
- Q1131652 subject Q8472238.
- Q1131652 subject Q8472290.
- Q1131652 subject Q8583104.
- Q1131652 subject Q8795413.
- Q1131652 subject Q8797482.
- Q1131652 subject Q9096231.
- Q1131652 abstract "Template:ForTemplate:ForIn computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.The Association for Computing Machinery presented Coquand, Huet, Paulin-Mohring, Barras, Filliâtre, Herbelin, Murthy, Bertot, Castéran with the 2013 ACM Software System Award for Coq.".
- Q1131652 genre Q11387554.
- Q1131652 latestReleaseVersion "8.5".
- Q1131652 license Q192897.
- Q1131652 operatingSystem Q174666.
- Q1131652 programmingLanguage Q212587.
- Q1131652 status "Active".
- Q1131652 thumbnail Coq_logo.png?width=300.
- Q1131652 wikiPageExternalLink cpdt.
- Q1131652 wikiPageExternalLink coq.inria.fr.
- Q1131652 wikiPageExternalLink cocorico.
- Q1131652 wikiPageExternalLink corn.cs.ru.nl.
- Q1131652 wikiPageExternalLink 1979.
- Q1131652 wikiPageExternalLink math-classes.org.
- Q1131652 wikiPageExternalLink video-tutorials-for-the-coq-proof-assistant.
- Q1131652 wikiPageExternalLink appel.
- Q1131652 wikiPageExternalLink sf.
- Q1131652 wikiPageExternalLink index.html.
- Q1131652 wikiPageExternalLink coq.inria.fr.
- Q1131652 wikiPageExternalLink coq.
- Q1131652 wikiPageExternalLink math-comp.
- Q1131652 wikiPageWikiLink Q10159.
- Q1131652 wikiPageWikiLink Q1052189.
- Q1131652 wikiPageWikiLink Q1056428.
- Q1131652 wikiPageWikiLink Q11387554.
- Q1131652 wikiPageWikiLink Q1144725.
- Q1131652 wikiPageWikiLink Q1146208.
- Q1131652 wikiPageWikiLink Q1235608.
- Q1131652 wikiPageWikiLink Q1259393.
- Q1131652 wikiPageWikiLink Q12784531.
- Q1131652 wikiPageWikiLink Q127992.
- Q1131652 wikiPageWikiLink Q1480643.
- Q1131652 wikiPageWikiLink Q150.
- Q1131652 wikiPageWikiLink Q15408477.
- Q1131652 wikiPageWikiLink Q15777.
- Q1131652 wikiPageWikiLink Q1644136.
- Q1131652 wikiPageWikiLink Q174666.
- Q1131652 wikiPageWikiLink Q184148.
- Q1131652 wikiPageWikiLink Q184410.
- Q1131652 wikiPageWikiLink Q192897.
- Q1131652 wikiPageWikiLink Q193076.
- Q1131652 wikiPageWikiLink Q20479.
- Q1131652 wikiPageWikiLink Q21.
- Q1131652 wikiPageWikiLink Q21198.
- Q1131652 wikiPageWikiLink Q212587.
- Q1131652 wikiPageWikiLink Q2216236.
- Q1131652 wikiPageWikiLink Q22670002.
- Q1131652 wikiPageWikiLink Q22907339.
- Q1131652 wikiPageWikiLink Q2552799.
- Q1131652 wikiPageWikiLink Q273626.
- Q1131652 wikiPageWikiLink Q280413.
- Q1131652 wikiPageWikiLink Q2872609.
- Q1131652 wikiPageWikiLink Q3044470.
- Q1131652 wikiPageWikiLink Q3205992.
- Q1131652 wikiPageWikiLink Q350.
- Q1131652 wikiPageWikiLink Q3524190.
- Q1131652 wikiPageWikiLink Q364.
- Q1131652 wikiPageWikiLink Q3890222.
- Q1131652 wikiPageWikiLink Q395.
- Q1131652 wikiPageWikiLink Q418180.
- Q1131652 wikiPageWikiLink Q431667.
- Q1131652 wikiPageWikiLink Q4756213.
- Q1131652 wikiPageWikiLink Q4888368.
- Q1131652 wikiPageWikiLink Q5155256.
- Q1131652 wikiPageWikiLink Q5546810.
- Q1131652 wikiPageWikiLink Q6059147.
- Q1131652 wikiPageWikiLink Q622849.
- Q1131652 wikiPageWikiLink Q635642.
- Q1131652 wikiPageWikiLink Q6667462.
- Q1131652 wikiPageWikiLink Q6787610.
- Q1131652 wikiPageWikiLink Q7134862.
- Q1131652 wikiPageWikiLink Q8374212.
- Q1131652 wikiPageWikiLink Q8408185.
- Q1131652 wikiPageWikiLink Q8472238.
- Q1131652 wikiPageWikiLink Q8472290.
- Q1131652 wikiPageWikiLink Q8583104.
- Q1131652 wikiPageWikiLink Q858320.
- Q1131652 wikiPageWikiLink Q860654.
- Q1131652 wikiPageWikiLink Q865760.
- Q1131652 wikiPageWikiLink Q8795413.
- Q1131652 wikiPageWikiLink Q8797482.
- Q1131652 wikiPageWikiLink Q909517.
- Q1131652 wikiPageWikiLink Q9096231.
- Q1131652 wikiPageWikiLink Q974366.
- Q1131652 wikiPageWikiLink Q975734.
- Q1131652 wikiPageWikiLink Q986509.
- Q1131652 wikiPageWikiLink Q991202.
- Q1131652 wikiPageWikiLink Q997433.
- Q1131652 genre Q11387554.
- Q1131652 influenced Q15408477.
- Q1131652 influenced Q20479.