Productive use of failure in inductive proof (Q1915134)

From MaRDI portal
Revision as of 06:13, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Productive use of failure in inductive proof
scientific article

    Statements

    title
    Productive use of failure in inductive proof (English)
    0 references
    DOI
    10.1007/BF00244460
    0 references
    author
    Andrew Ireland
    0 references
    Alan Bundy
    0 references
    publication date
    11 June 1996
    0 references
    zbMATH DE Number
    887165
    0 references
    zbMATH Keywords
    mathematical induction
    0 references
    rippling
    0 references
    inductive reasoning
    0 references
    describes a project that uses
    CLAM
    0 references
    LCF
    0 references
    Oyster
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1915134&oldid=26590470"
    Powered by MediaWiki