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
An implication basis for linear forms - MaRDI portal

An implication basis for linear forms (Q861614)

From MaRDI portal





scientific article; zbMATH DE number 5119645
Language Label Description Also known as
English
An implication basis for linear forms
scientific article; zbMATH DE number 5119645

    Statements

    An implication basis for linear forms (English)
    0 references
    0 references
    0 references
    29 January 2007
    0 references
    linear forms
    0 references
    abelian groups
    0 references
    hyperidentities
    0 references
    term condition
    0 references
    rule (gL)
    0 references
    switching identities
    0 references

    Identifiers