@书籍{zbMATH06006588，作者＝｛Lange，Christoph｝，Title={通过语义web集成实现半形式数学知识的协作}，F系列={语义网研究}，系列={Stud.Semant.Web}，ISSN={1868-1158}，体积={11}，ISBN＝{978-1-60750-840-3；978-3-89838-657-9}，年份={2011}，出版商={阿姆斯特丹：IOS出版社；海德堡：Akademische Verlagsgesellschaft AKA}，语言={英语}，关键词={68-02,68T30,68T35}，URL={ebooks.iospress.nl/volume/enabling-collaboration-on-semiformal-mathematical-knowledge-by-semantic-web-integration}，zbMATH={6006588}，Zbl=｛1275.68005｝}