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
On the practical value of Herbrand disjunctions - MaRDI portal

On the practical value of Herbrand disjunctions

From MaRDI portal

Publication:3149221

Jump to:navigation, search

DOI10.12775/LLP.2000.009zbMath1005.03014MaRDI QIDQ3149221

Uwe Petermann

Publication date: 25 February 2003

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

automatic theorem proving normal form transformations Herbrand disjunctions heterogeneous theories open theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

On two classical results in the first order logic

This page was built for publication: On the practical value of Herbrand disjunctions

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