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
Learning theorem proving components - MaRDI portal

Learning theorem proving components (Q2142080)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Learning theorem proving components
scientific article

    Statements

    title
    Learning theorem proving components (English)
    0 references
    author
    Karel Chvalovský
    0 references
    Jan Jakubův
    0 references
    Miroslav Olšák
    0 references
    Josef Urban
    0 references
    publication date
    25 May 2022
    0 references
    zbMATH Keywords
    automated theorem proving
    0 references
    machine learning
    0 references
    neural networks
    0 references
    decision trees
    0 references
    saturation-style proving
    0 references
    describes a project that uses
    Dynagraph
    0 references
    OTTER
    0 references
    BliStrTune
    0 references
    Mace4
    0 references
    Easychair
    0 references
    TacticToe
    0 references
    ENIGMA
    0 references
    Graphviz
    0 references
    MPTP 0.2
    0 references
    VAMPIRE
    0 references
    Prover9
    0 references
    E Theorem Prover
    0 references
    randoCoP
    0 references
    BliStr
    0 references
    MetiTarski
    0 references
    SciPy
    0 references

    Identifiers

    zbMATH DE Number
    7532521
    0 references
    OpenAlex ID
    W3203136261
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2142080&oldid=38019555"
    Powered by MediaWiki