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
Deciding active structural completeness - MaRDI portal

Deciding active structural completeness (Q2288335)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deciding active structural completeness
scientific article

    Statements

    title
    Deciding active structural completeness (English)
    0 references
    publication date
    17 January 2020
    0 references
    zbMATH Keywords
    structural completeness
    0 references
    active structural completeness
    0 references
    decidability
    0 references
    finitely generated varieties
    0 references
    cites work
    Q4011709
    0 references
    Q3093852
    0 references
    Q4075437
    0 references
    Q3934450
    0 references
    Q4715131
    0 references
    Protoalgebraic logics
    0 references
    Q4194936
    0 references
    Q5460166
    0 references
    Q3185647
    0 references
    Q4220413
    0 references
    Q3924388
    0 references
    Q3688569
    0 references
    Q3751631
    0 references
    Q4405137
    0 references
    Q5616120
    0 references

    Identifiers

    Mathematics Subject Classification ID
    08C15
    0 references
    03B60
    0 references
    68Q17
    0 references
    08B26
    0 references
    08B10
    0 references
    zbMATH DE Number
    7153013
    0 references
    OpenAlex ID
    W2954530126
    0 references
    Wikidata QID
    Q127521971
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2288335&oldid=38989416"
    Powered by MediaWiki