A.V.基里洛维奇。;O.A.内夫佐罗娃。;英国利帕切夫。 \(\text{OntoMath}^{\text{PRO}}\)2.0本体:形式模型的更新。 (英语) 兹伯利07676589 Lobachevskii J.数学。 43,第12期,3504-3514(2022).MSC公司:68泰克 68伏xx 00轴 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Kirillovich}等人,Lobachevskii J.Math。43,编号12,3504--3514(2022;Zbl 07676589) 全文: 内政部 arXiv公司
Elizarov,A.M。;基里洛维奇。;英国利帕切夫。;O.A.内夫佐罗娃。;索洛维耶夫(V.D.Solovyev)。;Zhiltsov,N.G。 数学知识表示:语义模型和形式。 (英语) Zbl 1323.68472号 Lobachevskii J.数学。 35,第4期,348-354(2014).MSC公司:68立方英尺 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Elizarov}等人,Lobachevskii J.Math。35,第4号,348--354(2014;Zbl 1323.68472) 全文: 内政部 arXiv公司