Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Propositional_proof_system> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items 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 wikiPageID "29696524".
- Propositional_proof_system wikiPageRevisionID "531791071".
- Propositional_proof_system hasPhotoCollection Propositional_proof_system.
- 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 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 m.0fq1m23.
- Propositional_proof_system sameAs Q7250416.
- Propositional_proof_system sameAs Q7250416.
- Propositional_proof_system wasDerivedFrom Propositional_proof_system?oldid=531791071.
- Propositional_proof_system isPrimaryTopicOf Propositional_proof_system.