{“id”：“https://openalex.org/W2097257018“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_40“，”title“：”Using Counter-example Analysis to Minimize the Number of Predicate Abstraction“，”display_name“：”使用反例分析来最小化谓词抽象的谓词数量“，”publication_year“：2007，”publitation_date“：”2007-11-03“，”ids“：{”openalex“：”https://openalex.org/W2097257018“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_40“，”mag“：”2097257018“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_40“，”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/A5044331863“，”display_name“：”Thanyapat Sakunkonchak“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Thanyapat Sakunkonchak“，”raw _ afiliation_strings“：[“东京大学超大规模集成电路设计与教育中心，2\u201311\u201316 Yayoi，Bunkyo-ku，Tokyo，113\u20130032，Japan”]，”从属关系“：[{”raw _affiliation_strong“：”东京大学超大规模集成电路设计与教育中心，2\u201311\u201316 Yayoi，Bunkyo-ku，Tokyo，113\u20130032，日本“，“institution_ids”：[“https://openalex.org/I74801974“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5050673369“，”display_name“：”Setsuko Komatsu“，”orcid“：”https://orcid.org/0000-0002-4514-357X}，“机构”：[{“id”：https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Satoshi Komatsu“，”raw _ afiliation_strings“：[“东京大学超大规模集成电路设计与教育中心，2\u201311\u201316 Yayoi，Bunkyo-ku，Tokyo，113\u20130032，Japan”]，”从属关系“：[{”raw _affiliation_string“：”东京大学超大规模集成电路设计与教育中心，2\u201311\u201316 Yayoi，Bunkyo-ku，Tokyo，113\u20130032，日本“，“institution_ids”：[“https://openalex.org/I74801974“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5027837299“，”display_name“：”Masahiro Fujita“，”orcid“：”https://orcid.org/0000-0002-6516-4175}，“机构”：[{“id”：https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”藤田正弘“，”raw _ afiliation_strings“：[“东京大学超大规模集成电路设计与教育中心，2\u201311\u201316 Yayoi，Bunkyo-ku，Tokyo，113\u20130032，Japan”]，”从属关系“：[{”raw _affiliation_strong“：”东京大学超大规模集成电路设计与教育中心，2\u201311\u201316 Yayoi，Bunkyo-ku，Tokyo，113\u20130032，日本“，“institution_ids”：[“https://openalex.org/I74801974“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payd“：null，”fwci“：0.454，”has_fulltext“：false，”cited_by_count：null，“first_page”：“553”，“last_page”：“563”}，“is_retracted“：false，”is_paratext“：false，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9991，“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/T11005“，”display_name“：”电子系统容错“，”score“：0.9956，”subfield“：｛”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.556533}]，”concepts“：[{”id“：”https://openalex.org/C2779907942，“wikidata”：https://www.wikidata.org/wiki/Q7239630“，”display_name“：”谓词抽象“，”level“：3，”score“：0.97943926}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.83233285}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.7590964}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.75893867}，{”id“：”https://openalex.org/C1807295，“wikidata”：https://www.wikidata.org/wiki/Q7662657“，”display_name“：”句法谓词“，”level“：3，”score“：0.7104541｝，｛”id“：”https://openalex.org/C97256817，“wikidata”：https://www.wikidata.org/wiki/Q1462316“，”display_name“：”虚假关系“，”level“：2，”score“：0.6832676}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6706281}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5963578}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.5876776}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.537956}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”level“：2，”score“：0.5013585}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46647224}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4286547}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25402147}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.19714317}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C186644900，“wikidata”：https://www.wikidata.org/wiki/Q194152“，”display_name“：”Parsing“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_40“，”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”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：11，“referrenced_works”：〔”https://openalex.org/W2065675749","https://openalex.org/W2080573945","https://openalex.org/W2080593426","https://openalex.org/W2096620499","https://openalex.org/W2295903414","https://openalex.org/W2503467500","https://openalex.org/W2561675875","https://openalex.org/W4212792638","https://openalex.org/W4299963825","https://openalex.org/W4300021588","https://openalex.org/W4300614359“]，”related_works“：[”https://openalex.org/W4242436822","https://openalex.org/W4235672487","https://openalex.org/W2186626863","https://openalex.org/W2181384782","https://openalex.org/W2159789838","https://openalex.org/W2158395308","https://openalex.org/W2145683232","https://openalex.org/W2097257018","https://openalex.org/W2003959877","https://openalex.org/W1574896545“]，”ngrams_url“：”https://api.openalex.org/works/W2097257018/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2097257018“，”counts_by_year“：[]，”updated_date“：”2024-06-24T02:43:38.271209“，”创建日期“：”2016-06-24“}