Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On weakly associative lattices and near lattices - MaRDI portal

On weakly associative lattices and near lattices (Q2119547)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On weakly associative lattices and near lattices
scientific article

    Statements

    title
    On weakly associative lattices and near lattices (English)
    0 references
    author
    Damian Sawicki
    0 references
    Adam Grabowski
    0 references
    publication date
    29 March 2022
    0 references
    zbMATH Keywords
    weakly associative lattice
    0 references
    near lattice
    0 references
    describes a project that uses
    Mace4
    0 references
    Mizar
    0 references
    Prover9
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68V20
    0 references
    06B05
    0 references
    06B75
    0 references
    68V15
    0 references
    zbMATH DE Number
    7499757
    0 references
    OpenAlex ID
    W4206606501
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2119547&oldid=38889390"
    Powered by MediaWiki