Experiments with proof plans for induction (Q809617)

From MaRDI portal
Revision as of 03:08, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an 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=22987525"
    Powered by MediaWiki