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

scientific article; zbMATH DE number 1748580

From MaRDI portal

Publication:4530465

Jump to:navigation, search

zbMath0996.03007MaRDI QIDQ4530465

Christoph Kreitz, Brigitte Pientka, Jens Otten, Stephan Schmitt

Publication date: 3 June 2002

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

zbMATH Keywords

matrix methods unification rippling constructive logic connection method constructive theorem proving

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

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