｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,6]]，“date-time”：“2024-09-06T09:23:15Z”，“timestamp”：1725614595034｝，“publisher location”：“New York，NY，USA”，“reference count”：17，“publisher”：“ACM”，“content domain”：｛“domain”：[“dl.ACM.org”]，“crosmark restriction”：true｝，“short container title”：[]，“published-print”：{“date-parts”：[[2012,5,19]]}，“DOI”：“10.1145\/2213977.2214001”，“type”：“proceedings-article”，“created”：{-“date-parts”：[2012,5,21]]，“date-time”：“2012-05-21T15:20:35Z”，“timestamp”：1337613635000}，”page：“249-268”，“update-policy”：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：1，”title“：[“算术测试和计算的决定论与非决定论”]，“前缀”：“10.1145”，“卷”：“191”，《作者》：[{“给定”：“Mikl\u00f3s”，“家族”：“Ajtai”，“序列”：“第一”，“隶属关系”：[{“名称”：“美国加利福尼亚州圣何塞市IBM Alamden研究中心”}]]，“成员”：“320”，“在线发布”：{“日期段”：[2012年5月19日]]}，“引用”：[me-title“：“计算机算法的设计与分析”，“年份”：“1974年”，“作者”：“Aho V.”，“key”：“e_1_3_2_1_1”，《非结构化》：“.V.Aho，J.e.Hopcroft，J.D.Ullman，计算机算法的设计与分析，Addison-Wesley，1974年……V.Ahon，J.e.Hopcroff，J.D.Ultman，“计算机算法设计与分析：“e_1_3_2_2_1”，“doi-asserted-by”：“publisher”，《doi》：“10.1006\/jcss.2002.1821”}，{“volume-title”：“计算复杂性电子学术讨论会（ECCC），17:28”，“年份”：“2010”，“作者”：“Ajtai M.”。Ajtai，《无加密假设的遗忘$RAM$s》，计算复杂性电子学术讨论会（ECCC），17:282010。M.Ajtai，《不带密码假设的遗忘$RAM$s》，计算复杂性电子座谈会（ECCC），17:282010。“年份”：“1998年”，“作者”：“Artin E.”，“密钥”：“E_1_3_2_2_6_1”，“非结构化”：“E.Artin。伽罗瓦理论，多佛出版社，1998年。（1944年第二次修订版再版，圣母大学出版社）。E.阿廷。伽罗瓦理论，多佛出版社，1998年。（重印1944年第二修订版，圣母大学出版社）。“}，{”key“：”e_1_3_2_2_7_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1137\/0215070”}，“key”：“e_1_ 3_2_8_1”，“doi-assert-by”：“publisher”，”doi“：”10.1006\/jcss.2001.1778“}”，{，{“key”：“e_1_3_2_2_10_1”，“doi-asserted-by”：“publisher”，”doi“：“10.2307\/1970289”}，{”volume-title“：”ICALP 2001:104--114“，“作者”：“Hesse W.”，“key”：“e_1_3_2_11_1”，“非结构化”：“W.Hesse，Division is in Uniform$TC^0$，ICALP 2001：104--114。W.Hesse，Division is in Uniform$TC^0$，ICALP 2001:104--114。“}，{”volume-title“：”Differential Galois theory，Notices of the American Mathematical Society 46（9）“，”year“：”1999“，”author“：”Magid A.“，”key“：”e_1_3_2_12_1“，”unstructured“：。Magid，Differential Galois theory，Notices of the American Mathematical Society 46（9）：1999.“}，{”key“：”e_1_3_2_2_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1006\/jcss.1999.1671”}，“key”：“e_1_ 3_2_14_1”，“first page”：”279“，”article-title“：”Matijasevic，Enumerable set are diophantine“，”volume“191”，”author“：”Ju.“，“year”：“1970”“，”非结构化“：”据。五、。Matijasevic，可枚举集合是diophantine，Dokl。阿卡德。Nauk SSSR 191（1970），279--282。英语翻译：苏联数学。Doklady11（1970），354--358。据。V.Matijasevic，可枚举集是diophantine，Dokl。阿卡德。Nauk SSSR 191（1970），279--282。英语翻译：苏联数学。Doklady11（1970），354--358。”，“新闻标题”：“Dokl。阿卡德。Nauk SSSR“｝，｛“key”：“e_1_3_2_15_1”，“doi断言”：“publisher”，“doi”：“10.1109\/SFCS.1983.39”｝，｛“volume title”：“Studies in Logic and the Foundations of Mathematics”，“year”：“1987”，“key”：“e_1_3_2_16_1”，“nonstructured”：“Takeuti，《证明理论》，北荷兰，《逻辑与数学基础研究》，第81卷，第二版，1987年。Takeuti，证明理论，North-Holland，《逻辑学和数学基础研究》，第81卷，第二版，1987年SIGACT ACM算法和计算理论特别兴趣小组“]，“location”：“New York New Yorks USA”，“缩写词”：“STOC'12”}，“container-title”：[“第四十四届ACM计算理论年会论文集”]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/22113977.2214001”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,1,6]]，”date-time“：”2023-01-06T02:59:52Z“，”timestamp“：1672973992000}，”score“：1，”resource“：{primary“：”{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/22113977.2214001”}}，“substitle”：[“extended abstract”]，“短标题”：[]，“已发布”：{“date-parts“：[[2012,5,19]]}，”references-count“：17，”alternative-id“：[”10.1145\/2213977.2214001“，”10.1145\/2213977“]，”URL“：”http://\/dx.doi.org\/10.1145\/22113977.221400“，”relationship“：{}，“subject”：[]，”published“：{”date-part“：[2012,5,19]}”，”assertion“：[{”value“：”2012-05-19“，”order“：2，“name”：“published”，“label”：“published”，“group”：{“name”publication_history“，”label“：”出版物历史“}}]}}