{“id”：“https://openalex.org/W2604151837“，”doi“：”https://doi.org/10.1017/s096012951500456“，”title“：”微分网守恒定理“，”display_name“：”差动网守恒定律“，”publication_year“：2015，”publitation_date“：”2015-10-29“，”ids“：{”openalex“：”https://openalex.org/W2604151837“，”doi“：”https://doi.org/10.1017/09601295150000456“，”mag“：”2604151837“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500456“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“青铜色”，“oa_url”：“”https://hal.science/hal-04670079/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5014578218“，”display_name“：”Michele Pagani“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I113428412“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure de Lyon“，”ror“：”https://ror.org/04zmssz18“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I113428412","https://openalex.org/I203339264“]}，{”id“：”https://openalex.org/I4210144566“，”display_name“：”Parall\u00e9lisme信息实验室“，”ror“：”网址：https://ror.org/04msnz457“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245“]｝]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”MICHELE PAGANI“，”raw_affiation_strings“：[”ENS de Lyon-\u00c9 cole normale sup\u00e9 rieure de Lyon（15 parvis Ren\u00e9 Descartes-BP 7000-69342 Lyon Cedex 07-France）“，”LIP-Parall\u00e9lisme信息实验室（46 All\u00e d'Italie 69364 LYON CEDEX 07-法国https://openalex.org/I113428412“]}，{”raw_affiliation_string“：”LIP-Laboratoire de l'Informatique du Parall\u00e9lisme（46 All\u00e d'Italie 69364 LYON CEDEX 07-法国）“，”institution_ids“：[”https://openalex.org/I4210144566“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5087766002“，”display_name“：”Paolo Tranquilli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I113428412“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure de Lyon“，”ror“：”https://ror.org/04zmssz18“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I113428412","https://openalex.org/I203339264“]}，{”id“：”https://openalex.org/I4210144566“，”display_name“：”Parall\u00e9lisme信息实验室“，”ror“：”网址：https://ror.org/04msnz457“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”PAOLO TRANQUILLI“，”raw _affiliation_strings“：[“里昂ENS-\u00c9cole normale sup\u00e9rieure de Lyon（15 parvis Ren\u00e9 Descartes-BP 7000-69342 Lyon Cedex 07-France）”，“LIP-Parall\u00e9lisme信息实验室（46 All\u00e d'Italie 69364 LYON CEDEX 07-法国https://openalex.org/I113428412“]}，{”raw_affiliation_string“：”LIP-Laboratoire de l'Informatique du Parall\u00e9lisme（46 All\u00e d'Italie 69364 LYON CEDEX 07-法国）“，”institution_ids“：[”https://openalex.org/I4210144566“]｝]｝]，”institute_assertions“：[]，”countries_destict_count“：1，”institutes_dict_count“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：7，”citation_normalized_p百分位“：｛”value“：0.69134，”is_in_top_1_ppercent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：“27”，“issue”：“6”，“first_page”：“939”，“last_page”：”992https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“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.9988，“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.9985，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9414，”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/selection-logic“，”display_name“：”分离逻辑“，”score“：0.541682}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.526482}，{”id“：”https://openalex.org/keywords/conservate-extension网站“，”display_name“：”保守扩展“，”score“：0.43867716}]，”concepts“：[{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.5930823}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.58900136}，{”id“：”https://openalex.org/C93226319，“wikidata”：https://www.wikidata.org/wiki/Q193137“，”“display_name”“：”差速器（机械装置）“，”级别“：2，”分数“：0.50325817}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4475973}，{”id“：”https://openalex.org/C2780432614，“wikidata”：https://www.wikidata.org/wiki/Q864213“，”display_name“：”保守扩展“，”level“：2，”score“：0.43867716}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.4354987}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.37265348}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.25813895}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.077905685}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500456“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-04670079，“pdf_url”：https://hal.science/hal-04670079/document“，”source“：null，”license“：”其他oa“，”license_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-04670079，“pdf_url”：https://hal.science/hal-04670079/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”score“：0.7，”id“：”https://metadata.un.org/sdg/15“，”display_name“：”Life on land“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：30，”referrenced_works“：[”https://openalex.org/W1483865853","https://openalex.org/W1487251594","https://openalex.org/W1505195721","https://openalex.org/W1517973224","https://openalex.org/W1534698598","https://openalex.org/W159715351","https://openalex.org/W1706480804","https://openalex.org/W186525696","https://openalex.org/W1979101142","https://openalex.org/W1982425141","https://openalex.org/W2000451268","https://openalex.org/W2044297003","https://openalex.org/W2078944436","https://openalex.org/W2079171825","https://openalex.org/W2088376608","https://openalex.org/W2093561140","https://openalex.org/W2109323214","https://openalex.org/W2112691878","https://openalex.org/W2112971523","https://openalex.org/W2113402167","https://openalex.org/W2126171111","https://openalex.org/W2149837936","https://openalex.org/W2154273644","https://openalex.org/W2294530123","https://openalex.org/W2911865844","https://openalex.org/W2911874855","https://openalex.org/W367533796","https://openalex.org/W383107379","https://openalex.org/W41668360","https://openalex.org/W4861723“]，”related_works“：[”https://openalex.org/W4391375266","https://openalex.org/W3022218857","https://openalex.org/W2964338094","https://openalex.org/W2898556184","https://openalex.org/W2370289839","https://openalex.org/W2369178846","https://openalex.org/W2351847247","https://openalex.org/W2082716031","https://openalex.org/W2075768550","https://openalex.org/W179416842“]，”abstract_inverted_index“：｛”We“：[0]，”证明“：[1，69]，”the“：[2，9，13，29，49，78，81]，”守恒“：[3，25]，”定理“：[4，26，82，98]，”for“：[5，51，57]，”微分“：[6，14]，”网“：[7]，”\u2013“：[8]，”图论“：[10]，”语法“：[11]，”of“：[12，16，31，38，71,87104]，”扩展“：[15]，”线性“：[17]，”逻辑学“：[18]，”（Ehrhard）“：[19]，”和“：[20，62，99]，”Regnier的“：[21]，“DiLL”：[22,74106]，“）.”：[23]，“The”：[24]，“states”：[27]，“that”：[28]，“property”：[30]，“having”：[32,90]，“infinite”：[33,36]，“reducations”：[34]，“（here”：[35]，“chains”：[37]，“cut”：[39]，“exclumination”：[40]，“steps）”：[41]，“is”：[42]，“preserve”：[43]，“by”：[44]，“非擦除“：[45,58]，“步骤”：[46]，“此”：[47]，“回合”：[48]，“任务”：[50]，“强”：[52]，“正常化”：[53,60]，“（SN）”：[54]，“into”：[55]，“one”：[56]，“weak”：[P9]，“WN）”，“：[61]，“actery”：[63]，“我们”：[64,83]，“使用”：[65]，“this”：[66]，“结果”：[67]，“to”：[68,80]，“序号”：[70]，“简单”：[72]，“键入”：[73]，“带”：[75]，“提升”。“：[76]，”Along“：[77]，“方式”：[79]，“实现”：[84]，“a”：[85,96100]，“数字”：[86]，“附加”：[88]，“结果”：[89]，“他们的”：[91]，“自己的”：[22]，“兴趣”：[93]，“例如”：[94]，“如”：[95]，“标准化”：[97]，“轻微”：[101]，“修改”：[102]，“系统”：[103]，“网络”：[105]，“\u2202\u03f1”：[107]，“.”：[108]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2604151837“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：3}，{“年度”：2019，”cited_by_count”：2}，}“年份“：2017，”citecd_by_count“：1}，”{“年”：2013，”citted_by_count“:1}]，”updated_date“：”2024-09-16T07:11:59.937781“，”created_dated“：”2017-04-14“}”