{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,30]]，“日期时间”：“2022-03-30T03:50:59Z”，“时间戳”：1648612259760}，“出版商位置”：“柏林，海德堡”，“参考计数”：11，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642130885”，“类型”：“打印”}，{“值”：“9783642130892”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-13089-2_28“，”type“：”book-capter“，”created“：”{“date-part”：[2010,5,7]]，“date-time”：“2010-05-07T12:05:27”Z“，”时间戳“：1273233927000}，”页面“：”333-343“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“用四个一阶量词表示的不可测试属性”]，“prefix”：“10.1007”，”author“：[{”given“：”Charles“，”family“：”Jordan“，”sequence“：”First“，”affiliation“：[]}，{”fixed“：”Thomas：“4”，“key”：“28_CR1”，“doi-asserted-by”：“publisher”，《首页》：“451”，“doi”：“10.1007\/s004930070001”，《卷》：“20”，“作者”：“N.Alon”，“年份”：“2000”，“非结构化”：“Alon，N.，Fischer，E.，Krivelevich，M.，Szegedy，M.：大型图的有效测试。Combinatorica\u00a020（4），451\u2013476（2000）”，“日志标题”：“组合数学“}，{”问题“：”6“，”关键“：“28_CR2”，“doi-asserted-by”：“publisher”，“first page”：“1703”，“doi”：“10.1137\/06064888X”，“volume”：”37“，“author”：“N.Alon”，“year”：“2008”，“unstructured”：“Alon，N.，Shapira，A.：可通过单侧错误测试的（自然）图形属性的特征。SIAM J.Compute.\u00a037（6），1703\u20131727（2008）”，“journal-title”：“SIAM J.Compute.”}，{“issue”：“3”，“key”：“28_CR3”，”doi-asserted-by“：”publisher“，”first page“：”261“，”doi“：”10.1007\/s00493-008-2321-1“，“volume”：”28“，”author“：”N.Alon“，”year“：”2008“，”unstructured“：”Alon，N.，Shapira，A.：属性测试中的分离定理。Combinatorica\u00a028（3），261\u2013281（2008）“，”journal-title“：”Combinatorica“}，{“问题”：“3”，“密钥”：“28_CR4”，“doi-asserted-by”：“publisher”，“first page”：“549”，“doi”：“10.1016\/0022-0000（93：“计算机系统科学杂志”}，{“key”：“28_CR5”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3642-592007-2”，“volume-title”：“经典决策问题”，“author”：“E.B\u00f6rger”，“year”：“1997”，“unstructured”：“B\u006rger，E.，Gr\u00e4del，E.，Gurevich，Y.：经典决策问题。Springer，Heidelberg（1997）”}，{“键”：“28_CR6”，“volume-title”：“图论”，“author”：“R.Diestel”，“year”：“2006”，“unstructured”：“Diestel，R.：图论，第三版。Springer，Heidelberg（2006）”，“edition”：“3”}，{“key”：“28_CR7”，“volome-title“：”逻辑数学导论“，”author“：”H.B.Enderton“，”year“：“2000”，“非结构化”：“Enderton，H.B.：《逻辑数学导论》，第2版，学术出版社，伦敦（2000）”，“版本”：“2”}，{“问题”：“4”，“关键”：“28_CR8”，“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”}，{“key”：“28_CR9”，“非结构化”：“Jordan，C.，Zeugmann，T.：对可测试性分类的贡献：四个通用量词和一个存在量词。技术报告TCS-TR-A-09-39，北海道大学计算机科学系（2009年11月）”}，{“key”：“28_CR10”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”141，“DOI”：“10.1007\/978-3-642-04944-6_12”，“卷标题”：“随机算法：基础与应用”，“作者”：“C.Jordan”，“年份”：“2009”，“非结构化”：“Jordan，C.，Zeugmann，T.：用一个通用量词表达的关系属性是可测试的。In：Watanabe，O.，Zeugmann，T.（编辑）SAGA 2009。LNCS，第u00a05792卷，第141\u2013155页。Springer，Heidelberg（2009）“}，{”issue“：”2“，”key“：”28_CR11“，”doi-asserted-by“：”publisher“，”first page“：“252”，“doi”：“10.1137\/S0097539793255151”，“volume”：“25”，“author”：“R.Rubinfeld”，“year”：“1996”，“unstructured”：“Rubinfield，R.，Sudan，M.：多项式的稳健表征及其在程序测试中的应用。SIAM J.Compute.\u00a025（2），252\u2013271（1996）“，“新闻标题”：“SIAM J.Compute。“}]，”container-title“：[”Language and Automata Theory and Applications“，”Letch Notes in Computer Science“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-13089-2_28.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”存放“：{”date-parts“：[[2021,4,30]]，“date-time”：“2021-04-30T11:54:36Z”，“timestamp”：1619783676000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/978-3642-13089-2_28”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2010]]}，‘ISBN’：[”9783642130885“，“9783642130892”]，“references-count”：11，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-642-13089-2_28“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2010]]}}}}