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 910748 - MaRDI portal

scientific article; zbMATH DE number 910748

From MaRDI portal

Publication:4885910

Jump to:navigation, search

zbMath0858.03040MaRDI QIDQ4885910

Jan Krajíček

Publication date: 19 March 1997

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

zbMATH Keywords

efficiency bounded arithmetic satisfiability propositional formula P=NP-problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Classical propositional logic (03B05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (1)

Proof complexity in algebraic systems and bounded depth Frege systems with modular counting

This page was built for publication:

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