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
Extension of deductive query languages using constructions with a restricted universal quantifier - MaRDI portal

Extension of deductive query languages using constructions with a restricted universal quantifier

From MaRDI portal

Publication:1272061

Jump to:navigation, search

zbMath0925.68134MaRDI QIDQ1272061

V. I. Zadorozhnyj

Publication date: 23 November 1998

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55)

This page was built for publication: Extension of deductive query languages using constructions with a restricted universal quantifier

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