Mechanizable inductive proofs for a class of ∀ ∃ formulas (Q5210766)

From MaRDI portal
scientific article; zbMATH DE number 7154542
Language Label Description Also known as
English
Mechanizable inductive proofs for a class of ∀ ∃ formulas
scientific article; zbMATH DE number 7154542

    Statements