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

scientific article

From MaRDI portal

Publication:3852167

Jump to:navigation, search

zbMath0419.03023MaRDI QIDQ3852167

Richard J. Lipton

Publication date: 1979

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

zbMATH Keywords

consistency fragments of formal arithmetic polynomial time computable predicate

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Subsystems of classical logic (including intuitionistic logic) (03B20) Turing machines and related notions (03D10)

Related Items (2)

Ein Modell des P=NP-Problems mit einer positiven Lösung ⋮ Complex Boolean networks obtained by diagonalization

This page was built for publication:

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