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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3745321

Jump to:navigation, search

zbMath0606.68087MaRDI QIDQ3745321

No author found.

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

least fixpoint semantics locality of definition problem skylight theorem successful derivations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Extending Horn clause logic with implication goals ⋮ A logico-algebraic approach to the model theory of knowledge

This page was built for publication:

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