A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics (Q702096)

From MaRDI portal
Revision as of 09:54, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
scientific article

    Statements

    A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    17 January 2005
    0 references
    automated deduction
    0 references
    theorem provers
    0 references
    implicants
    0 references
    lattice theory
    0 references
    multisemilattice
    0 references
    ideals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references