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
Encoding Monomorphic and Polymorphic Types - MaRDI portal

Encoding Monomorphic and Polymorphic Types (Q2974796)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Encoding Monomorphic and Polymorphic Types
scientific article

    Statements

    title
    Encoding Monomorphic and Polymorphic Types (English)
    0 references
    author
    Sascha Böhme
    0 references
    Andrei Popescu
    0 references
    Nicholas Smallbone
    0 references
    publication date
    11 April 2017
    0 references
    describes a project that uses
    TPTP
    0 references
    z3
    0 references
    Sledgehammer
    0 references
    MPTP 0.2
    0 references
    Why3
    0 references
    Metis_
    0 references
    E Theorem Prover
    0 references
    Jahob
    0 references
    Boogie
    0 references
    VAMPIRE
    0 references
    Isabelle/HOL
    0 references
    cites work
    Basic paramodulation
    0 references
    Q4052071
    0 references
    Q4003410
    0 references
    Q3150300
    0 references
    Automated Reasoning
    0 references
    Q2751379
    0 references

    Identifiers

    zbMATH DE Number
    6703932
    0 references
    arXiv ID
    1609.08916
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2974796&oldid=36315574"
    Powered by MediaWiki