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
scientific article; zbMATH DE number 7046725 - MaRDI portal

scientific article; zbMATH DE number 7046725

From MaRDI portal

Publication:4630802

Jump to:navigation, search

zbMath1419.03052MaRDI QIDQ4630802

Jan Krajíček

Publication date: 23 April 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity of proofs (03F20)

Related Items (2)

Towards NP-P via proof complexity and search ⋮ ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4630802&oldid=18810513"