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
The inference problem for template dependencies - MaRDI portal

The inference problem for template dependencies

From MaRDI portal

Publication:3340200

Jump to:navigation, search

DOI10.1016/S0019-9958(82)90420-XzbMath0548.68095WikidataQ114656783 ScholiaQ114656783MaRDI QIDQ3340200

Harry R. Lewis, Yuri Gurevich

Publication date: 1982

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

undecidability relational database inference problem formalized integrity constraint template dependency

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Information storage and retrieval of data (68P20)

Related Items

Database Theory, Yuri, and Me

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