Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q11387554> ?p ?o }
Showing triples 1 to 94 of
94
with 100 triples per page.
- Q11387554 subject Q8279957.
- Q11387554 subject Q8797482.
- Q11387554 abstract "Template:ForIn computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.".
- Q11387554 thumbnail CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png?width=300.
- Q11387554 wikiPageExternalLink Intro.html.
- Q11387554 wikiPageExternalLink tps.html.
- Q11387554 wikiPageExternalLink hol.sourceforge.net.
- Q11387554 wikiPageExternalLink appel.
- Q11387554 wikiPageExternalLink systems.html.
- Q11387554 wikiPageExternalLink 0.html.
- Q11387554 wikiPageExternalLink lfs-impl.html.
- Q11387554 wikiPageExternalLink handbook01.pdf.
- Q11387554 wikiPageExternalLink comparison.pdf.
- Q11387554 wikiPageExternalLink tacticprover.
- Q11387554 wikiPageExternalLink yarrow.
- Q11387554 wikiPageExternalLink interactiveTheoremProvingForAgdaUsers.html.
- Q11387554 wikiPageExternalLink lego.
- Q11387554 wikiPageExternalLink Logical_Frameworks.
- Q11387554 wikiPageExternalLink typelab.html.
- Q11387554 wikiPageExternalLink others.html.
- Q11387554 wikiPageExternalLink www.msr-inria.fr.
- Q11387554 wikiPageExternalLink barendregt01proofassistants.pdf.
- Q11387554 wikiPageExternalLink others.html.
- Q11387554 wikiPageWikiLink Q1061077.
- Q11387554 wikiPageWikiLink Q1131652.
- Q11387554 wikiPageWikiLink Q1144725.
- Q11387554 wikiPageWikiLink Q1146208.
- Q11387554 wikiPageWikiLink Q1150675.
- Q11387554 wikiPageWikiLink Q1166618.
- Q11387554 wikiPageWikiLink Q1480643.
- Q11387554 wikiPageWikiLink Q15487688.
- Q11387554 wikiPageWikiLink Q157808.
- Q11387554 wikiPageWikiLink Q160302.
- Q11387554 wikiPageWikiLink Q1609529.
- Q11387554 wikiPageWikiLink Q1644136.
- Q11387554 wikiPageWikiLink Q1658883.
- Q11387554 wikiPageWikiLink Q17030435.
- Q11387554 wikiPageWikiLink Q18217799.
- Q11387554 wikiPageWikiLink Q1847646.
- Q11387554 wikiPageWikiLink Q189464.
- Q11387554 wikiPageWikiLink Q189722.
- Q11387554 wikiPageWikiLink Q191307.
- Q11387554 wikiPageWikiLink Q20479.
- Q11387554 wikiPageWikiLink Q2067766.
- Q11387554 wikiPageWikiLink Q210295.
- Q11387554 wikiPageWikiLink Q21198.
- Q11387554 wikiPageWikiLink Q212587.
- Q11387554 wikiPageWikiLink Q22907407.
- Q11387554 wikiPageWikiLink Q2762418.
- Q11387554 wikiPageWikiLink Q292976.
- Q11387554 wikiPageWikiLink Q3205992.
- Q11387554 wikiPageWikiLink Q34010.
- Q11387554 wikiPageWikiLink Q3408184.
- Q11387554 wikiPageWikiLink Q35794.
- Q11387554 wikiPageWikiLink Q371522.
- Q11387554 wikiPageWikiLink Q3984085.
- Q11387554 wikiPageWikiLink Q41226.
- Q11387554 wikiPageWikiLink Q431667.
- Q11387554 wikiPageWikiLink Q460340.
- Q11387554 wikiPageWikiLink Q460584.
- Q11387554 wikiPageWikiLink Q4650692.
- Q11387554 wikiPageWikiLink Q47146.
- Q11387554 wikiPageWikiLink Q4826475.
- Q11387554 wikiPageWikiLink Q49115.
- Q11387554 wikiPageWikiLink Q5423569.
- Q11387554 wikiPageWikiLink Q5635438.
- Q11387554 wikiPageWikiLink Q597330.
- Q11387554 wikiPageWikiLink Q603143.
- Q11387554 wikiPageWikiLink Q604924.
- Q11387554 wikiPageWikiLink Q6109434.
- Q11387554 wikiPageWikiLink Q6159267.
- Q11387554 wikiPageWikiLink Q6504468.
- Q11387554 wikiPageWikiLink Q6667462.
- Q11387554 wikiPageWikiLink Q6716163.
- Q11387554 wikiPageWikiLink Q6787610.
- Q11387554 wikiPageWikiLink Q6788881.
- Q11387554 wikiPageWikiLink Q68.
- Q11387554 wikiPageWikiLink Q6822975.
- Q11387554 wikiPageWikiLink Q6915499.
- Q11387554 wikiPageWikiLink Q7265420.
- Q11387554 wikiPageWikiLink Q7265672.
- Q11387554 wikiPageWikiLink Q7346802.
- Q11387554 wikiPageWikiLink Q7666857.
- Q11387554 wikiPageWikiLink Q8279957.
- Q11387554 wikiPageWikiLink Q836805.
- Q11387554 wikiPageWikiLink Q849146.
- Q11387554 wikiPageWikiLink Q8797482.
- Q11387554 wikiPageWikiLink Q997433.
- Q11387554 type Thing.
- Q11387554 comment "Template:ForIn computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.".
- Q11387554 label "Proof assistant".
- Q11387554 seeAlso Q997433.
- Q11387554 differentFrom Q1665886.
- Q11387554 depiction CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png.