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

scientific article; zbMATH DE number 3534464

From MaRDI portal

Publication:4110979

Jump to:navigation, search

zbMath0343.02013MaRDI QIDQ4110979

Helena Rasiowa

Publication date: 1975

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

Mathematics Subject Classification ID

Many-valued logic (03B50) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01) General logic (03B99)

Related Items (1)

Expressing program looping in regular dynamic logic

This page was built for publication:

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