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

scientific article; zbMATH DE number 2024610

From MaRDI portal

Publication:4443184

Jump to:navigation, search

zbMath1037.03505MaRDI QIDQ4443184

Motohiko Mouri

Publication date: 2001

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

zbMATH Keywords

automated theorem proving proof trees proof searching grammar editor proof editing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Technological tools, calculators (aspects of mathematics education) (97U70)

Related Items (1)

This page was built for publication:

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