Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Proof_procedure> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Proof_procedure abstract "In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.".
- Proof_procedure wikiPageID "1596638".
- Proof_procedure wikiPageLength "1470".
- Proof_procedure wikiPageOutDegree "17".
- Proof_procedure wikiPageRevisionID "635471315".
- Proof_procedure wikiPageWikiLink Automated_theorem_proving.
- Proof_procedure wikiPageWikiLink Category:Proof_theory.
- Proof_procedure wikiPageWikiLink Formal_system.
- Proof_procedure wikiPageWikiLink Gerhard_Gentzen.
- Proof_procedure wikiPageWikiLink Hilbert_system.
- Proof_procedure wikiPageWikiLink Logic.
- Proof_procedure wikiPageWikiLink Method_of_analytic_tableaux.
- Proof_procedure wikiPageWikiLink Natural_deduction.
- Proof_procedure wikiPageWikiLink Proof_(truth).
- Proof_procedure wikiPageWikiLink Proof_calculus.
- Proof_procedure wikiPageWikiLink Proof_complexity.
- Proof_procedure wikiPageWikiLink Proof_theory.
- Proof_procedure wikiPageWikiLink Recursively_enumerable_set.
- Proof_procedure wikiPageWikiLink Sequent_calculus.
- Proof_procedure wikiPageWikiLink Undecidable_problem.
- Proof_procedure wikiPageWikiLinkText "Proof procedure".
- Proof_procedure wikiPageWikiLinkText "proof procedure".
- Proof_procedure subject Category:Proof_theory.
- Proof_procedure hypernym Method.
- Proof_procedure type Software.
- Proof_procedure type Proof.
- Proof_procedure comment "In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.".
- Proof_procedure label "Proof procedure".
- Proof_procedure sameAs Q7250017.
- Proof_procedure sameAs m.05fcc4.
- Proof_procedure sameAs Q7250017.
- Proof_procedure wasDerivedFrom Proof_procedure?oldid=635471315.
- Proof_procedure isPrimaryTopicOf Proof_procedure.