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
Dependence and isolated extensions - MaRDI portal

Dependence and isolated extensions (Q3092860)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dependence and isolated extensions
scientific article

    Statements

    title
    Dependence and isolated extensions (English)
    0 references
    author
    Vincent Guingona
    0 references
    publication date
    11 October 2011
    0 references
    zbMATH Keywords
    dependent formula
    0 references
    NIP
    0 references
    definability
    0 references
    definable type
    0 references
    isolated type
    0 references

    Identifiers

    zbMATH DE Number
    5956753
    0 references
    arXiv ID
    0911.1361
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3092860&oldid=35248270"
    Powered by MediaWiki