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
Learning proofs for the classification of nilpotent semigroups - MaRDI portal

Learning proofs for the classification of nilpotent semigroups

From MaRDI portal

Publication:6369543

Jump to:navigation, search

arXiv2106.03015MaRDI QIDQ6369543

Carlos T. Simpson

Publication date: 5 June 2021

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

This page was built for publication: Learning proofs for the classification of nilpotent semigroups

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6369543&oldid=36003176"