Automatic proofs and counterexamples for some ortholattice identities (Q293265)

From MaRDI portal
Revision as of 03:10, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Automatic proofs and counterexamples for some ortholattice identities
scientific article

    Statements

    title
    Automatic proofs and counterexamples for some ortholattice identities (English)
    0 references
    author
    William W. McCune
    0 references
    publication date
    9 June 2016
    0 references
    Mathematics Subject Classification ID
    03G12
    0 references
    06C15
    0 references
    68T15
    0 references
    zbMATH DE Number
    6590702
    0 references
    zbMATH Keywords
    automatic theorem proving
    0 references
    ortholattice
    0 references
    quantum logic
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q293265&oldid=12175951"
    Powered by MediaWiki