{“id”：“https://openalex.org/W4289104062“，”doi“：”https://doi.org/10.1007/978-3-031-10769-6_22“，”title“：”Go\u00e9land:A Concurrent Tableau-Based Therew Provider（System Description）“，”display_name“：”Go\u00e 9land:A Concurrent-Tableau-Based-Therew provider（SystemDescription，系统描述）“，“publication_year”：2022，“publitation_date”：“2022-01-01”，“ids”：{“openalex”：“https://openalex.org/W4289104062“，”doi“：”https://doi.org/10.1007/978-3-031-10769-6_22“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-10769-6_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_22.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_22.pdf“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5090226102“，”display_name“：”Julie Cailler“，”orcid“：”https://orcid.org/0000-0002-6665-8089}，“机构”：[{“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/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”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“：”Julie Cailler“，”raw _affiliation_strings“：[“LIRMM，Univ Montpellier，CNRS，Montpellie，France”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5085981627“，”display_name“：”Johann Rosain“，”orcid“：”https://orcid.org/0000-0003-1719-2654}，“机构”：[{“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/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”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“：”Johann Rosain“，”raw _affiliation_strings“：[“LIRMM，Univ Montpellier，CNRS，Montpellie，France”]}，{“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/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/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”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，Univ Montpellier，CNRS，Montpellie，France”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5011013779“，”display_name“：”Simon Robillard“，”orcid“：”https://orcid.org/0000-0003-4751-380X}，“机构”：[{“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/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Simon Robillard“，”raw _affiliation_strings“：[“LIRMM，Univ Montpellier，CNRS，Montpellie，France”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5041729007“，”display_name“：”Hinde Lilia Bouziane“，”orcid“：”https://orcid.org/0000-0002-8749-4562}，“机构”：[{“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/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}，{”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“：”Hinde Lilia Bouziane“，”raw _affiliation_strings“：[“LIRMM，Univ Montpellier，CNRS，Montpelllier，France”]}]“countries_distict_count”：1，“institutions_disticent_count”：3，“corresponding_author_ids”：[”https://openalex.org/A5011013779“]，”对应的机构ID“：[”https://openalex.org/I4210101743","https://openalex.org/I19894307","https://openalex.org/I1294671590“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：1，“cited_by_percentile_year”：{“min”：67，“max”：76}，biblio“：{”volume“：null，”issue“：nul，”first_page“：”359“，”last_page“：”368“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“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.9991，“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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9982，”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.9978，”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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.513584}，{”id“：”https://openalex.org/keywords/schema-matching“，”display_name“：”架构匹配“，”score“：0.512135｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.505503}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.83579224}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.81863415}，{”id“：”https://openalex.org/C146834321，“wikidata”：https://www.wikidata.org/wiki/Q2979672“，”display_name“：”Closure（心理学）“，”level“：2，”score“：0.7176651}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.65439665}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.5899083}，{”id“：”https://openalex.org/C159718280，“wikidata”：https://www.wikidata.org/wiki/Q5526353“，”display_name“：”气量计校准仪“，”level“：3，”score“：0.55783045}，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4740348}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46719977}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.41380075}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.341009}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3235571}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2933857}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-10769-6_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_22.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal-lirmm.ccsd.cnrs.fr/lirmm-03793406/file/Go%C3%A9land22.pdf，“pdf_url”：https://hal-lirmm.ccsd.cnrs.fr/lirmm-03793406/file/Go%C3%A9land22.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal-lirmm.ccsd.cnrs.fr/lirmm-03793406，“pdf_url”：https://hal-lirmm.ccsd.cnrs.fr/lirmm-03793406/document网站，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-10769-6_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_22.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1488962419","https://openalex.org/W1494270745","https://openalex.org/W1495255160","https://openalex.org/W1505627668","https://openalex.org/W1523376837","https://openalex.org/W1554786964","https://openalex.org/W1870357866","https://openalex.org/W1994756337网址","https://openalex.org/W2150470619","https://openalex.org/W2588018425","https://openalex.org/W2795981059","https://openalex.org/W2801704253","https://openalex.org/W2975454041","https://openalex.org/W34759408","https://openalex.org/W4211008702","https://openalex.org/W4301968143“]，”related_works“：[”https://openalex.org/W787793384","https://openalex.org/W4289104062","https://openalex.org/W4281252527","https://openalex.org/W30156491","https://openalex.org/W2969536091","https://openalex.org/W2461166840","https://openalex.org/W2206711905","https://openalex.org/W1590308900","https://openalex.org/W1523338383","https://openalex.org/W1515169568“]，”ngrams_url“：”https://api.openalex.org/works/W4289104062/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“We”：[1,55]，“describe”：[2]，“，”：[3]，“an”：[4]，“automated”：[5]，“定理”：[6]，“证明程序”：[7]，“for”：[8,53]，“一阶”：[9]，“逻辑”：[10]，“that”：[11]，“依赖”：[12]，“依赖于”：[13,70]，“a”：[14]，“并发”：[15,23]，“搜索“：[16,59]，“过程”：[17,60]，“to”：[18,26,47]，“find”：[19]，“tableau”：[20]，“proof”：[21]，“with”：[22]，“进程”：[24,43]，“对应”：[25]，“个体”：[27]，“分支”：[28]，“of”：[29]，“the”：[30,57,73]，“tableau.”：[31]，“Since”：[32]，“分行”：[33]，“闭包”：[34]，“may”：[35]，“require”：[36]，“实例化”：[37]，“free”：[38]，“variables”：[39]，“shared”：[40]，“across”：[41]，“branches”，“：[42]，”通信“：[44]，”经由“：[45]，”信道“：[46]，”交换“：[48]，“信息”：[49]，“关于”：[50]，“替换”：[51]，“已用”：[52]，“闭包”：[54]，“存在”：[56]，“证明”：[58]，“和”：[61]，“其”：[62]，“实现”：[63]，“作为”：[64,66]，“well”：[65]，“实验”：[67]，“结果”：[68]，“获得”：[69]，“问题”：[71]，“来自”：[72]，“TPTP”：[74]，“库。”：[75]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W4289104062“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-05-24T20:44:45.539416“，”创建日期“：“2022-08-01”}