Refutation search for Horn sets by a subgoal-extraction method (Q3485884)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Refutation search for Horn sets by a subgoal-extraction method
scientific article

    Statements

    Refutation search for Horn sets by a subgoal-extraction method (English)
    0 references
    1990
    0 references
    refutation search
    0 references
    Horn sets
    0 references
    automated theorem proving
    0 references
    logic programming
    0 references
    deductive-databases management
    0 references

    Identifiers