Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Proof_assistant> ?p ?o. }
Showing items 1 to 48 of
48
with 100 items per page.
- Proof_assistant abstract "In 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.".
- Proof_assistant thumbnail CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png?width=300.
- Proof_assistant wikiPageExternalLink Intro.html.
- Proof_assistant wikiPageExternalLink tps.html.
- Proof_assistant wikiPageExternalLink hol.sourceforge.net.
- Proof_assistant wikiPageExternalLink appel.
- Proof_assistant wikiPageExternalLink systems.html.
- Proof_assistant wikiPageExternalLink 0.html.
- Proof_assistant wikiPageExternalLink lfs-impl.html.
- Proof_assistant wikiPageExternalLink comparison.pdf.
- Proof_assistant wikiPageExternalLink tacticprover.
- Proof_assistant wikiPageExternalLink yarrow.
- Proof_assistant wikiPageExternalLink interactiveTheoremProvingForAgdaUsers.html.
- Proof_assistant wikiPageExternalLink lego.
- Proof_assistant wikiPageExternalLink Logical_Frameworks.
- Proof_assistant wikiPageExternalLink typelab.html.
- Proof_assistant wikiPageExternalLink others.html.
- Proof_assistant wikiPageExternalLink others.html.
- Proof_assistant wikiPageID "1258607".
- Proof_assistant wikiPageRevisionID "602268120".
- Proof_assistant hasPhotoCollection Proof_assistant.
- Proof_assistant subject Category:Automated_theorem_proving.
- Proof_assistant subject Category:Proof_assistants.
- Proof_assistant type Assistant109815790.
- Proof_assistant type CausalAgent100007347.
- Proof_assistant type LivingThing100004258.
- Proof_assistant type Object100002684.
- Proof_assistant type Organism100004475.
- Proof_assistant type Person100007846.
- Proof_assistant type PhysicalEntity100001930.
- Proof_assistant type ProofAssistants.
- Proof_assistant type Whole100003553.
- Proof_assistant type Worker109632518.
- Proof_assistant type YagoLegalActor.
- Proof_assistant type YagoLegalActorGeo.
- Proof_assistant comment "In 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.".
- Proof_assistant label "Assistant de preuve".
- Proof_assistant label "Demostración interactiva de teoremas".
- Proof_assistant label "Proof assistant".
- Proof_assistant sameAs Demostración_interactiva_de_teoremas.
- Proof_assistant sameAs Assistant_de_preuve.
- Proof_assistant sameAs m.04mw60.
- Proof_assistant sameAs Q11387554.
- Proof_assistant sameAs Q11387554.
- Proof_assistant sameAs Proof_assistant.
- Proof_assistant wasDerivedFrom Proof_assistant?oldid=602268120.
- Proof_assistant depiction CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png.
- Proof_assistant isPrimaryTopicOf Proof_assistant.