No label defined (Q5109521)

From MaRDI portal
Revision as of 15:44, 22 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7199590
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7199590

    Statements

    author
    Łukasz Czajka
    0 references
    publication date
    12 May 2020
    0 references
    describes a project that uses
    CoqHammer
    0 references
    Coq
    0 references
    cites work
    Q4993334
    0 references
    Q3221960
    0 references
    Q4896520
    0 references
    Q5417200
    0 references
    Q4530231
    0 references
    Q5667469
    0 references
    Q5277876
    0 references
    Q4600775
    0 references
    Q2957694
    0 references
    Q4799892
    0 references
    Q4834480
    0 references
    Q4259973
    0 references
    Q3012528
    0 references
    Practical coinduction
    0 references
    Q4101795
    0 references
    Q4808745
    0 references
    Computer Science Logic
    0 references
    Q5389089
    0 references

    Identifiers

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