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
Decision procedures for the conditions true in certain metric structures - MaRDI portal

Decision procedures for the conditions true in certain metric structures (Q2415938)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decision procedures for the conditions true in certain metric structures
scientific article

    Statements

    title
    Decision procedures for the conditions true in certain metric structures (English)
    0 references
    author
    Philip Scowcroft
    0 references
    publication date
    23 May 2019
    0 references
    zbMATH Keywords
    metric structure
    0 references
    continuous logic
    0 references
    decision procedure
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B50
    0 references
    03C90
    0 references
    03B25
    0 references
    03C60
    0 references
    zbMATH DE Number
    7057777
    0 references
    OpenAlex ID
    W2920403442
    0 references
    Wikidata QID
    Q128382299
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2415938&oldid=39067794"
    Powered by MediaWiki