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

Jump to:navigation, search

zbMath1053.03506MaRDI QIDQ3155802

M. F. Ratsa

Publication date: 18 January 2005

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

zbMATH Keywords

undecidability expressibility free diagonalizable algebra

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (1)

A note on the expressibility problem for modal logics and star-free regular expressions

This page was built for publication:

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