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
Axiomatic Constraint Systems for Proof Search Modulo Theories - MaRDI portal

Axiomatic Constraint Systems for Proof Search Modulo Theories (Q2964465)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatic Constraint Systems for Proof Search Modulo Theories
scientific article

    Statements

    title
    Axiomatic Constraint Systems for Proof Search Modulo Theories (English)
    0 references
    author
    Damien Rouhling
    0 references
    Mahfuza Farooque
    0 references
    Assia Mahboubi
    0 references
    Jean-Marc Notin
    0 references
    publication date
    27 February 2017
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68V15
    0 references
    68Q42
    0 references
    68T20
    0 references
    zbMATH DE Number
    6688817
    0 references
    OpenAlex ID
    W312152708
    0 references
    arXiv ID
    1412.6790
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2964465&oldid=36308082"
    Powered by MediaWiki