Searching for circles of pure proofs (Q1904397)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Searching for circles of pure proofs
scientific article

    Statements

    title
    Searching for circles of pure proofs (English)
    0 references
    author
    Larry Wos
    0 references
    publication date
    20 December 1995
    0 references
    zbMATH Keywords
    automated reasoning
    0 references
    pure proofs
    0 references

    Identifiers

    DOI
    10.1007/BF00881802
    0 references
    zbMATH DE Number
    828191
    0 references
    Wikidata QID
    Q114267040
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1904397&oldid=34153739"
    Powered by MediaWiki