About: Proof complexity

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

unknown

Property	Value
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://list.math.cas.cz/listinfo/proof-complexity http://www.karlin.mff.cuni.cz/~krajicek/prfdraft.html http://www.cs.toronto.edu/~sacook/homepage/book
dbo:wikiPageWikiLink	dbr:Parameterized_complexity dbr:NC_(complexity) dbr:Non-classical_logic dbr:Stephen_Cook dbr:Sequent_calculus dbr:Resolution_(logic) dbr:NP_(complexity) dbr:Non-monotonic_logic dbr:Proof_theory dbr:Propositional_calculus dbr:E_(complexity) dbr:Alex_Wilkie dbr:Frege_system dbr:NE_(complexity) dbc:Logic_in_computer_science dbc:Computational_complexity_theory dbr:Disjunctive_normal_form dbr:Logic dbr:Modal_logic dbr:Key_exchange dbr:Cutting-plane_method dbr:Exponential_time_hypothesis dbr:Circuit_complexity dbr:Propositional_proof_system dbr:SAT_solver dbr:Algorithm dbr:Intuitionistic_logic dbr:Theoretical_computer_science dbc:Automated_theorem_proving dbr:Miklós_Ajtai dbr:Computational_complexity_theory dbr:Quasi-polynomial_time dbr:Mathematical_logic dbr:European_Congress_of_Mathematics dbr:Jeff_Paris_(mathematician) dbr:P_(complexity) dbr:P/poly dbr:AC0 dbr:Second-order_logic dbr:DPLL_algorithm dbr:Communication_complexity dbr:Model_(logic) dbr:Conflict-driven_clause_learning dbr:Bounded_arithmetic dbr:Peano_arithmetic dbr:Nullstellensatz dbr:Bulletin_of_the_European_Association_for_Theoretical_Computer_Science dbr:First-order_theories dbr:Zermelo_Fraenkel_set_theory dbr:RSA_encryption dbr:CoNP dbr:Complexity_classes dbr:Model-theoretic dbr:Robert_Reckhow
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:See_also dbt:Citation dbt:ECCC
dct:subject	dbc:Logic_in_computer_science dbc:Computational_complexity_theory dbc:Automated_theorem_proving
gold:hypernym	dbr:Measure
rdfs:label	Proof complexity (en) Complexité des preuves (fr) Complexidade de prova (pt)
rdfs:seeAlso	dbr:SAT_solver
owl:sameAs	freebase:Proof complexity wikidata:Proof complexity dbpedia-fr:Proof complexity dbpedia-pt:Proof complexity dbpedia-global:Proof complexity
prov:wasDerivedFrom	wikipedia-en:Proof_complexity?oldid=1286843098&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Proof_complexity
is dbo:knownFor of	dbr:Stephen_Cook__Stephen_Cook__1
is dbo:wikiPageDisambiguates of	dbr:Proof
is dbo:wikiPageRedirects of	dbr:Proof_Complexity
is dbo:wikiPageWikiLink of	dbr:Admissible_rule dbr:Samuel_Buss dbr:Stephen_Cook dbr:Proof dbr:Automated_theorem_proving dbr:Proof_theory dbr:Proof_(truth) dbr:Frege_system dbr:Proof_procedure dbr:Propositional_proof_system dbr:MAXEkSAT dbr:Avi_Wigderson dbr:Computational_complexity_theory dbr:DPLL_algorithm dbr:Toniann_Pitassi dbr:Richard_Zach dbr:Bounded_arithmetic dbr:Proof_Complexity
is foaf:primaryTopic of	wikipedia-en:Proof_complexity