{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,2,1]]，“日期-时间”：“2024-02-01T11:11:50Z”，“时间戳”：1706785910803}，“参考-计数”：32，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3”，“许可证”：[{“开始”：{-“日期-零件”：[2012,5,24]]，”日期-时间“：“2012-05-24T00:00:00Z”，“时间戳”：1337817600000｝，“内容版本”：“tdm”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“Math.Comput.Sci.”]，“已发布的印刷品”：｛“日期部分”：[[2012,9]]｝，“DOI”：“10.1007\/s1786-012-2113-x”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2012,5,23]]，“日期-时间”：“2012-05-23T13:59:20Z”，“时间戳”：1337781560000}，“页面”：“235-260”，“源”：“Crossref”，“is-referenced-by-count”：9，“标题”：[“OpenPath和MathML3的语义”]，“前缀”：“10.1007”，《卷》：“6”，“作者”：[{“给定”：“迈克尔”，“家族”：“科尔哈斯”，“序列”：“第一”，“从属关系”：[]}，{“given”：“Florian”，“family”：“Rabe”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2012,5,24]]}，“reference”：[{“key”：“113_CR1”，“unstructured”：“Ausbrooks，R.、Buswell，S.、Carlisle，D.、Dalmas，S.，Devitt，S.和Diaz，A.、Froumentin，M.和Hunter，R.，Ion，P.、Kohlhase，M.、Miner，R.和Poppelier，N.，Smith，B.、Soiffer，N.、Sutor，R.与Watt，S.：数学标记语言（MathML）2.0版，第二版。W3C建议。万维网联盟（W3C）（2003）”}，{“key”：“113_CR2”，“非结构化”：“Ausbrooks，R.，Buswell，S.，Carlisle，D.，Chavchanidze，G.，Dalmas，S.，Devitt，S.，Diaz，A.，Dooley，S.，Hunter，R.，Ion，P.，Kohlhase，M.，Lazrek，A.，Libbrecht，P.，Miller，B.，Miner，R.，Sargent，M.，Smith，B.，Soiffer，N.，Sutor，R.，Watt，S.：数学标记语言（MathML）3.0版。W3C建议。万维网联盟（W3C）（2010）“}，{“key”：“113_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Abbott，J.，van Leeuwen，A.，Strotmann，A.：Openmath:在知识网络中合作代理之间传递数学信息。J.Intell.Syst.8（1998）”，“doi”：“10.1515\/JISYS.1998.8.3-4.401”}，}“key:”113_CR4“，”doi-assert-by“：”crossref“，”first-page“：”1027“，”DOI“：”10.2178 \/jsl \/1102022211“，”volume“：”69“，”author“：”C.Benzm\u00fcller“，”year“：”2004“，”unstructured“：”Benzm\ u00fcler C.，Brown C.，Kohlhase M.：高阶语义和扩展性。J.塞姆。逻辑69，1027\u20131088（2004）“，“新闻标题”：“J.Symb。Logic“}，{”key“：”113_CR5“，”unstructured“：”Buswell，S.，Caprotti，O.，Carlisle，D.P.，Dewar，M.C.，Ga\u00ebtano，M.，Kohlhase，M.：开放数学标准，2.0版。技术报告，OpenMath Society（2004）“}，{“key”：“113_CR6”，“volume-title”：“Model-Theoretic Logics”，“year”：“1985”，“unstructured”：“Barwise，J.，Feferman，S.（eds.）：Model-Theory Logics.Springer，Berlin（1985）”}Caprotti，O.，Cohen，A.：OpenMath的类型系统。技术报告，Esprit Project OpenMath（1998）“}，{“key”：“113_CR8”，“unstructured”：“arith1。Openmath内容字典。The OpenMath Society（2004）“｝，｛”键“：”113_CR9“，”非结构化“：”逻辑1。Openmath内容字典。OpenMath Society（2004）“}，{”key“：”113_CR10“，”unstructured“：”quant1“。Openmath内容字典。OpenMath Society（2004）“}，{”key“：”113_CR11“，”unstructured“：”relation1“。Openmath内容字典。OpenMath Society（2004）“}，{”key“：”113_CR12“，”unstructured“：”sdata1“。Openmath内容字典。OpenMath Society（2004）“}，{“key”：“113_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Codescu，M.，Horozal，F.，Kohlhase，M.、Mossakowski，T.，Rabe，F.：项目摘要：逻辑地图集和积分器（拉丁语）。收录：Davenport，J.，Farmer，W.，Rabe。F.，Urban，J.（编辑）：智能计算机数学。LNAI，第6824卷，第289\u2013291页。Springer，Berlin（2011）“，”DOI“：”10.1007\/978-3642-22673-1_24“}，{”issue“：”1“，”key“：”113_CR14“，”DOI-asserted-by“：”crossref“，”first page“：“56”，“DOI”：“10.2307\/2266170”，“volume”：“5”，“author”：“A.Church”，“year”：“1940”，“unstructured”：“Church A.：简单类型理论的表述。J.Symb.Logic 5（1），56\u201368（1940）“，”新闻标题“：”J。符号。逻辑“}，{“key”：“113_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Davenport，J.H.：一个小型OpenPath类型的系统。技术报告，The OpenPath Esprit Project（1999）”，“doi”：“10.1145\/362001.362014”}，“key“：”113_CR16：智能计算机数学。收录于：LNAI，第6824卷。柏林施普林格（2011）“，“DOI”：“10.1007\/978-3-642-22673-1”}，{“key”：“113_CR17”，“unstructured”：“Fraenkel，A.A.：Der Begriff\u201cdefinit\u201d und und Unabh\u00e4ngigkeit des Auswahlsaxioms。Sitzungsberichte Der Preussischen Akademie Der Wissenschaften，Physikalisch-mathematische Klasse，1922。转载：Fraenkel，A.A.：定义的概念和选择公理的独立性。《科学史丛书》，第284\u2013289页。哈佛大学出版社，剑桥，第三版，1997年版（1967）“}，{“key”：“113_CR18”，“unstructured”：“Fraenkel，A.A.：\u201cdefinite\u201d的概念和选择公理的独立性。科学史丛书，第284页\u2013289。哈佛大学出版社，剑桥，第三版，1997年版（1967）“}，{“key”：“113_CR19”，“unstructured”：“Kohlhase，M.，Mossakowski，T.，Rabe，F.：拉丁语：逻辑图谱和积分器。http://\/Latin.omdoc.org”}，}“key:”113_CR20“，”doi-asserted-by“：”crossref“，”unstructure“：”Kohlhase，M.:OMDoc\u2014数学文档的开放标记格式，1.2版。收录于：LNAI，第4180卷。Springer，Berlin，2006年8月“，“DOI”：“10.1007\/11826095”}，{“key”：“113_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kohlhase，M.，Rabe，F.，Coen，C.S.：关于集成问题的基本观点。摘自：Davenport，J.，Farmer，W.，Rabe。F.，Urban，J.（编辑）Intelligent Computer Mathematics。LNAI，vol.6824，pp.107\u2013122。Springer，Berlin（2011）“，“DOI”：“10.1007\/978-3-642-22673-1_8”}，{“key”：“113_CR22”，“volume-title”：“高阶范畴逻辑导论。剑桥高等数学研究，第7卷”，“作者”：“J.Lambek”，“年份”：“1986”，“非结构化”：“Lambek J.，Scott P.：高阶范畴逻辑导论。剑桥高等数学研究，第7卷。剑桥大学出版社，剑桥（1986）“}，{”key“：”113_CR23“，”unstructured“：”OpenPath content dictionarys.http://www.OpenMath.org\/cd\/.Accessed June 2008“}”，{“key”：“113_CR24”，“unstructure”：“Rabe，F.：表示逻辑和逻辑翻译。博士论文，雅各布斯大学不来梅分校（2008）Rabe，F.，Kohlhase，M.：模块化知识的交换形式。摘自：Sutcliffe，G.，Rudnicki，P.，Schmidt，R.，Konev，B.，Schulz，S.（eds.）《LPAR研讨会论文集：知识交换：自动验证仪和证明助理》和《第七届逻辑实现国际研讨会》，CEUR研讨会论文集第418期，第50\u201368页，亚琛，2008年》}，{“key”：“113_CR26”，“非结构化”：“Rabe，F.、Kohlhase，M.：OpenMath的更好角色系统。收录于：Davenport，J.H.（编辑）第22届OpenMath研讨会，2009年7月“}，{“key”：“113_CR27”，“unstructured”：“Rabe，F.，Kohlhase，M.：可扩展模块系统。Inf.Compute.（2011年提交）”}，}，“key“：”113_CR28“，”unstructure“：”Robinson，A.：关于符号逻辑在代数中的应用。摘自：《国际数学家大会论文集》，第686\u2013694页。美国数学学会（1950）“}，{”key“：”113_CR29“，”doi-asserted-by“：”crossref“，”unstructured“：”Strotmann，A.：开放数学对象的分类类型。收录于：Asperti，A.，Bancerek，G.，Trybulec，A.（编辑）《数学知识管理》，MKM\u201904。LNAI，第3119卷，第378\u2013392页。Springer，Berlin（2004）“，“DOI”：“10.1007\/978-3-540-27818-4_27”}，{“key”：“113_CR30”，“首页”：“81”，“卷”：“13”，“作者”：“A.Tarski”，“年份”：“1956”，“非结构化”：“Tarski A.，Vaught R.：关系系统的算术扩展。Compos.Math.13，81\u2013102（1956）”，“日志标题”：“Compos.Math.”}，“卷时间”：“数学原理”，“作者”：“A.怀特海”，“年份”：“1913年”，“非结构化”：“怀特海A.，罗素B.：数学原理”。剑桥大学出版社，剑桥（1913）“}，{”key“：”113_CR32“，”doi-asserted-by“：”crossref“，”unstructured“：”Zermelo，E.：“Untersuchungen ber die Grundlagen der Mengenlehre I.Math.Ann.65，261\u2013281（1908）。英文标题：集合论基础研究I“，”doi“：”10.1007\/BF01449999“}]，”container-title“：[”计算机科学中的数学“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s11786-012-0113-x.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“http://\/lindex.com\/article\/10007\/s1176-012-0113-x\/fulltext”。html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s11786-012-0113-x”，“content-type:”unspecified“，”content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,1,16]]，“date-time”：“2022-01-16T0T0 4:05:26Z“，”时间戳”：1642305926000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/s1786-012-01113-x”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2012,5,24]}，“引用次数”：32，“期刊发行”：｛“发行”：“3”，“已发布的印刷品”：｛“日期部分”：[[2012,9]]}｝，“替代id”：[“113”]，“URL“：”http:\/\/dx.doi.org\/10.1007\/s11786-012-0113-x“，”关系“：{}，”ISSN“：[”1661-8270“，”1661-8889“]，”ISSN-type“：[{”value“：”1661-H270“，“type”：“print”}，{”value“：”661-8289“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2012,5,24]]}}}}