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
Integrating Linear Arithmetic into Superposition Calculus - MaRDI portal

Integrating Linear Arithmetic into Superposition Calculus (Q3608415)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integrating Linear Arithmetic into Superposition Calculus
scientific article

    Statements

    title
    Integrating Linear Arithmetic into Superposition Calculus (English)
    0 references
    author
    Konstantin Korovin
    0 references
    Andrei Voronkov
    0 references
    publication date
    5 March 2009
    0 references

    Identifiers

    zbMATH DE Number
    5523396
    0 references
    OpenAlex ID
    W1557130751
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3608415&oldid=31609376"
    Powered by MediaWiki