Octopus: combining learning and parallel search (Q861370)

From MaRDI portal
Revision as of 13:12, 25 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Octopus: combining learning and parallel search
scientific article

    Statements

    title
    Octopus: combining learning and parallel search (English)
    0 references
    author
    Monty Newborn
    0 references
    Zongyan Wang
    0 references
    publication date
    29 January 2007
    0 references
    zbMATH DE Number
    5119147
    0 references
    zbMATH Keywords
    automated theorem proving
    0 references
    learning strategies
    0 references
    parallel search
    0 references
    describes a project that uses
    SETHEO
    0 references
    SicoTHEO
    0 references
    Roo
    0 references
    HERBY
    0 references
    SPTHEO
    0 references
    Peers-mcd
    0 references
    PARTHENON
    0 references
    METEOR
    0 references
    Aquarius
    0 references
    OTTER
    0 references
    EQP
    0 references
    Bliksem
    0 references
    TPTP
    0 references
    TGTP
    0 references
    PLAGIATOR
    0 references
    SPASS
    0 references
    Octopus
    0 references
    DISCOUNT
    0 references
    OpenAlex ID
    W1998720940
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q861370&oldid=34914577"
    Powered by MediaWiki