Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Propositional_proof_system> ?p ?o }
Showing triples 1 to 70 of
70
with 100 triples per page.
- Propositional_proof_system abstract "In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is system for proving classical propositional tautologies.".
- Propositional_proof_system wikiPageExternalLink index.html.
- Propositional_proof_system wikiPageExternalLink node9.html.
- Propositional_proof_system wikiPageExternalLink book.
- Propositional_proof_system wikiPageExternalLink catalogue.asp?isbn=9780521517294.
- Propositional_proof_system wikiPageExternalLink ds1.ps.
- Propositional_proof_system wikiPageExternalLink ds2.ps.
- Propositional_proof_system wikiPageExternalLink ecm.pdf.
- Propositional_proof_system wikiPageExternalLink 1304-001.ps.
- Propositional_proof_system wikiPageExternalLink reckhow_thesis.pdf.
- Propositional_proof_system wikiPageID "29696524".
- Propositional_proof_system wikiPageLength "8875".
- Propositional_proof_system wikiPageOutDegree "42".
- Propositional_proof_system wikiPageRevisionID "704057289".
- Propositional_proof_system wikiPageWikiLink AC0.
- Propositional_proof_system wikiPageWikiLink Bounded_arithmetic.
- Propositional_proof_system wikiPageWikiLink Category:Articles_created_via_the_Article_Wizard.
- Propositional_proof_system wikiPageWikiLink Category:Automated_theorem_proving.
- Propositional_proof_system wikiPageWikiLink Category:Computational_complexity_theory.
- Propositional_proof_system wikiPageWikiLink Category:Logic_in_computer_science.
- Propositional_proof_system wikiPageWikiLink Category:Propositional_calculus.
- Propositional_proof_system wikiPageWikiLink Category:Systems_of_formal_logic.
- Propositional_proof_system wikiPageWikiLink Classical_logic.
- Propositional_proof_system wikiPageWikiLink Co-NP.
- Propositional_proof_system wikiPageWikiLink Completeness_(logic).
- Propositional_proof_system wikiPageWikiLink Cutting-plane_method.
- Propositional_proof_system wikiPageWikiLink DPLL_algorithm.
- Propositional_proof_system wikiPageWikiLink Efficiency.
- Propositional_proof_system wikiPageWikiLink European_Congress_of_Mathematics.
- Propositional_proof_system wikiPageWikiLink Extended_Frege.
- Propositional_proof_system wikiPageWikiLink File:Proofstrength.png.
- Propositional_proof_system wikiPageWikiLink Frege_system.
- Propositional_proof_system wikiPageWikiLink Freges_propositional_calculus.
- Propositional_proof_system wikiPageWikiLink NP_(complexity).
- Propositional_proof_system wikiPageWikiLink Natural_deduction.
- Propositional_proof_system wikiPageWikiLink Nullstellensatz_system.
- Propositional_proof_system wikiPageWikiLink P-simulation.
- Propositional_proof_system wikiPageWikiLink Pigeonhole_principle.
- Propositional_proof_system wikiPageWikiLink Polynomial_calculus.
- Propositional_proof_system wikiPageWikiLink Proof_complexity.
- Propositional_proof_system wikiPageWikiLink Propositional_calculus.
- Propositional_proof_system wikiPageWikiLink Range_(mathematics).
- Propositional_proof_system wikiPageWikiLink Resolution_(logic).
- Propositional_proof_system wikiPageWikiLink Robert_A._Reckhow.
- Propositional_proof_system wikiPageWikiLink Sequent_calculus.
- Propositional_proof_system wikiPageWikiLink Soundness.
- Propositional_proof_system wikiPageWikiLink Stephen_Cook.
- Propositional_proof_system wikiPageWikiLink Tautology_(logic).
- Propositional_proof_system wikiPageWikiLink Time_complexity.
- Propositional_proof_system wikiPageWikiLink Toniann_Pitassi.
- Propositional_proof_system wikiPageWikiLinkText "p-equivalent".
- Propositional_proof_system wikiPageWikiLinkText "propositional proof system".
- Propositional_proof_system wikiPageUsesTemplate Template:Clear.
- Propositional_proof_system wikiPageUsesTemplate Template:Reflist.
- Propositional_proof_system subject Category:Articles_created_via_the_Article_Wizard.
- Propositional_proof_system subject Category:Automated_theorem_proving.
- Propositional_proof_system subject Category:Computational_complexity_theory.
- Propositional_proof_system subject Category:Logic_in_computer_science.
- Propositional_proof_system subject Category:Propositional_calculus.
- Propositional_proof_system subject Category:Systems_of_formal_logic.
- Propositional_proof_system hypernym System.
- Propositional_proof_system type Method.
- Propositional_proof_system type Proof.
- Propositional_proof_system comment "In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is system for proving classical propositional tautologies.".
- Propositional_proof_system label "Propositional proof system".
- Propositional_proof_system sameAs Q7250416.
- Propositional_proof_system sameAs m.0fq1m23.
- Propositional_proof_system sameAs Q7250416.
- Propositional_proof_system wasDerivedFrom Propositional_proof_system?oldid=704057289.
- Propositional_proof_system isPrimaryTopicOf Propositional_proof_system.