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:3140632

Jump to:navigation, search

zbMath0806.03038MaRDI QIDQ3140632

Maria Luisa Bonet

Publication date: 28 November 1993

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

zbMATH Keywords

Frege systems deduction rule quadratic speedup

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items (5)

Some remarks on lengths of propositional proofs ⋮ Logical Closure Properties of Propositional Proof Systems ⋮ The deduction theorem for strong propositional proof systems ⋮ The Deduction Theorem for Strong Propositional Proof Systems ⋮ On the correspondence between arithmetic theories and propositional proof systems – a survey

This page was built for publication:

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