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
Combining Theories with Shared Set Operations - MaRDI portal

Combining Theories with Shared Set Operations (Q3655212)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combining Theories with Shared Set Operations
scientific article

    Statements

    title
    Combining Theories with Shared Set Operations (English)
    0 references
    author
    Thomas Wies
    0 references
    Ruzica Piskac
    0 references
    Viktor Kuncak
    0 references
    publication date
    7 January 2010
    0 references
    describes a project that uses
    HOL Light
    0 references
    UCLID
    0 references
    z3
    0 references
    ETPS
    0 references
    cvc3
    0 references
    MONA
    0 references
    NQTHM
    0 references
    CVC Lite
    0 references
    PVS
    0 references
    cites work
    Q4472235
    0 references
    Q2782479
    0 references
    Q5691140
    0 references
    Q3835049
    0 references
    Q4449212
    0 references
    Q2848688
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B35
    0 references
    03B25
    0 references
    03B62
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5654250
    0 references
    OpenAlex ID
    W1747570770
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3655212&oldid=35145795"
    Powered by MediaWiki