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
EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) - MaRDI portal

EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (Q3043643)

From MaRDI portal
scientific article
Language Label Description Also known as
English
EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)
scientific article

    Statements

    EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (English)
    0 references
    0 references
    0 references
    0 references
    6 August 2004
    0 references
    hypersubstitution
    0 references
    fully invariant congruence
    0 references
    hyperunification problem
    0 references

    Identifiers