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 1538057 - MaRDI portal

scientific article; zbMATH DE number 1538057

From MaRDI portal

Publication:4518914

Jump to:navigation, search

zbMath0961.03015MaRDI QIDQ4518914

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Publication date: 11 March 2001

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

zbMATH Keywords

experimental evaluation SAT-based decision procedures classical modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Uses Software

SATO

This page was built for publication:

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