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

scientific article; zbMATH DE number 7015109

From MaRDI portal

Publication:4619815

Jump to:navigation, search

zbMath1404.03013MaRDI QIDQ4619815

Jörg H. Siekmann

Publication date: 7 February 2019

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

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) History of mathematical logic and foundations (03-03)

This page was built for publication:

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