｛“id”：“https://openalex.org/W2801704253“，”doi“：”https://doi.org/10.1007/978-3-319-91271-4_32“，”title“：”A Automation-Friendly Set Theory for the B Method“，”display_name“：”An Automation-Friendly Set-Theory for the B Methods“，”publication_year“：2018，”publiation_date“：”2018-01-01“，”ids“：{”openalex“：”https://openalex.org/W2801704253“，”doi“：”https://doi.org/10.1007/978-3-319-91271-4_32“，”mag“：”2801704253“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-91271-4_32“，”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”：true，“oa_status”：“green”，“oa_url”：https://hal.science/hal-02082755/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5063976357“，”display_name“：”Guillaume Bury“，”orcid“：null}，”institutions“：[]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“:”Guillaome Bury”，“raw_affiliation_strings”：[“LSV，ENS Paris-Saclay，Inria，Cachan，France”]，“afliations”：[{“raw_affiliation_string”：“LSV、ENS Paris-Saclay、Inria、Cachan、France”，“institution_ids”：[]}]}，{“author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5091055281“，”display_name“：”Simon Cruanes“，”orcid“：”https://orcid.org/0000-0003-3969-5850}，“机构”：[{“id”：https://openalex.org/I4210118862“，”display_name“：”美容外科中心“，”ror“：”https://ror.org/02nn2g073“，”country_code“：“美国”，”type“：”healthcare“，”seriance“：[”https://openalex.org/I4210118862“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Simon Cruanes“，”raw _ afiliation_strings“：[“审美整合，德克萨斯州奥斯汀”]，”从属关系“：[{”raw _affiliation_string“：”审美整合，得克萨斯州奥斯汀，美国“，”institution_ids“：[https://openalex.org/I4210118862“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5061312945“，”display_name“：”David Delahaye“，”orcid“：”https://orcid.org/0000-0003-4779-1359}，“机构”：[{“id”：https://openalex.org/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”id“：”https://openalex.org/I4210101743“，”display_name“：”蒙彼利埃信息实验室，机器人和微型电子实验室“，”ror“：”https://ror.org/013yean28“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I208215962","https://openalex.org/I2802056588","https://openalex.org/I4210101743","https://openalex.org/I4210159245“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”David Delahaye“，”raw _affiliation_strings“：[“LIRMM，University\u00e9 de Montpellier，CNRS，Montpellie，France”]，”affiliations“：[{”raw_affiliation_string“：”LIRMM、University \u00e 9 de Monppellier、CNRS、Montpelllier，France“，”，“institution_ids”：[“https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5080237962“，”display_name“：”Pierre-Louis Euvrard“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”id“：”https://openalex.org/I4210101743“，”display_name“：”信息实验室，de Robotique et de Micro\u00e9electronique de Montpellier“，”ror“：”https://ror.org/013yean28（网址：https://ror.org/013yean28）“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I208215962","https://openalex.org/I2802056588","https://openalex.org/I4210101743","https://openalex.org/I4210159245“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]｝]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Pierre Louis Euvrard“，”raw_affiation_strings“：[”LIRMM，Universit \u00e9 de Montpellier，CNRS，Montpellier，France“]，”affiliations“：[｛”raw_affiation_string“：”LIRMM，Universit \u00e9 de Montpellier，CNRS，Montpellier，France“，”institution_ids“：[”https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I1294671590“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：4，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.574，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_b”y_count“：3，”cited_by_percentile_year“：{”min“：77，”max“：80}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”409“，”last_page“：”414“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9996，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9989，“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/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.52281}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.522292}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.508339}]，“concepts”：[{“id”：“https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.9282718}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.79157555}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.6783394}，{”id“：”https://openalex.org/C115901376，“wikidata”：https://www.wikidata.org/wiki/Q184199“，”display_name“：”Automation“，”level“：2，”score“：0.5220073}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.51845807}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5086513}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46999726}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4288348}，{”id“：”https://openalex.org/C153046414，“wikidata”：https://www.wikidata.org/wiki/Q12482“，”display_name“：”集合论“，”level“：3，”score“：0.42150578}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3799752}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.3385906}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.30298793}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1704574}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.1277689}，{”id“：”https://openalex.org/C78519656，“wikidata”：https://www.wikidata.org/wiki/Q101333“，”display_name“：”机械工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-91271-4_32“，”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}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-02082755，“pdf_url”：https://hal.science/hal-02082755/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-02082755/file/bset-auto.pdf，“pdf_url”：https://hal.science/hal-02082755/file/bset-auto.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-overtes.fr/hal-02082755/file/bset-auto.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02082755/file/bset-auto.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02082755/document（文件），“pdf_url”：https://hal.archives-ouvertes.fr/hal-02082755/document（文件），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-02082755，“pdf_url”：https://hal.science/hal-02082755/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”“versions”：【】、“referenced_works_count”：4，“reference d_works”：【”https://openalex.org/W1505627668","https://openalex.org/W1749440414","https://openalex.org/W2281732228","https://openalex.org/W4254354208“]，”related_works“：[”https://openalex.org/W4386363566","https://openalex.org/W4312716460","https://openalex.org/W3101572115","https://openalex.org/W2282814833","https://openalex.org/W2147189557","https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W1548342449","https://openalex.org/W1462102326“]，”ngrams_url“：”https://api.openalex.org/works/W2801704253/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,46]，“propose”：[1]，“an”：[2]，“automation-friendly”：[3]，“set”：[4,68]，“theory”：[5,11,69]，“for”：[6]，“the”：[7,28]，“B”：[8]，“method.”：[9]，“This”：[10]，“is”：%12,25]，“expressed”：[13]，“using”：[14]，“first”：[15]，“order”：[16]，“逻辑”：[17]，“扩展”：[18]，“到”：[19,55]，“多态”：[20]，“类型”：[21]，“和”：[22,44,59]，“正在重写。“：[23]，“重写”：[24]，“引入”：[26]，“沿”：[27]，“行”：[29]，“的”：[30,51,64]，“演绎”：[31]，“模”：[32]，“理论”：[33]，“其中”：[34]，“公理”：[35]，“are”：[36]，“turn”：[37]，“into”：[38]，“rewrite”：[39]，“rules”：[40]，“over”：[41,61]，“both”：[42]，“命题”：[43]，“术语”。“：[45]，”也“：[47]，”提供“：[48]，”实验“：[49]，”结果“：[50]，”多个“：[52]，”工具“：[53]，”能“：[54]，”处理“：[56]，”有“：[57]，”多态性“：[58]，”重写“：[60]，”a“：[62]，”基准“：[63]，”问题“：[65]，”in“：[66]，”纯“：[67]，”（即“：[70]，”无“：[71]，“算术）。“：[72]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2801704253“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2021，”cited_by_count”：1}.，{“年份”：2019，”citecd_by_count“：1}]，”updated_date“：”2024-06-26T14:16:49.092269“，”created_date:“2018-05-17”}