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
Dynamic Topological Completeness for - MaRDI portal

Dynamic Topological Completeness for (Q3442403)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Dynamic Topological Completeness for
scientific article

    Statements

    title
    Dynamic Topological Completeness for (English)
    0 references
    publication date
    18 May 2007
    0 references
    zbMATH Keywords
    dynamic topological logic
    0 references
    spatial logic
    0 references
    temporal logic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B45
    0 references
    03B44
    0 references
    54H20
    0 references
    54D05
    0 references
    zbMATH DE Number
    5154947
    0 references
    OpenAlex ID
    W1980881014
    0 references
    DOI
    10.1093/JIGPAL/JZL036
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3442403&oldid=41123844"
    Powered by MediaWiki