Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Semigroup identities and proofs - MaRDI portal

Semigroup identities and proofs (Q2249404)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semigroup identities and proofs
scientific article

    Statements

    title
    Semigroup identities and proofs (English)
    0 references
    author
    Sherman Stein
    0 references
    publication date
    1 July 2014
    0 references
    zbMATH Keywords
    identities
    0 references
    models
    0 references
    proofs
    0 references
    computer proofs
    0 references
    Burnside's problem
    0 references
    describes a project that uses
    Prover9
    0 references
    Mace4
    0 references

    Identifiers

    Mathematics Subject Classification ID
    20M05
    0 references
    03D40
    0 references
    08B05
    0 references
    68R15
    0 references
    20F10
    0 references
    zbMATH DE Number
    6312134
    0 references
    OpenAlex ID
    W1982937383
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2249404&oldid=38966569"
    Powered by MediaWiki