｛“id”：“https://openalex.org/W2399785175“，”doi“：”https://doi.org/10.1007/978-3-319-40229-1_22“，”title“：”Selecting the Selection“，”display_name“：”选择所选内容“，”publication_year“：2016，”publiation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2399785175“，”doi“：”https://doi.org/10.1007/978-3-319-40229-1_22“，”mag“：”2399785175“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-40229-1_22“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5040655141“，”display_name“：”Kry\u0161tof Hoder“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Kry\u0161tof Hoder“，”raw _ afiliation_strings“：[“英国曼彻斯特大学”]，”affiliations“：[{”raw _affiliation_string“：”英国曼彻斯特彻斯特大学“，”institution_ids“：[https://openalex.org/I28407311“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5052066515“，”display_name“：”Giles Reger“，”orcid“：”https://orcid.org/0000-0001-6353-952X}，“机构”：[{“id”：https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Giles Reger“，”raw _affiliation_strings“：[“英国曼彻斯特大学”]，”affiliations“：[{”raw _affiliation_string“：”英国曼彻斯特曼彻斯特学院https://openalex.org/I28407311“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5065681566“，”display_name“：”Martin Suda“，”orcid“：”https://orcid.org/0000-0003-0989-5800}，“机构”：[{“id”：https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Martin Suda“，”raw _affiliation_strings“：[“英国曼彻斯特大学”]，”affiliations“：[{”raw _affiliation_string“：”英国曼彻斯特曼大学“，”institution_ids“：[https://openalex.org/I28407311“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054629753“，”display_name“：”\u0410\u043d\u0434\u0440\u0435\u0439\u0412\u043e\u0440\ u043e\u043d \u043a\u043 e\u00432“，”orcid“：”https://orcid.org/0009-0009-4367-4885}，“机构”：[{“id”：https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Andrei Voronkov“，”raw _ afiliation_strings“：[“英国曼彻斯特大学”]，”affiliations“：[{”raw_ afiliation _string“：”英国曼彻斯特曼大学“，”institution_ids“：]”https://openalex.org/I28407311“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：11.058，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cit ed_by_count“：29，”cited_by_percentile_year“：{”min“：94，”max“：95}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”313“，”last_page“：”329“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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.9995，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9938，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.557544}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.525031}，{”id“：”https://openalex.org/keywords/test-case-prioritization网站“，”display_name“：”测试用例优先级“，”score“：0.50969}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.503156}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8238822}，{”id“：”https://openalex.org/C81917197，“wikidata”：https://www.wikidata.org/wiki/Q628760“，”display_name“：”Selection（genetic algorithm）“，”level“：2，”score“：0.65102166}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.36664668}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-40229-1_22“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”best_oa_location“：null”，“sustainable_development_goals”：[{“display_name”：“和平、正义和强大的制度”，“score”：0.55，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1472528886网址","https://openalex.org/W1507112684","https://openalex.org/W1513576223","https://openalex.org/W1521419290","https://openalex.org/W1572633878","https://openalex.org/W1573992413","https://openalex.org/W1781094","https://openalex.org/W2037085273","https://openalex.org/W2123433341","https://openalex.org/W2221495694","https://openalex.org/W2507006525","https://openalex.org/W3021880308","https://openalex.org/W3023050017“]，”related_works“：[”https://openalex.org/W4391913857","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W2399785175/ngrams网站“，”“abstract_inverted_index”：{“现代”：[0]，“基于饱和”：[1]，“自动”：[2]，“定理”：[3]，“证明程序”：[4]，“典型”：[5]，“实现”：[6]，“the”：[7,35,38,49,58,66,72,88,98110]，“叠加”：[8]，“微积分”：[9,23]，“for”：[10,87]，“推理”：[11]，“about”：[12]，“一阶”：[13]，“逻辑“：[14]，”with“：[15]，”or“：[16]，”without“：[17]，”equality。“：[18]，”实用”：[19]，“实现”：[20]，“of”：[21，27，37，51，60，68，71，91002]，“this”：[22，79]，“use”：[24，89]，“a”：[25，62，84]，“diversity”：[26]，“literal”：[28，64]，“selections”：[29]，“and”：[30，41，75119]，“term”：[31]，“orderings”：[32]，“to”：[33，77，96124]，“tamine”：[34]，“growth”：[36]，“搜索”：[39,99]，“空间”：[4100]，“帮助”：[42]，“引导”：[43]，“证明”：[44]，“搜索。“：[45]，“This”：[46]，“paper”：[47]，“introduces”：[48]，“concept”：[50]，“lookahead”：[52117]，“selection”：[53,92118121]，“that”：[54,94115]，“estimates”：55]，“（looks”：[56]，“ahead）”：[57]，“effect”：[59]，“selecting”：[61]，“special”：[63]，“on”：[65]，“number”：[67]，“immediate”：[69]，“childrends”：[70]，“给定”：[73]，“子句”：[74]，“选择”：[76]，“最小化”：[78]，“值”。“：[80]，“There”：[81]，“is”：[82]，“also”：[83]，“case”：[85]，“made”：[86]，“incomplete”：[91120]，“strategies”：[93]，“temport”：[95]，“restrict”：[97]，“diverse”：[101]，“sating”：[103]，“some”：[104]，“completemplety”：[105]，“criteria.”：[106]，“Experimental”：[107]，“evaluation”：[108]，“in”：[109]，“Vampire”：[111]，“定理”：[112]，“证明器”：[113]，“显示”：[114]，“两者”：[116]，“显著“：[122]，“贡献”：[123]，“解决”：[125]，“困难”：[126]，“问题”：[127]，“无法解决”：%128]，“通过”：[129]，“其他”：[130]，“方法”。“：[131]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2399785175“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：2}，“{“年”：2021，”“cited_by-count”“：4}，”“年”“2020，”“引用_by_cont”“:3}，，”“年份”“2019，”updated_date“：”2024-06-27T04:12:45.485506“，”创建日期“：”2016-06-24“}