Proof complexity
subject: Category:Computational complexity theory
subject: Category:Automated theorem proving
hypernym: Measure
label: Complexidade de prova @pt
label: Complexité des preuves @fr
subject: Category:Logic in computer science
type: Thing