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:3838378

Jump to:navigation, search

zbMath0902.68182MaRDI QIDQ3838378

Laurent Vigneron

Publication date: 26 November 1998

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

zbMATH Keywords

theorem proving automated deduction daTac

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Functional Logic Programming in Maude, Rough implication operator based on strong topological rough algebras

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