{“id”：“https://openalex.org/W4323273902网址“，”doi“：”https://doi.org/10.1007/978-3-031-30829-1_7“，”title“：”A Strict Constrained Supersposition Calculus for Graphs“，”display_name“：”A Strict Consstrained Superposition Carculus of Graphs”，“publication_year”：2023，“publiation_date”：“2023-01-01”，“ids”：{“openalex”：“https://openalex.org/W4323273902“，”doi“：”https://doi.org/10.1007/978-3-031-30829-1_7“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-30829-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_7.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-30829-1_7.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5075605280“，”display_name“：”Rachid Echahed“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101348“，”display_name“：”Inria Grenoble-Rh\u00f4ne-Alpes研究中心“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Rachid Echahed“，”raw _affiliation_strings“：[“University \u00e9 Grenoble Alpes，LIG，CNRS，Inria，Grenoble INP，38000，Grenoblic，France”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101348“，”display_name“：”Inria Grenoble-Rh\u00f4ne-Alpes研究中心“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Mnacho Echenim“，”raw _affiliation_strings“：[“University \u00e9 Grenoble Alpes，LIG，CNRS，Inria，Grenoble INP，38000，Grenoblic，France”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5022852175“，”display_name“：”Mehdi Mhalla“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101348“，”display_name“：”Inria Grenoble-Rh\u00f4ne-Alpes研究中心“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：”government“，”沿袭“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Mehdi Mhalla“，”raw _affiliation_strings“：[“University \u00e9 Grenoble Alpes，LIG，CNRS，Inria，Grenoble INP，38000，Grenoblic，France”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5079985573“，”display_name“：”Nicolas Peltier“，”orcid“：”https://orcid.org/0000-0002-8943-7000}，“机构”：[{“id”：https://openalex.org/I4210101348“，”display_name“：”Inria Grenoble-Rh\u00f4ne-Alpes研究中心“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Nicolas Peltier“，”raw _affiliation_strings“：【”University \u00e9 Grenoble Alpes，LIG，CNRS，Inria，Grenoble INP，38000，Grenobe，France“】}]，“countries_distinact_count”：1，“institutions_distiction_count“：5，”corresponding_author_ids“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“:5000，”货币“：”欧元“，”价值美元“：5391，”provance“：”doaj“{，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：78}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“135”，“last_page”：“155”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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.9995，”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.9992，“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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.553419}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.549939}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.547158}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.534455}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.512687}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.66417325}，{”id“：”https://openalex.org/C189790780，“wikidata”：https://www.wikidata.org/wiki/Q933932“，”display_name“：”Horn子句“，”level“：3，”score“：0.6320473}，{”id“：”https://openalex.org/C152124472，“wikidata”：https://www.wikidata.org/wiki/Q1204361“，”display_name“：”冗余（工程）“，”level“：2，”score“：0.56878096}，{”id“：”https://openalex.org/C27753989，“wikidata”：https://www.wikidata.org/wiki/Q28485“，”display_name“：”叠加原理“，”level“：2，”score“：0.49160606}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.45303875}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.31368208｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2967617}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.28771916}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.22439322}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-30829-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_7.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“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”图书系列“}，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://hal.science/hal-03978913，“pdf_url”：https://hal.science/hal-03978913/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”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-04297056“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url”：“https://doi.org/10.1007/978-3-031-30829-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_7.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“：[{”display_name“：”和平、正义和强大的制度“，”score“：0.62，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：24，”referrenced_works“：【”https://openalex.org/W1508113248","https://openalex.org/W1519551513","https://openalex.org/W1538507560","https://openalex.org/W1566003467","https://openalex.org/W1789818915","https://openalex.org/W1829867068","https://openalex.org/W190356767","https://openalex.org/W2037085273","https://openalex.org/W2048319959","https://openalex.org/W2079370090","https://openalex.org/W2124789887","https://openalex.org/W2131966463","https://openalex.org/W2262269175","https://openalex.org/W2536118580","https://openalex.org/W2802560682","https://openalex.org/W2805988959","https://openalex.org/W2906693381","https://openalex.org/W2969992190","https://openalex.org/W3105021321","https://openalex.org/W3109435874","https://openalex.org/W3136504866","https://openalex.org/W3207561246","https://openalex.org/W4301968143","https://openalex.org/W8360613“]，”related_works“：[”https://openalex.org/W2950629087","https://openalex.org/W2811206835","https://openalex.org/W2388232299","https://openalex.org/W2169526198","https://openalex.org/W2151733122","https://openalex.org/W2099767492","https://openalex.org/W1998113445","https://openalex.org/W1607887046","https://openalex.org/W1537215936","https://openalex.org/W1512889044“]，”ngrams_url“：”https://api.openalex.org/works/W4323273902/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“We”：[1]，“propose”：[2]，“a”：[3,65,90,93107]，“superposition-based”：[4]，“proof”：[5,69]，“procedure”：[6,70]，“to”：[7,78115]，“reason”：[8]，“on”：[9,58,62]，“equational”：[10]，“first”：[11,91]，“order”：[12]，“formulas”：[13,51129]，“定义了“：[14120]，”over“：[15]，”graphs.“：[16,63]，”first，“：[17]，”We“：[1]，”介绍“：[19]，”the“：[20,40,45,84,87101110146]，”considered“：[21,46]，”graphs“：[22,27]，”that“：[23]，”are“：[24,48,54,76113132151]，”directed“：[25]，”labeled“：[26]，“with”：[28145]，“lists”：[29]，“of”：[30,44,86,95103130]，“roots”：[31]，“standing”：[32]，“for”：[33,37135]，“pins”：[34]，“or”：[35]，“interfaces”：[36]，“replacements”。“：[38]，”Then“：[39]，”syntax“：[41]，”and“：[42,60,67,73,82]，”semantics“：[43]，”logic“：[47]，”defined。“：[49]，“The”：[50]，“at”：[52]，“hand”：[53]，“clause”：[55]，“sets”：[56]，“build”：【57】，“quations”：【59】，“disequation”：【61】，“Severt”：【64】，“sound”：【66】，“complete”：【68】，“is”：【71，98】，“provided”，“：【72】，“redundancycle”：【74138】，“criteria”：[75139]，“introduced”：【77】，“Dissult”：【79】，“无用”：[80]，“子句”：[81]，“改进”：[83]，“效率”：[85]，“程序。“：[88]，”In“：[89106]，”step“，：[92109]，”set“：[94]，”inferences“：[96]，”rules“：[97112]，”provided“：[99]，”In“：[100124]，”case“：[102]，”unexpressed“：[104]，”labels“。“：[105]，”第二“：[108]，”提议“：[111]，”解除“：[114]，”考虑“：[116]，”进入“：[117]，”帐户“：[118]，”标签“：[119]，”作为“：[121]，”术语“：[122]，”解释“：[123]，”一些“：[125]，”任意“：[126]，”理论。“：[127]，“特殊”：[128]，“兴趣”：[131]，“Horn”：[133]，“子句”：[134]，“which”：[136]，“更强”：[137]，“can”：[140]，“be”：[141]，“designed”。“：[142]，”基本“：[143]，”差异“：[144]，”通常“：[147]，”术语“：[148]，”叠加“：[149]，”微积分“：[150]，”强调。“：[152]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4323273902“，”counts_by_year“：[]，”updated_date“：”2024-06-04T11:34:34.384913“，”created_date:“2023-03-06”}“