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
Uniform Substitution At One Fell Swoop - MaRDI portal

Uniform Substitution At One Fell Swoop

From MaRDI portal

Publication:6314299

Jump to:navigation, search

DOI10.1007/978-3-030-29436-6_25arXiv1902.07230MaRDI QIDQ6314299

André Platzer

Publication date: 19 February 2019

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Uniform Substitution At One Fell Swoop

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