Guiding induction proofs (Q6488528)

From MaRDI portal
scientific article; zbMATH DE number 7680804
Language Label Description Also known as
English
Guiding induction proofs
scientific article; zbMATH DE number 7680804

    Statements

    title
    Guiding induction proofs (English)
    0 references
    author
    Dieter Hutter
    0 references
    publication date
    28 April 2023
    0 references
    cites work
    Q3894958
    0 references
    Q3804239
    0 references
    Q3997104
    0 references

    Identifiers

    zbMATH DE Number
    7680804
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6488528&oldid=38012583"
    Powered by MediaWiki