Models and quantifier elimination for quantified Horn formulas (Q944709)

From MaRDI portal
Revision as of 18:08, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Models and quantifier elimination for quantified Horn formulas
scientific article

    Statements

    Models and quantifier elimination for quantified Horn formulas (English)
    0 references
    0 references
    0 references
    10 September 2008
    0 references
    quantified Boolean formula
    0 references
    quantified Horn formula
    0 references
    model
    0 references
    quantifier elimination
    0 references
    satisfiability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references