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
Complexity of Propositional Proofs - MaRDI portal

Complexity of Propositional Proofs (Q3569758)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Complexity of Propositional Proofs
scientific article

    Statements

    title
    Complexity of Propositional Proofs (English)
    0 references
    publication date
    22 June 2010
    0 references
    author
    Alexander Razborov
    0 references

    Identifiers

    zbMATH DE Number
    5724135
    0 references
    OpenAlex ID
    W1676672341
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3569758&oldid=31540346"
    Powered by MediaWiki