Prenex normalization and the hierarchical classification of formulas (Q6128782)
From MaRDI portal
scientific article; zbMATH DE number 7832912
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Prenex normalization and the hierarchical classification of formulas |
scientific article; zbMATH DE number 7832912 |
Statements
Prenex normalization and the hierarchical classification of formulas (English)
0 references
16 April 2024
0 references
prenex normal form theorem
0 references
prenex normalization
0 references
formula classes
0 references
arithmetical hierarchy
0 references
