{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T18:22:52Z”，“时间戳”：1649010172668}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型”：“打印”}，{“值”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_19”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，4,28]]，“date-time”：“2011-04-28T04:54:38Z”，“timestamp”：1303966478000}，”page“：”176-186“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“Kahr-Moore-Wang类中的不可测试属性“]，”前缀“：”10.1007“，”作者“：[{”给定“：“Charles”，“family”：“Jordan”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Thomas”，“family”：“Zeugmann”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“19_CR1”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“首页”：“394”，“doi”：“10.1007\/978-3-642-15369-3_30”，“卷标题”：“近似、随机化和组合优化。算法与技术”，“作者”：“N.Alon”，“年份”：“2010”，“非结构化”：“Alon，N.，Blais，E.：测试布尔函数同构。In：Serna，M.，Shaltiel，R.，Jansen，K.，Rolim，J.（编辑）APPROX 2010，LNCS，vol.\u00a06302，pp.394\u2013405。Springer，Heidelberg（2010）“}，{”issue“：”4“，”key“：”19_CR2“，”doi-asserted-by“：”publisher“，”first page“：“451”，”doi“：”10.1007“，“volume”：“20”，“author”：“N.Alon”，“year”：“2000”，“unstructured”：“Alon，N.，Fischer，E.，Krivelich，M.，Szegedy，M.：大型图的高效测试。组合数学\u00a020（4），451 \u2013476（2000）“，”journal-title“：”Combinatorica“}，{”issue“：”6“，”key“：”19_CR3“，”doi-asserted-by“：”publisher“，”first page“：“1842”，“doi”：“10.1137\/S0097539700366528”，“volume”：“30”，“author”：“N.Alon”，“year”：“2001”，“unstructured”：“Alon，N.，Krivelich，M.，Newman，I.，Szegedy，M.：常规语言可以通过恒定数量的查询进行测试。SIAM J。计算。\u00a030（6），1842\u20131862（2001）“，“新闻标题”：“SIAM J.Compute。“}，{”issue“：“3”，”key“：“19_CR4”，”doi-asserted-by“：”publisher“，”first page“：”549“，”doi“：”10.1016\/0022-0000（93）90044-W“，”volume“:”47“，”author“：”M.Blum“，”year“：”1993“，”unstructured“：”Blum，M.，Luby，M.Rubinfeld，R.：使用应用程序对数值问题进行自我测试/纠正。计算机系统科学杂志。\u00a047（3），549\u2013595（1993）“，”journal-title“：《计算机杂志》。系统。科学。“}，{”key“：”19_CR5“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-642-59207-2“，”volume-title“：”The Classical Decision Problem“，”author“：”E.B\u00f6rger“，”year“：”1997“，”unstructured“：”B\u200f6rge，E.，Gr\u00e4del，E.，Gurevich，Y.：”The古典决策问题。Springer，Heidelberg（1997）“}”，{“key”：“19_CR6”，“doi-asserted-by”：“publisher”，“第一页“：”66“，”DOI“：”10.1002\/malq.19600060105“，”卷“：”6“，”作者“：”J.R.B\u00fcchi“，”年份“：”1960“，”非结构化“：”B\u00 fcchi，J.R.：弱二阶算法和有限自动机。Z.数学。Logik Grundlagen数学。\u00a06，66\u201392（1960）“，“新闻标题”：“Z.数学。Logik Grundlagen数学。“}，{”key“：”19_CR7“，”first page“：“97”，“volume”：“75”，“author”：“E.Fischer”，“year”：“2001”，“unstructured”：“Fischer，E.：未知决策的艺术。欧洲理论计算机科学协会公报\u00a075，97\u2013126（2001）”，“新闻标题”：“欧洲理论计算机学会公报”}，}”issue“：”1“，”key“：”19_CR8“，”doi-asserted-by“：”publisher“，”first-pages“：”207“，”doi“：”10.1137\/070680795“，”volume“：“38”，”author“：”E.Fischer“，”year“：”2008“，”unstructured“：”Fischer，E.，Matsliah，A.：测试图同构。SIAM J.计算。\u00a038（1），207\u2013225（2008）“，“新闻标题”：“SIAM J.Compute。“}，{“key”：“19_CR9”，“volume-title”：“参数化复杂性理论”，“author”：“J.Flum”，“year”：“2006”，“unstructured”：“Flum，J.，Grohe，M.：参数化复杂性论。Springer，Heidelberg（2006）”}Goldreich，O.：测试图形属性简介。技术报告TR10-082，计算复杂性电子讨论会（ECCC）（2010年5月）“}，{“问题”：“4”，“关键”：“19_CR11”，“doi-asserted-by”：“publisher”，“首页”：“653”，“doi”：“10.1145\/285055.285060”，“卷”：“45”，“作者”：“O.Goldreich”，“年份”：“1998”，“非结构化”：“Goldreich，O.，Goldwasser，S.，Ron，D.：属性测试及其与学习和近似的联系。J.ACM\u00a045（4），653\u2013750（1998）”，“期刊标题”：“J.ACM”}，｛“键”：“19_CR12”，“系列标题”：“计算机科学讲义”，“doi断言”：“出版商”，“第一页”：“141”，“doi”：“10.1007\/978-3-642-04944-6_12”，“卷标题”：“随机算法：基础与应用”，“作者”：“C.Jordan”，“年份”：“2009”，“非结构化”：“Jordan，C.，Zeugmann，T.：用一个通用量词表示的关系属性是可测试的。收录：Watanabe，O.，Zeugmann，T.（编辑）SAGA 2009。LNCS，第u00a05792卷，第141\u2013155页。Springer，Heidelberg（2009）“}，{”key“：”19_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“296”，”doi“：”10.1007\/978-3642-13562-0_27“，”volume-title“：“计算模型的理论与应用”，”author“：”C.Jordan“，”year“：”2010“，”unstructured“：”Jordan，C.，Zeugmann，T.：关于Ramsey \u2019s类可测试性的注释。收录人：Kratochv\u00edl，J.、Li，A.、Fiala，J.和Kolman，P.（编辑）TAMC 2010。LNCS，第u00a06108卷，第296\u2013307页。Springer，Heidelberg（2010）“}，{”key“：”19_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“333”，”doi“：”10.1007\/978-3642-13089-2_28“，”volume-title“：“语言与自动化理论与应用”，”author“：”C.Jordan“，”year“：”2010“，”unstructured“：”Jordan，C.，Zeugmann，T.：用四个一阶量词表示的不可测属性。收录：Dediu，A.-H.，Fernau，H.，Mart\u00edn-Vide，C.（编辑）LATA 2010。LNCS，第u00a06031卷，第333\u2013343页。Springer，Heidelberg（2010）“}，{”key“：“19_CR15”，”doi-asserted-by“：”publisher“，”first page“：”365“，“doi”：“10.1073\/pnas.48.3.365”，“volume”：“48”，“author”：“A.S.Kahr”，“year”：“1962”，“unstructured”：“Kahr，A.S.，Moore E.F.，Wang，H.：Entscheidungsproblem缩减为\u2200\u2009\u2200案例。Nat Proc。阿卡德。科学。美国\u00a048，365\u2013377（1962）“，“新闻标题”：“Proc。美国国家科学院。科学。美国“}，{”key“：”19_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“84”，“doi”：“10.1007\/3-540-44612-5_6”，“volume-title”：“计算机科学数学基础2000”，“author”：“P.G.Kolaitis”，“year”：“2000”，”unstructured“：”Kolaitis，P.G.，Vardi，M.Y.：存在二阶逻辑片段的0-1定律：一项调查。收录：Nielsen，M.，Rovan，B.（编辑）MFCS 2000。LNCS，第00a01893卷，第84页\u201398。Springer，Heidelberg（2000）“}，{“key”：“19_CR17”，“volume title”：“Counter Free Automata”，“author”：“R.McNaughton”，“year”：“1971”，“nonstructured”：“McNaughton，R.，Papert，S.：Counter Free Automata.M.I.T.Press，Cambridge（1971）”}，{“key”：“19_CR18”，“doi asserted by”：“publisher”，“first page”：“597”，“doi”：“10.1007\/978-1-4615-0013-1_15”，“volume title”：“《随机计算手册》，“作者”：“D.Ron”，“年份”：“2001年”，“非结构化”：“Ron，D.：属性测试。收录于：Rajasekaran，S.，Pardalos，P.M.，Reif，J.H.，Rolim，J.（编辑）《随机计算手册》，第\u00a0II卷，第597\u2013649页。Kluwer Academic Publishers，Dordrecht（2001）“}，{”issue“：“3”，”key“：“19_CR19”，”doi-asserted-by“：”publisher“，”first page“：”307“，”doi“：”10.1561\/220000004“，“volume”：“1”，“author”：“D.Ron”，“year”：“2008”，“unstructured”：“Ron，D.：属性测试：学习理论视角。Found.Trends Mach.Learn.\u00a01（3），307\u2013402（2008）”，“日志标题“：”已找到。趋势马赫数。学习。“}，{”issue“：”2“，”key“：”19_CR20“，”doi-asserted-by“：”publisher“，”first-page“：”73“，”doi“：”10.1561\/0400000029“，”volume“：“5”，”author“：”D.Ron“，”year“：”2009“，”unstructured“：”Ron，D.：属性测试中的算法和分析技术。Found.Trends Theor.Comput.Sci.\u00a05（2），73\u2013205（2009）“，”journal-title“：”已找到。趋势理论。计算。科学。“}，{”issue“：“2”，”key“：“19_CR21”，”doi-asserted-by“：”publisher“，”first page“：”252“，”doi“：”10.1137\/S0097539793255151“，“volume”：“25”，“author”：“R.Rubinfeld”，“year”：“1996”，“unstructured”：“Rubinfell，R.，Sudan，M.：多项式的稳健表征及其在程序测试中的应用。SIAM J.Compute.\u00a025（2），252\u2013271（1996）“，”journal-title“：”SIAM J.计算机。“}，{”issue“：“1”，”key“：“19_CR22”，”doi-asserted-by“：”publisher“，”first page“：”304“，”doi“：”10.2307\/2275743“，”volume“：：”62“，”author“：”A.Ved\u00f8“，”year“：”1997“，”unstructured“：”Ved\u 00f8，A.：二阶存在Kahr-Moore-Wang语句的渐近概率。J.Symbolic Logic\u00a062（1），304\u2013319（1997）“，“新闻标题”：“J。符号逻辑“}，{“key”：“19_CR23”，“首页”：“222”，“卷标”：“第18届计算机科学基础年会”，“作者”：“A.C.C.姚”，“年份”：“1977年”，“非结构化”：“姚，A.C.C.：概率计算：走向复杂性的统一度量。摘自：第18届计算科学基础年会刊，第222\u2013227页。IEEE Computer Society，Los Alamitos（1977）“}]，“container-title”：[“逻辑、语言、信息和计算”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_19”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2019,5,23]]，“日期-时间”：“2019-05-23T01:31:45Z”，“时间戳”：1558575105000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/978-3642-20920-8_19”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2011年]]}，“ISBN”：[“9783642209192”，“978364 2209208”]，“references-count“：23，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-20920-8_19“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743}}