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; zbMATH DE number 1301759 - MaRDI portal

scientific article; zbMATH DE number 1301759

From MaRDI portal

Publication:4246974

Jump to:navigation, search

zbMath0935.03018MaRDI QIDQ4246974

Beata Konikowska, Stéphane P. Demri

Publication date: 5 October 1999

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

zbMATH Keywords

decidability satisfiability problem finite model property incomplete information decidable fragments relative similarity logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Three-Valued Logic for Reasoning about Covering-Based Rough Sets

This page was built for publication:

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