{“id”：“https://openalex.org/W2154173307“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_1“，”title“：”Craig插值在模型检验中的应用“，”display_name“：”克雷格插值在模型校验中的应用”，“publication_year”：2005，“publiation_date”：“2005-01-01”，“ids”：{“openalex”：“https://openalex.org/W2154173307“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_1“，”mag“：”2154173307“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_1.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_1.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5047507250“，”display_name“：”Kenneth L.McMillan“，”orcid“：”https://orcid.org/0000-0003-4389-7741}，“机构”：[{“id”：https://openalex.org/I66217453“，”display_name“：”Cadence Design Systems（美国）“，”ror“：”https://ror.org/04w8xa018“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I66217453“]}，{”id“：”https://openalex.org/I148283060“，”display_name“：”劳伦斯伯克利国家实验室“，”ror“：”https://ror.org/02jbv0t02“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1330989302","https://openalex.org/I148283060","https://openalex.org/I39565521“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”K.L.McMillan“，”raw _ afiliation_strings“：[“Cadence Berkeley实验室”]，”affiliations“：[{”raw _affiliation_string“：”Cadence Bekeley实验室“，”institution_ids“：[https://openalex.org/I66217453","https://openalex.org/I148283060“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5047507250“]，”对应的机构ID“：[”https://openalex.org/I66217453","https://openalex.org/I148283060“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：2.997，”has_fulltext“：false，”cited_by_count“：81，”citation_normalized_percentile“：{“value”：0.976329，“is_in_top_1_percent”：false、“is_intop_10_percennt”：true}，“cited_by_percentile_year”：{“min”：95，“max”：96}，“biblio”：{“volume”：空，“issue”：空first_page“：”1“，”last_page“：”12“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：1.0，”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”：1.0，“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.9967，“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.9948，“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/model-checking“，”display_name“：”模型检查“，”score“：0.548135}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.505132}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.74885106}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.7111996}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4856757}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.45595813}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44059736}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.39997736}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.39034694}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3809636}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.2022993}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.15097436}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_1.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_1.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：20，”https://openalex.org/W1495266209","https://openalex.org/W1497571013","https://openalex.org/W1564947547","https://openalex.org/W1582008002","https://openalex.org/W1787074469","https://openalex.org/W1836483134","https://openalex.org/W1992946078","https://openalex.org/W2044095368","https://openalex.org/W2044632231","https://openalex.org/W2048051309","https://openalex.org/W2114633883","https://openalex.org/W2134147303","https://openalex.org/W2142785340","https://openalex.org/W2151398141","https://openalex.org/W2151463894","https://openalex.org/W2158395308","https://openalex.org/W2295903414","https://openalex.org/W2561675875","https://openalex.org/W4212792638","https://openalex.org/W4229840182“]，”related_works“：[”https://openalex.org/W2786605369","https://openalex.org/W2736871302","https://openalex.org/W2551596431","https://openalex.org/W2386767533","https://openalex.org/W2383284615","https://openalex.org/W2364866360","https://openalex.org/W2177212599","https://openalex.org/W2117798332","https://openalex.org/W1978951759","https://openalex.org/W1517543977“]，”abstract_inverted_index“：{”A“：[0,32,45]，”Craig“：[1]，”interpolant“：[2,36]，”for“：[3,48]，”A“：[4,12,42,57]，”intermutual“：[5]，”inconsistent“：[6,21]，”pair“：[7]，”of“：[8,31,44,59,61]，”formulas“：[9]，”（A，B）“：[10]，”is“：[11,15]，”公式“：[13]，”that“：[14]，“（1）”：[16]，“隐含”：[17]，“by”：[18]，“A，”：[19]，“2）”：[20]，“with”：[22]，“B，”：[23,47]，“and”：[24,33,51,66]，““：[25]，”expressed“：[26]，”over“：[27]，”the“：[28]，”common“：[29]，”variables“：[30]，”B.“：[34]，”An“：[35]，”can“：[37]，”be“：[38]，”effectively“：[39]，”derived“：[40]，”from“：[41]，”reversation“：[43]，”\u2227“：[46]，”sequentive“：[49]，”theorys“:[50]，”proof“：[52]，”systems“。“：[53]，“我们”：[54]，“将要”：[55]，“讨论”：[56]，“数字”：[58]，“应用程序”：[60]，“此”：[62]，“概念”：[63]，“in”：[64]，“有限-”：[65]，“无限状态”：[67]，“模型”：[68]，“检查”。“：[69]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2154173307“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：3}，{“年”：2021，”cited_by_count“年份”：2017，“引用_ by_count”：7}，{“年份”:2016，“引用_by_counts”：9}，}“年份“：2015，”引用_ by-count“：3}，{“年份”：2014，“引用_ by_count”：6}，{”年份”：2013，“引用_by_counts”：5}，}”年份“：2012，“引用的_by_cunt”：11}]，“更新日期”：“2024-09-19T00:37:15.987571”，“创建日期”：”2016-06-24“}