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
Daichi Yamamichi - MaRDI portal

Daichi Yamamichi

From MaRDI portal
Person:6159375

Available identifiers

zbMath Open yamamichi.daichiMaRDI QIDQ6159375

List of research outcomes





PublicationDate of PublicationType
An integrated web platform for the Mizar Mathematical Library2023-06-02Paper

Research outcomes over time

This page was built for person: Daichi Yamamichi