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
    0 references
    0 references
    0 references
    16 April 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    prenex normal form theorem
    0 references
    prenex normalization
    0 references
    formula classes
    0 references
    arithmetical hierarchy
    0 references