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

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

Open source

DOI
10.1134/s1995080222150136
Published
2022-12
Container
Lobachevskii Journal of Mathematics
Publisher
Pleiades Publishing Ltd
Open access
unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.1134/s1995080222150136,
  title = {OntoMath\$\$\{\}\textasciicircum{}\{\textbackslash{}mathbf\{PRO\}\}\$\$ 2.0 Ontology: Updates of Formal Model},
  author = {A. V. Kirillovich and O. A. Nevzorova and E. K. Lipachev},
  year = {2022},
  journal = {Lobachevskii Journal of Mathematics},
  doi = {10.1134/s1995080222150136},
  url = {https://doi.org/10.1134/s1995080222150136}
}

RIS

TY  - JOUR
TI  - OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model
AU  - A. V. Kirillovich
AU  - O. A. Nevzorova
AU  - E. K. Lipachev
PY  - 2022
JO  - Lobachevskii Journal of Mathematics
DO  - 10.1134/s1995080222150136
UR  - https://doi.org/10.1134/s1995080222150136
ER  - 

APA

Kirillovich, A. V., Nevzorova, O. A., & Lipachev, E. K. (2022). OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model. Lobachevskii Journal of Mathematics. https://doi.org/10.1134/s1995080222150136

Source records