Simulating non-prenex cuts in quantified propositional calculus (Q3096088)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulating non-prenex cuts in quantified propositional calculus |
scientific article |
Statements
Simulating non-prenex cuts in quantified propositional calculus (English)
0 references
7 November 2011
0 references
proof complexity
0 references
prenex cuts
0 references
quantified propositional calculus
0 references
