Automated deduction in equational logic and cubic curves (Q1919221): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q688545
Property / author
 
Property / author: William W. McCune / rank
Normal rank
 

Revision as of 10:25, 20 February 2024

scientific article
Language Label Description Also known as
English
Automated deduction in equational logic and cubic curves
scientific article

    Statements

    Automated deduction in equational logic and cubic curves (English)
    0 references
    0 references
    4 August 1996
    0 references
    theorem prover Otter
    0 references
    equational logic
    0 references
    universal algebra
    0 references
    algebraic geometry
    0 references
    MACE
    0 references
    finite models as counterexamples
    0 references
    algebras over algebraic curves
    0 references
    cubic curves
    0 references
    geometric logic algebras
    0 references
    semigroups
    0 references
    lattice-like algebras
    0 references
    self-dual bases
    0 references
    Moufang loops
    0 references

    Identifiers

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