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
What holds in a context? - MaRDI portal

What holds in a context?

From MaRDI portal

Publication:1312161

Jump to:navigation, search

DOI10.1007/BF00881865zbMath0790.03012MaRDI QIDQ1312161

Publication date: 19 January 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

rewriting typed lambda calculus interactive theorem proving higher order logic context sensitive substitution

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Uses Software

TPS

Cites Work

This page was built for publication: What holds in a context?

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

Pages with script errors