Experiments with proof plans for induction (Q809617)

From MaRDI portal
Revision as of 12:05, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Experiments with proof plans for induction
scientific article

    Statements

    title
    Experiments with proof plans for induction (English)
    0 references
    DOI
    10.1007/BF00249016
    0 references
    author
    Alan Bundy
    0 references
    Frank van Harmelen
    0 references
    Jane Hesketh
    0 references
    Alan Smaill
    0 references
    publication date
    1991
    0 references
    zbMATH DE Number
    4213477
    0 references
    zbMATH Keywords
    program synthesis
    0 references
    proof plans
    0 references
    combinatorial explosion
    0 references
    theorem proving
    0 references
    mathematical induction
    0 references
    tactics
    0 references
    Searching
    0 references
    planning
    0 references
    Wikidata QID
    Q56840274
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q809617&oldid=12740757"
    Powered by MediaWiki