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
Probabilistic checking of proofs - MaRDI portal

Probabilistic checking of proofs (Q3841041)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Probabilistic checking of proofs
scientific article

    Statements

    Probabilistic checking of proofs (English)
    0 references
    0 references
    0 references
    25 October 1998
    0 references
    complexity hierarchies
    0 references
    error-correcting codes
    0 references
    hardness of approximations
    0 references

    Identifiers