{“id”：“https://openalex.org/W4253380258“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_33“，”title“：”Bounded Synthesis“，”display_name“：”绑定合成“，”publication_year“：2007，”publiation_date“：”2007-11-03“，”ids“：{”openalex“：”https://openalex.org/W4253380258“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_33“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_33“，”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/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”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“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5041836791“，”display_name“：”Sven Schewe“，”orcid“：”https://orcid.org/0000-0002-9093-9518}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：”教育“，”血统“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Sven Schewe“，”raw _affiliation_strings“：[“Saarlandes大学\u00e4t，66123 Saarbr\u00fccken，德国”]，”affiliations“：[{”raw_affiliation_string“：”Saarlanders大学\u0e4t des Saarlands，66123萨布尔\u00fc肯，德国”，“institution_ids”：[“https://openalex.org/I91712215“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5048189898“，”display_name“：”Bernd Finkbeiner“，”orcid“：”https://orcid.org/0000-0002-4280-8441}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：”教育“，”血统“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Bernd Finkbeiner“，”raw _affiliation_strings“：[“萨尔兰德大学\u00e4t des Saarlandes，66123 Saarbr\u00fccken，Germany”]，”affiliations“：[{”raw_affiliation_string“：”萨尔兰德斯大学\u000e4t DE Saarlands，66123萨博\u00fccken，德国”，“institution_ids”：[”https://openalex.org/I91712215“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：nul，”fwci“：2.269，”has_fulltext“：false，”cited_by_count：null，“first_page”：“474”，“last_page”：“488”}，“is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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.9974，”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.9959，“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/synchronizing-automata网站“，”display_name“：”正在同步自动机“，”score“：0.561224｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.549425}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.521377}，{”id“：”https://openalex.org/keywords/state-complexity网站“，”display_name“：”状态复杂性“，”score“：0.517832}]，”concepts“：[{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.8513894}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”有界函数“，”level“：2，”score“：0.8156496}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.57746583}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.5483393}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.47984454}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.4568591}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.45418277}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.44541106}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.437482}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3883815}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3580159}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.26510072}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_33“，”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/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“减少不平等”，“score”：0.44，“id”：“https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：7，”referrenced_works“：【”https://openalex.org/W1535331486","https://openalex.org/W1547864995","https://openalex.org/W1627230931","https://openalex.org/W2142785340","https://openalex.org/W2150447589","https://openalex.org/W2561675875","https://openalex.org/W2602645338“]，”related_works“：[”https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W258311156","https://openalex.org/W2477338659","https://openalex.org/W2350953867","https://openalex.org/W2062273688","https://openalex.org/W1967076997","https://openalex.org/W1592102986","https://openalex.org/W1501430220","https://openalex.org/W1494173831“]，”ngrams_url“：”https://api.openalex.org/works/W4253380258/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4253380258“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：3}，{“年度”：2023，”“cited_by_cunt”：2}，”“年份”“：2022，”年份“：2016，”引用by_count“：5}，{“年份”：2015，”引用by_count，{“年份”：2013，“引用_ by_count”：10}，{”年份“：2012，”引用_ by-count“：15}]，”更新日期“：“2024-06-20T00:47:13.722819”，“创建日期”：“2022-05-12”}