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
Finite axiomatizability for equational theories of computable groupoids - MaRDI portal

Finite axiomatizability for equational theories of computable groupoids (Q3470464)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite axiomatizability for equational theories of computable groupoids
scientific article

    Statements

    Finite axiomatizability for equational theories of computable groupoids (English)
    0 references
    0 references
    0 references
    1989
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    finite axiomatizability
    0 references
    equational theory
    0 references
    computable groupoid
    0 references
    0 references