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

scientific article; zbMATH DE number 7594101

From MaRDI portal

Publication:5869521

Jump to:navigation, search

MaRDI QIDQ5869521

Philippe Balbiani, Tinko Tinchev

Publication date: 28 September 2022

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

zbMATH Keywords

most general unifier unification type projective formula elementary unification modal logic \(KD45\)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)

This page was built for publication:

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