Substitution and Propositional Proof Complexity (Q5027247)
From MaRDI portal
scientific article; zbMATH DE number 7469220
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Substitution and Propositional Proof Complexity |
scientific article; zbMATH DE number 7469220 |
Statements
Substitution and Propositional Proof Complexity (English)
0 references
4 February 2022
0 references
substitution
0 references
proof complexity
0 references
lower bounds
0 references
multisubstitution
0 references
Frege proof
0 references
Frege
0 references
Begriffsschrift
0 references
Grundgesetze
0 references
0 references
