Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Automated_proof_checking> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Automated_proof_checking abstract "Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself. Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software.Because of this small size, some automated proof checking systems can have less than a thousand lines of core code, and are thus themselves amenable to both hand-checking and automated software verification.The Mizar system, HOL Light, and Metamath are examples of automated proof checking systems.Automated proof checking can be done either as a batch operation, or interactively, as part of an interactive theorem proving system.".
- Automated_proof_checking wikiPageExternalLink %E6%95%B0%E5%BC%8F%E5%87%A6%E7%90%86%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0.
- Automated_proof_checking wikiPageExternalLink mmset.html.
- Automated_proof_checking wikiPageExternalLink digimath.
- Automated_proof_checking wikiPageExternalLink How_to_(really)_trust_a_mathematical_proof.
- Automated_proof_checking wikiPageID "8618570".
- Automated_proof_checking wikiPageRevisionID "587054609".
- Automated_proof_checking hasPhotoCollection Automated_proof_checking.
- Automated_proof_checking subject Category:Formal_methods.
- Automated_proof_checking subject Category:Proof_assistants.
- Automated_proof_checking type Ability105616246.
- Automated_proof_checking type Abstraction100002137.
- Automated_proof_checking type Cognition100023271.
- Automated_proof_checking type FormalMethods.
- Automated_proof_checking type Know-how105616786.
- Automated_proof_checking type Method105660268.
- Automated_proof_checking type PsychologicalFeature100023100.
- Automated_proof_checking comment "Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself.".
- Automated_proof_checking label "Automated proof checking".
- Automated_proof_checking sameAs m.027b81f.
- Automated_proof_checking sameAs Q4826475.
- Automated_proof_checking sameAs Q4826475.
- Automated_proof_checking sameAs Automated_proof_checking.
- Automated_proof_checking wasDerivedFrom Automated_proof_checking?oldid=587054609.
- Automated_proof_checking isPrimaryTopicOf Automated_proof_checking.