An equational logic sampler (Q5055725)

From MaRDI portal
scientific article; zbMATH DE number 7631120
Language Label Description Also known as
English
An equational logic sampler
scientific article; zbMATH DE number 7631120

    Statements

    title
    An equational logic sampler (English)
    0 references
    author
    George F. McNulty
    0 references
    publication date
    9 December 2022
    0 references
    Mathematics Subject Classification ID
    03C05
    0 references
    03B35
    0 references
    68Q42
    0 references
    zbMATH DE Number
    7631120
    0 references
    OpenAlex ID
    W1501789649
    0 references
    cites work
    Q3262784
    0 references
    Q3765838
    0 references
    Q3832626
    0 references
    Q5825667
    0 references
    Q3934450
    0 references
    Q5515373
    0 references
    Word problems
    0 references
    Free Modular Lattices
    0 references
    Q3775604
    0 references
    Q5572358
    0 references
    The Logic of Equality
    0 references
    Q3932855
    0 references
    Q3743360
    0 references
    Q3992573
    0 references
    Q3235343
    0 references
    Q5804999
    0 references
    Q3728962
    0 references
    Q3658046
    0 references
    Q5534915
    0 references
    Q5570932
    0 references
    Q3050481
    0 references
    Q3915044
    0 references
    Q4175722
    0 references
    Q4123487
    0 references
    Q5582292
    0 references
    Q3715045
    0 references
    Q3739181
    0 references
    Q5609363
    0 references
    Q4040000
    0 references
    Q3853703
    0 references
    Q4722815
    0 references
    Laws in finite loops
    0 references
    Q3039417
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5055725&oldid=37470870"
    Powered by MediaWiki