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
Resolution over linear equations modulo two - MaRDI portal

Resolution over linear equations modulo two (Q2334112)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Resolution over linear equations modulo two
scientific article

    Statements

    title
    Resolution over linear equations modulo two (English)
    0 references
    author
    Dmitry Sokolov
    0 references
    Dmitry Itsykson
    0 references
    publication date
    6 November 2019
    0 references
    zbMATH Keywords
    resolution
    0 references
    proof system
    0 references
    lower bound
    0 references
    parity
    0 references
    pigeonhole principle
    0 references
    cites work
    Q5715680
    0 references
    Q5624436
    0 references
    Q4952609
    0 references
    Q5593816
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F20
    0 references
    03F03
    0 references
    03D15
    0 references
    68Q17
    0 references
    zbMATH DE Number
    7127339
    0 references
    OpenAlex ID
    W2969535762
    0 references
    Wikidata QID
    Q127350938
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2334112&oldid=37458475"
    Powered by MediaWiki