Knowledge-based proof planning (Q1978469)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Knowledge-based proof planning
scientific article

    Statements

    title
    Knowledge-based proof planning (English)
    0 references
    author
    Erica Melis
    0 references
    Jörg H. Siekmann
    0 references
    publication date
    4 June 2000
    0 references
    zbMATH DE Number
    1454255
    0 references
    zbMATH Keywords
    theorem proving
    0 references
    planning
    0 references
    automated proof planning
    0 references
    meta-level reasoning
    0 references
    integrating constraint solvers
    0 references
    describes a project that uses
    OTTER
    0 references
    EQP
    0 references
    Waldmeister
    0 references
    Prodigy
    0 references
    Bliksem
    0 references
    SETHEO
    0 references
    Nuprl
    0 references
    Analytica
    0 references
    Theorema
    0 references
    SPASS
    0 references
    LCF
    0 references
    PROTEIN
    0 references
    Omega-MKRP
    0 references
    cites work
    Q3880316
    0 references
    Q4227289
    0 references
    Q3957169
    0 references
    Q4217949
    0 references
    Q3352532
    0 references
    Q3804239
    0 references
    Q3723721
    0 references
    Q4247688
    0 references
    Q4385443
    0 references
    Q4499153
    0 references
    Q5843404
    0 references
    Q4282537
    0 references
    Q3490996
    0 references
    Q5525322
    0 references
    Q3915990
    0 references
    Q4139711
    0 references
    Q3940021
    0 references
    Q4692751
    0 references
    Q2767093
    0 references
    Q4499154
    0 references
    Q5839903
    0 references
    Q5559220
    0 references
    Q4530470
    0 references
    Q3801492
    0 references
    Q5560258
    0 references
    Q4385449
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1978469&oldid=34243977"
    Powered by MediaWiki