Propositional proof system

http://dbpedia.org/resource/Propositional_proof_system an entity of type: Ability105616246

In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is a system for proving classical propositional tautologies. rdf:langString
rdf:langString Propositional proof system
xsd:integer 29696524
xsd:integer 1090304976
rdf:langString In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is a system for proving classical propositional tautologies.
xsd:nonNegativeInteger 9169
yago:Ability105616246
yago:Abstraction100002137
yago:Cognition100023271
yago:Know-how105616786
yago:Logic105664069
yago:Method105660268
yago:PsychologicalFeature100023100
yago:System105661996
yago:WikicatSystemsOfFormalLogic
<http://commons.wikimedia.org/wiki/Special:FilePath/Proofstrength.png>
<http://dbpedia.org/resource/Category:Automated_theorem_proving>
<http://dbpedia.org/resource/Category:Propositional_calculus>
<http://dbpedia.org/resource/Category:Systems_of_formal_logic>
<http://dbpedia.org/resource/Category:Logic_in_computer_science>
<http://dbpedia.org/resource/Category:Computational_complexity_theory>
<http://dbpedia.org/resource/Proof_complexity>
<http://dbpedia.org/resource/Propositional_calculus>
<http://dbpedia.org/resource/NP_(complexity)>
<http://dbpedia.org/resource/Category:Automated_theorem_proving>
<http://dbpedia.org/resource/Resolution_(logic)>
<http://dbpedia.org/resource/Cutting-plane_method>
<http://dbpedia.org/resource/DPLL_algorithm>
<http://dbpedia.org/resource/Efficiency>
<http://dbpedia.org/resource/Frege's_propositional_calculus>
<http://dbpedia.org/resource/Bounded_arithmetic>
<http://dbpedia.org/resource/Stephen_Cook>
<http://dbpedia.org/resource/Category:Propositional_calculus>
<http://dbpedia.org/resource/Completeness_(logic)>
<http://dbpedia.org/resource/CoNP>
<http://dbpedia.org/resource/Propositional_logic>
<http://dbpedia.org/resource/Toniann_Pitassi>
<http://dbpedia.org/resource/Category:Systems_of_formal_logic>
<http://dbpedia.org/resource/European_Congress_of_Mathematics>
<http://dbpedia.org/resource/Natural_deduction>
<http://dbpedia.org/resource/Range_of_a_function>
<http://dbpedia.org/resource/Tautology_(logic)>
<http://dbpedia.org/resource/AC0>
<http://dbpedia.org/resource/Category:Logic_in_computer_science>
<http://dbpedia.org/resource/Category:Computational_complexity_theory>
<http://dbpedia.org/resource/Pigeonhole_principle>
<http://dbpedia.org/resource/Classical_logic>
<http://dbpedia.org/resource/Frege_system>
<http://dbpedia.org/resource/Polynomial_time>
<http://dbpedia.org/resource/File:Proofstrength.png>
<http://dbpedia.org/resource/Sequent_calculus>
<http://dbpedia.org/resource/Soundness>
<http://dbpedia.org/resource/Polynomial-time>
<http://dbpedia.org/resource/Pigeon_hole_principle>
<http://dbpedia.org/resource/Robert_A._Reckhow>
<http://dbpedia.org/resource/Extended_Frege_system>
<http://dbpedia.org/resource/Nullstellensatz_system>
<http://dbpedia.org/resource/P-simulation>
<http://dbpedia.org/resource/Polynomial_calculus>
<http://www.cs.toronto.edu/~sacook/homepage/book>
<https://www.cs.cmu.edu/afs/cs/project/jair/pub/volume21/dixon04a-html/node9.html>
<https://www.math.ucla.edu/~asl/bsl/1304/1304-001.ps>
<https://www.cs.toronto.edu/~sacook/homepage/reckhow_thesis.pdf>
<http://www.karlin.mff.cuni.cz/~krajicek/ds1.ps>
<http://www.karlin.mff.cuni.cz/~krajicek/ds2.ps>
<http://www.karlin.mff.cuni.cz/~krajicek/ecm.pdf>
<http://eccc.uni-trier.de/eccc-reports/1998/TR98-067/index.html>
<http://www.cup.es/us/catalogue/catalogue.asp%3Fisbn=9780521517294>
<https://books.google.com/books%3Fid=6XkgKydE0Z8C&printsec=frontcover%23v=onepage&q=%22propositional%20proof%22&f=false>
<https://books.google.com/books%3Fid=MfTMDeCq7ukC&printsec=frontcover%23v=onepage&q=%22The%20lengths%20of%20proofs%22&f=false>
<https://books.google.com/books%3Fid=MfTMDeCq7ukC&printsec=frontcover%23v=onepage&q=%22propositional%20proof%22&f=false>
<http://rdf.freebase.com/ns/m.0fq1m23>
<http://yago-knowledge.org/resource/Propositional_proof_system>
<http://www.wikidata.org/entity/Q7250416>
<https://global.dbpedia.org/id/4tY6G>
<http://dbpedia.org/resource/Template:Clear>
<http://dbpedia.org/resource/Template:Reflist>
<http://commons.wikimedia.org/wiki/Special:FilePath/Proofstrength.png?width=300>
<http://dbpedia.org/resource/System>
<http://en.wikipedia.org/wiki/Propositional_proof_system?oldid=1090304976&ns=0>
<http://en.wikipedia.org/wiki/Propositional_proof_system>

data from the linked data cloud