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

scientific article; zbMATH DE number 1555187

From MaRDI portal

Publication:4525287

Jump to:navigation, search

zbMath0953.03527MaRDI QIDQ4525287

No author found.

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Logic programming (68N17)

Related Items (2)

Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ Thue trees

This page was built for publication:

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