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
Large theory reasoning with SUMO at CASC - MaRDI portal

Large theory reasoning with SUMO at CASC (Q3568226)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Large theory reasoning with SUMO at CASC
scientific article

    Statements

    title
    Large theory reasoning with SUMO at CASC (English)
    0 references
    author
    Adam Pease
    0 references
    Nick Siegel
    0 references
    Steven Trac
    0 references
    Geoff Sutcliffe
    0 references
    publication date
    17 June 2010
    0 references
    zbMATH Keywords
    automated reasoning
    0 references
    large theories
    0 references
    commonsense reasoning
    0 references
    describes a project that uses
    VAMPIRE
    0 references
    Mace4
    0 references
    Metis_
    0 references
    TPTP
    0 references
    E Theorem Prover
    0 references
    MaLARea
    0 references

    Identifiers

    DOI
    10.3233/AIC-2010-0466
    0 references
    Mathematics Subject Classification ID
    68T30
    0 references
    68T15
    0 references
    68T27
    0 references
    68T35
    0 references
    zbMATH DE Number
    5722875
    0 references
    OpenAlex ID
    W1751603136
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3568226&oldid=37317778"
    Powered by MediaWiki