About: Propositional proof system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

System to prove classical propositional tautologies.

Property	Value
dbo:description	System to prove classical propositional tautologies. (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Proofstrength.png?width=300
dbo:wikiPageExternalLink	http://www.karlin.mff.cuni.cz/~krajicek/ecm.pdf https://www.cs.cmu.edu/afs/cs/project/jair/pub/volume21/dixon04a-html/node9.html http://www.cs.toronto.edu/~sacook/homepage/book https://www.math.ucla.edu/~asl/bsl/1304/1304-001.ps 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 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://eccc.uni-trier.de/eccc-reports/1998/TR98-067/index.html http://www.cup.es/us/catalogue/catalogue.asp%3Fisbn=9780521517294
dbo:wikiPageWikiLink	dbr:File:Proofstrength.png dbr:Extended_Frege_system dbr:Nullstellensatz_system dbr:P-simulation dbr:Polynomial_calculus dbr:Robert_A._Reckhow dbr:Classical_logic dbr:Stephen_Cook dbr:Soundness dbr:Natural_deduction dbr:Sequent_calculus dbr:Range_of_a_function dbc:Propositional_calculus dbr:Resolution_(logic) dbr:NP_(complexity) dbr:Propositional_calculus dbr:Propositional_logic dbr:Frege_system dbc:Logic_in_computer_science dbc:Computational_complexity_theory dbr:Efficiency dbr:Tautology_(logic) dbr:Cutting-plane_method dbr:Completeness_(logic) dbr:Proof_complexity dbc:Automated_theorem_proving dbc:Systems_of_formal_logic dbr:Pigeonhole_principle dbr:European_Congress_of_Mathematics dbr:AC0 dbr:DPLL_algorithm dbr:Toniann_Pitassi dbr:Frege's_propositional_calculus dbr:Polynomial_time dbr:Bounded_arithmetic dbr:Pigeon_hole_principle dbr:CoNP dbr:Polynomial-time
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Clear
dct:subject	dbc:Propositional_calculus dbc:Logic_in_computer_science dbc:Computational_complexity_theory dbc:Automated_theorem_proving dbc:Systems_of_formal_logic
gold:hypernym	dbr:System
rdfs:label	Propositional proof system (en)
owl:sameAs	freebase:Propositional proof system yago-res:Propositional proof system wikidata:Propositional proof system dbpedia-global:Propositional proof system
prov:wasDerivedFrom	wikipedia-en:Propositional_proof_system?oldid=1244132101&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Proofstrength.png
foaf:isPrimaryTopicOf	wikipedia-en:Propositional_proof_system
is dbo:wikiPageRedirects of	dbr:Propositional_proof_complexity
is dbo:wikiPageWikiLink of	dbr:Stephen_Cook dbr:Frege_system dbr:Proof_calculus dbr:Proof_complexity dbr:Bounded_arithmetic dbr:Propositional_proof_complexity
is foaf:primaryTopic of	wikipedia-en:Propositional_proof_system