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
Applying Linear Quantifier Elimination - MaRDI portal

Applying Linear Quantifier Elimination (Q3140556)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Applying Linear Quantifier Elimination
scientific article

    Statements

    title
    Applying Linear Quantifier Elimination (English)
    0 references
    author
    Rüdiger Loos
    0 references
    Volker Weispfenning
    0 references
    publication date
    23 May 1994
    0 references
    zbMATH Keywords
    linear quantifier elimination algorithm for ordered fields
    0 references
    Skolem sets
    0 references
    elimination sets
    0 references
    non-standard terms
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03C10
    0 references
    68W30
    0 references
    68Q25
    0 references
    zbMATH DE Number
    440394
    0 references
    OpenAlex ID
    W2013702670
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3140556&oldid=31500133"
    Powered by MediaWiki