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
Comparison of proof sizes in systems and substitution systems of Frege. - MaRDI portal

Comparison of proof sizes in systems and substitution systems of Frege.

From MaRDI portal

Publication:1419870

Jump to:navigation, search

zbMath1033.03034MaRDI QIDQ1419870

A. A. Chubaryan

Publication date: 27 January 2004

Published in: Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences (Search for Journal in Brave)

zbMATH Keywords

proof complexity substitution Frege systems Frege proofs

Mathematics Subject Classification ID

Complexity of proofs (03F20)

This page was built for publication: Comparison of proof sizes in systems and substitution systems of Frege.

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