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
Closure operators with positive connectives and quantifiers - MaRDI portal

Closure operators with positive connectives and quantifiers (Q2364246)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Closure operators with positive connectives and quantifiers
scientific article

    Statements

    title
    Closure operators with positive connectives and quantifiers (English)
    0 references
    publication date
    18 July 2017
    0 references
    zbMATH Keywords
    closure operators
    0 references
    \((\&\exists\forall)\)-closed classes
    0 references

    Identifiers

    zbMATH DE Number
    6748321
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2364246&oldid=36334625"
    Powered by MediaWiki