Proof complexity

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:concerns lower bounds for proof systems
upper bounds for proof systems
gptkbp:fieldOfStudy gptkb:logic
theoretical computer science
gptkbp:hasApplication gptkb:complexity_theory
cryptography
automated theorem proving
https://www.w3.org/2000/01/rdf-schema#label Proof complexity
gptkbp:relatedTo gptkb:logic
gptkb:NP-completeness
gptkb:P_vs_NP_problem
gptkb:SAT_problem
proof systems
gptkbp:studies length of proofs
resources needed for proofs
gptkbp:bfsParent gptkb:The_foundations_of_mathematics
gptkbp:bfsLayer 7