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
On the decidability of axiomatized mereotopological theories - MaRDI portal

On the decidability of axiomatized mereotopological theories (Q2354622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the decidability of axiomatized mereotopological theories
scientific article

    Statements

    title
    On the decidability of axiomatized mereotopological theories (English)
    0 references
    author
    Hsing-chien Tsai
    0 references
    publication date
    20 July 2015
    0 references
    zbMATH Keywords
    mereotopology
    0 references
    mereology
    0 references
    decidability
    0 references
    separability
    0 references
    finite separability
    0 references

    Identifiers

    zbMATH DE Number
    6460227
    0 references
    OpenAlex ID
    W2040094148
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2354622&oldid=36191465"
    Powered by MediaWiki