OTTER and the Moufang identity problem (Q1815858)

From MaRDI portal
scientific article
Language Label Description Also known as
English
OTTER and the Moufang identity problem
scientific article

    Statements

    OTTER and the Moufang identity problem (English)
    0 references
    0 references
    27 January 1997
    0 references
    automated reasoning
    0 references
    Moufang loops
    0 references
    circle of pure proofs
    0 references

    Identifiers