{“id”：“https://openalex.org/W1544548277“，”doi“：”https://doi.org/10.1007/978-1-4471-0751-4_4“，”title“：“用有限测试集解决问题”，”display_name“：”用有限测试集中解决问题“，”publication_year“：2000，”publiation_date“：”2000-01-01“，”ids“：{”openalex“：”https://openalex.org/W1544548277“，”doi“：”https://doi.org/10.1007/978-1-4471-0751-4_4“，”mag“：”1544548277“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-1-4471-0751-4_4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P4310319965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://www.cs.auckland.ac.nz/CDMTCS/researchreports/112cris.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5079186295“，”display_name“：”Cristian S.Calude“，”orcid“：”https://orcid.org/0000-0002-8711-6799}，“机构”：[{“id”：https://openalex.org/I154130895“，”display_name“：”奥克兰大学“，”ror“：”https://ror.org/03b94tp07“，”country_code“：”NZ“，”type“：“教育”，”世系“：[”https://openalex.org/I154130895“]}]，”countries“：[”NZ“]，”is_corresponding“：false，”raw_author_name“：”Cristian S.Calude“，”raw _affiliation_strings“：【”新西兰奥克兰大学计算机科学系“】，”affiliations“：[{”raw _affiliation_string“：”新西兰奥克兰大学计算机系“，”institution_ids“：[“https://openalex.org/I154130895“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5088351125“，”display_name“：”Helmut J\u00fcrgensen“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I176453806“，”display_name“：”波茨坦大学“，”ror“：”https://ror.org/03bnmw459“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I176453806“]｝，｛”id“：”https://openalex.org/I125749732“，”display_name“：”西部大学“，”ror“：”https://ror.org/02grkyz14“，”country_code“：”CA“，”type“：”教育“，”血统“：[”https://openalex.org/I125749732“]}]，”国家“：[”CA“，”DE“]，”is_corresponding“：false，”raw_author_name“：”Helmut J\u00fcrgensen“，”raw _ afiliation_strings“：[“加拿大安大略省伦敦市西安大略大学计算机科学系”，”德国波茨坦波茨坦大学信息研究所“]，“afiliations”：[{“raw_affiliation_string”：“德国波茨坦波茨坦大学信息研究所“，”institution_ids“：[”https://openalex.org/I176453806“]}，{”raw_affiliation_string“：”加拿大安大略省伦敦市西安大略大学计算机科学系“，”institution_ids“：[”https://openalex.org/I125749732“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5008987732“，”display_name“：”Shane Legg“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I154130895“，”display_name“：”奥克兰大学“，”ror“：”https://ror.org/03b94tp07“，”country_code“：”NZ“，”type“：“教育”，”世系“：[”https://openalex.org/I154130895“]}]，”countries“：[”NZ“]，”is_corresponding“：false，”raw_author_name“：”Shane Legg“，”raw _affiliation_strings“：【”新西兰奥克兰大学数学系“】，”affiliations“：[{”raw _affiliation_string“：”新西兰奥克兰大学数学学院“，”institution_ids“：[“https://openalex.org/I154130895“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null'，”has_fulltext“：false，”cited_by_count“39”，“last_page”：“52”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9979，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.473055}]，”concepts“：[{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.59169376}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.5540829}，{”id“：”https://openalex.org/C87117476，“wikidata”：https://www.wikidata.org/wiki/Q362383“，”display_name“：”基数（数据建模）“，”level“：2，”score“：0.5291574}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5282851}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.4936665}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4838492}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.45311156｝，｛”id“：”https://openalex.org/C162392398，“wikidata”：https://www.wikidata.org/wiki/Q272404网址“，”display_name“：”有限集“，”level“：2，”score“：0.45126772}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.43844166}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”建设性“，”level“：3，”score“：0.43603706｝，｛”id“：”https://openalex.org/C199879729，“wikidata”：https://www.wikidata.org/wiki/Q205140“，”display_name“：”无限集“，”level“：3，”score“：0.4106245}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3327744}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205（网址：https://www.wikidata.org/wiki/Q7205）“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-1-4471-0751-4_4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P4310319965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.39.4789，“pdf_url”：http://www.cs.auckland.ac.nz/CDMTCS/researchreports/112cris.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.39.4789，“pdf_url”：http://www.cs.auckland.ac.nz/CDMTCS/researchreports/112cris.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/4“，”score“：0.41，”display_name“：”Quality education“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：17，”referrenced_works“：[”https://openalex.org/W1672535544","https://openalex.org/W1965895990","https://openalex.org/W2004053658","https://openalex.org/W2017795761","https://openalex.org/W2037240754","https://openalex.org/W2043069144","https://openalex.org/W2045033949","https://openalex.org/W2072247311","https://openalex.org/W2561675875","https://openalex.org/W2796796600","https://openalex.org/W2905135108","https://openalex.org/W4233607861","https://openalex.org/W4237733582网址","https://openalex.org/W4238357211","https://openalex.org/W4247448656网址","https://openalex.org/W4252263778","https://openalex.org/W4296300736“]，”related_works“：[”https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2962928105","https://openalex.org/W2901423989","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2170336571","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W1501430220“]，”ngrams_url“：”https://api.openalex.org/works/W1544548277/ngrams“，”“abstract_inverted_index”：{“Every”：[0]，“finited”：[1,99138]，“and”：[2,14,34169189]，“Every”：[3,83]，“co-fined”：[4]，“set”：[5,22,49140166]，“of”：[6,47,56,60,74119126148163195203220222]，“non-negative”：[7]，“integers”：[8]，“is”：[9,12,16,23,29,40172183]，“decitable”：[10]，“This”：[11]，“true”：[13]，“it”：[15171]，“not”，：[17]，“depending”：[18]，“关于“：[19160]，“是否”：[20]，“该”：[211117120137145149158161164175179196201218223]，“给定”：[24]，“建设性地”。“：[25]，”A“：[26]，”类似“：[27]，”约束“：[28,39219]，”适用“：[30]，”in“：[31,64,91144]，”language“：[32]，”理论“：[33]，”many“：[35]，”other“：[36]，”fields。“：[37]，”“The”“：[38122]，”通常“：[41]，”理解“：[42]，”和“：[43]，”因此，“：[44]，”省略。“：[45]，”现象“：[46]，”a“：[48,58,71,98104184]，”存在“：[50]，”有限“：[51]，”但是“：[52]，”可能“：[53206]，”不可判定“：[54]，”是“：[55125]，”当然“：[57127]，”结果“：[59]，”允许“：[61]，”非构造“：[62]，”参数“：[63]，”证明。“：[65]，“In”：[66192]，“this”：[67,75]，“note”：[68]，“we”：【69129155】，“discuss”：【70】，“fellow”：【72】，“raminations”：〔73〕，“fact”。“：[76]，“We”：[77]，“start”：[78]，“out”：[79]，“with”：[00]，“showing”：[81]，“that”：[82,87128157170181]，“number”：[84]，“theoryal”：[85]，“statement”：[86]，“can”：[88,94]，“be”：[89,95102132]，“expressed”：[90]，“first order”：[92]，“logic”：[93]，“reduced”：/96]，“to”：[97101134]，“设置”：[100113]，“调用”：[103]，“测试”：[105112139165]，“设置。“：[106]，”因此，“：[107]，”如果“：[108]，”一“：[109114]，”知道“：[110]，”可以“：[115]，”确定“：[116]，”真理“：[118]，”陈述。“：[121]，”关键“：[123]，”点“：[124]，”可能“：[130226]，”不“：[131]，”能够“：[133]，”知道“：[135]，”什么“：[136]，”是。“：[141]，”使用“：[142]，”问题“：[143]，”类“：[146]，”u03a01“：[147]，”算术“：[150]，”层次结构“：[151]，”作为“：[152]，”an“：[153]，”示例“：[154]，“建立”：[156]，“绑定”：[159]，“大小”：[162]，“图灵完成”：[168]，“上界”：[173]，“通过“：[174]，”busy-beaver“：[176]，”函数。This“：[177]，“reinforces”：[178]，“fact”：[180]，“there”：[182]，“vast”：[185]，“difference”：[186]，“between”：[187]，“finiteness”：[188]，“constructive”：[190]，“defineness”。“：[191]，“上下文”：[194]，“当前”：[197]，“重新打开”：[198]，“讨论”：[199]，“关于”：[200]，“概念”：[202]，“可计算性”：[204]，“\u2014”：[205217]，“扩展”：[207]，“其”：[208]，“领域”：[209]，“通过”：[210]，“新”：[211]，“计算”：[212]，“模型”：[213]，“派生”：[214]，“来自”：[215]，“物理学”：[216]，“构造性”：[221]，“模型”：[224]，“自身“：[225]，”添加“：[227]，”另一个“：[228]，”扭转。“：[229]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1544548277“，”counts_by_year“：[{“年份”：2014，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：1}]，”updated_date“：”2024-06-16T05:20:11.487498“，”created_date:“2016-06-24”}“