Superposition theorem proving for abelian groups represented as integer modules (Q5055850)

From MaRDI portal
scientific article; zbMATH DE number 7631281
Language Label Description Also known as
English
Superposition theorem proving for abelian groups represented as integer modules
scientific article; zbMATH DE number 7631281

    Statements

    Identifiers

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