Q4814329 (Q4814329): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 02:18, 8 February 2024

scientific article; zbMATH DE number 2097976
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 2097976

    Statements

    7 September 2004
    0 references
    0 references
    0 references
    0 references
    0 references
    Otter
    0 references
    automated theorem proving
    0 references
    loops
    0 references
    quasigroups
    0 references