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
OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model - MaRDI portal

OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model

From MaRDI portal

Publication:6430657

Jump to:navigation, search

DOI10.1134/S1995080222150136arXiv2303.13542MaRDI QIDQ6430657

O. A. Nevzorova, Alexander Kirillovich, E. K. Lipachev

Publication date: 17 March 2023

Mathematics Subject Classification ID

Artificial intelligence (68Txx) General and miscellaneous specific topics (00Axx) Computer science support for mathematical research and practice (68Vxx)

This page was built for publication: OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model

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