{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,5]]，“日期-时间”：“2024-04-05T05:21:00Z”，“时间戳”：1712294460091}，“参考-计数”：12，“出版商”：“Springer Science and Business Media LLC”“1991-03-01T00:00:00Z”，“timestamp”：667785600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”AAECC“]，”published-print“：{”date-parts“：[[1991,3]]}”，“DOI”：“10.1007\/bf01810850”，“type”：“”journal-article“，”created“：{”date-parts“：[2005,6,27]]，“date-time”：“2005-06-27T17:54:17Z”，“timestamp”：1119894857000}，“page”：“1-14”，“source”：”Crossref“，”is-referenced-by-count“：18，“title”：[“半代数几何中的有效\u0141ojasiewicz不等式”]，“前缀”：“10.1007”，“卷”：“2”，“作者”：[{“给定的”：“巴勃罗”，“家族”：“Solern\u00f3”，“序列”：“first”，“从属关系”：[]}]，“成员”：“297”，“reference”：[{“key”：“BF01810850_CR1”，“volume-title”：“G\u00e9om\u00e_9trie-alg\u00e 9brique r\u00e9 elle”，“author”：“J.Bochnak”，“year”：“1987”，“unstructured”：“Bochnack，J.，Coste，M.，Roy，M-F.：G\u00 e9om\ u00 e9 trie-alg \u00 E9 brique r \u00E9 elle。柏林，海德堡，纽约：斯普林格1987”}，{“key”“：”BF01810850_CR2“，”首页“：”134“，”卷标签“：“通过圆柱代数分解消除实闭域的量词。第二届GI自动理论和形式语言会议。计算机科学第33卷讲义”，“作者”：“G.Collins”，“年份”：“1975年”，“非结构化”：“Collins，G.：通过圆柱代数分解消除实闭域的量词。第二届GI自动理论和形式语言会议。计算机科学第33卷讲稿。第134\u2013183页。柏林，海德堡，纽约：Springer 1975“}，{“key”：“BF01810850_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Fitchas，N.，Galligo，A.：Nullstellensatz effective et Conjecture de Serre（Th\u00e9 or \u00e8me de Quillen \u2014Suslin）pour le Calcul Formel.Mathematische Nachrichten（to presen）”，“doi”：“10.1002”//mana.19901490118“}”，{”key“：“”BF01810850_CR4“，“首页”：“103”，“卷”：“I”，“作者”：“N.Fitchas”，“年份”：“1990”，“非结构化”：“Fitchas，N.，Galligo，A.，Morgenstern，J.：Algorithmes rapides en s\u00e9quentiel et en parall\u00e8le pour l’\u00e 9limination des quanticateurs en g\u00e9om\u00o9trie\u00e9 l\u00e\u9ementaire。出版物。数学。巴黎第七大学。S\u00e9米。结构。藻类。法令'84\u2013'87卷I，103\u2013145（1990）“，“期刊标题”：“Publ。数学。巴黎第七大学。S\u00e9米。结构。藻类。订单'84\u2013'87“}，{“key”：“BF01810850_CR5”，“首页”：“93”，“卷标”：“Proc.13.Conf.MFCS.计算机科学讲义，第233卷”，“作者”：“J.Gathern von zur”，“年份”：“1986”，“非结构化”：“von zure Gather，J.：并行算术计算：调查。Proc.13.Conf。MFCS公司。计算机科学课堂讲稿，第233卷，第93页\u2013112。柏林，海德堡，纽约：Springer 1986“}，{“key”：“BF01810850_CR6”，“doi-asserted-by”：“crossref”，“first page”：”65“，”doi“：”10.1016\/S0747-7171（88）80006-3“，”volume“：”5“，”author“：”D.Grigor’ev“，”year“1988”，“unstructured”：“Grigor‘ev，D.：决定Tarski代数的复杂性。J.Sumb.Comput.5，65\u2013108（1988）“，”journal-title“：”J。萨姆布。计算。“}，{”key“：”BF01810850_CR7“，”首页“：”825“，”volume“：“309”，”author“：”J.Heintz“，”year“：”1989“，”unstructured“：”Heintz，J.，Roy，M.-F，Solern\u00f3，P.：Complexit\u00e9 du principe de Tarski\u2014Seidenberg.Comtes\u2014Rendus de l'Acad\u00e9mie des Sciences Pariss309，825\u2013830（1989）“，”journal title“：”Comptes\u2014Rendus de l'Acad\u00e9mie des Sciences Paris“}，{“key”：“BF01810850_CR8”，“doi-asserted-by”：“crossref”，“first page”：”101“，“doi”：“10.24033”/bsmf.2138“，”volume“：”118“，“author”：“J.Heintz”，“year”：“1990”，“unstructured”：“Heintz，J.，Roy，M-F.，Solern\u00f3，P.：Sur la complexit\u00e9 du principle de Tar ski\u2014Seidenberg.公牛队Soc。数学。France118，101\u2013126（1990）“，“新闻标题”：“公牛。社会数学。法国“}，{“key”：“BF01810850_CR9”，“unstructured”：“Ji，S.，Koll\u00e1r，J.，Shiffman，B.：代数变种的全局\u0141ojasiewicz不等式。Trans.A.M.S.（待出现）”}，“key“：”BF01810.850_CR10“，“首页”：“172”，“卷标”：“Proc.EUROSAM 84.，Cambridge，England。Comp.Sci.Vol.174中的讲义”，“作者”：“H.M\u00f6ller”，“年份“：”1984年”，“非结构化”：“M\u00f6ller，H.，Mora，F.：Gr\u00f6ebner基阶的上下限。程序。EUROSAM 84，英国剑桥。Comp.课程讲稿。科学。第174卷。第172\u2013183页。柏林，海德堡，纽约：Springer 1984“}，{“key”：“BF01810850_CR11”，“unstructured”：“Renegar，J.：关于实相一阶理论的计算复杂性和几何学。技术报告第856卷，康奈尔大学伊萨卡分校（1989）”}，}“key:”BF01810.850_CR12“，”doi-asserted-by“：”crossref“，”first page“：”138“，“doi”：“10.1007 \/3-540-07805-3_10“，“volume-title”：“Komplexit\u00e4t von Entscheidungsproblemen，Comp课堂讲稿。科学。第43卷，“作者”：“H.W\u00fchrich”，“年份”：“1976年”，“非结构化”：“W\u00 fchricH，H.：Ein Entscheidungsverfahren f\u00fc r die Theorye der relel-abgeschlossennen K\u00f6rper。Komplexit\u00e4t von Entscheidungsproblemen，《公司讲义》。科学。第43卷。第138\u2013162页。柏林，海德堡，纽约：Springer 1976“}]，“container-title”：[“工程、通信和计算中的应用代数”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/BF01810850.pdf”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL“：”http://\/link.springer.com/article\/10.1007\/BF01810850\/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：“http://\/lindex.springer\com/content\/pdf\/10.10007\/BF001810850”，“content-type:”unspecified“，”内容-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,10]]，“date-time”：“2019-05-10T09:55:29Z”，“timestamp”：1557482129000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\link.springer.com\/10.1007\/BF01810850“}}，”副标题“：[]，”短标题“：[]，”已发布“：{“date-ports”：[1991,3]]}，‘references-count’：12，“journal-count”问题“：{”问题“：“1”，“published-print”：{“date-parts”：[[1991,3]]}}，“alternative-id”：[“BF01810850”]，“URL”：“http://\/dx.doi.org\/10.1007\/bf01810805”，“relationship”：{}，“ISSN”：[”0938-1279“，”1432-0622“]，“ISSN-type”：[{“value”：“0938-1279'，”type“：”print“}，{“value”：“1432-0662”，“type”“：”electronic“}]，“subject”：【】，“published”：{“date-parts”：【199】1,3]]}}