{“id”：“https://openalex.org/W1526782485“，”doi“：”https://doi.org/10.1007/3-540-48959-2_16“，”title“：”Polarized Proof-Nets:“LC的Proof-Net”，“display_name”：“Polarized-Proof-Netes:LC的Proof-Nets”，“publication_year”：1999，“publiction_date”：“1999-01-01”，“ids”：{“openalex”：“https://openalex.org/W1526782485“，”doi“：”https://doi.org/10.1007/3-540-48959-2_16“，”mag“：”1526782485“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_16“，”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，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5089362585“，”display_name“：”Olivier Laurent“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]｝，｛”id“：”https://openalex.org/I4210138206“，”display_name“：”数学研究所\u00e9matiques de Marseille“，”ror“：”https://ror.org/042h2y225“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724“]}]，”countries“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Olivier Laurent“，”raw _affiliation_strings“：【”数学研究所\u00e9matiques de Luminy CNRS-Marseille，法国马赛“】}]，“countries_distinact_count”：1，“institutions_distianct_counts”：2，“corresponding_author_ids”：[”https://openalex.org/A5089362585“]，”对应的机构ID“：[”https://openalex.org/I1294671590","https://openalex.org/I4210138206“]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”has_fulltext“：false，”cited_by_count“：18，”cited_by_percentle_year“：｛”min“：85，”max“：86｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”213“，”last_page“：”227“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9998，”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”：0.9998，“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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9944，”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.539137}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.537926}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时间逻辑“，”score“：0.51199｝，｛”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.510684}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7302572}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.72173804}，{”id“：”https://openalex.org/C65880906，“wikidata”：https://www.wikidata.org/wiki/Q1771121“，”display_name“：”序列演算“，”level“：3，”score“：0.64370555}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732“，”display_name“：”证明理论“，”level“：3，”score“：0.6176214}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.604967}，{”id“：”https://openalex.org/C89421646，“wikidata”：https://www.wikidata.org/wiki/Q843632“，”display_name“：”Sequent“，”level“：2，”score“：0.54474723}，{”id“：”https://openalex.org/C195653647，“wikidata”：https://www.wikidata.org/wiki/Q7625047“，”display_name“：”结构证明理论“，”level“：4，”score“：0.47192073}，{”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019“，”display_name“：”概念证明“，”level“：2，”score“：0.4249174}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42008328}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.390541}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.36282855}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.31312025}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28397626}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.24916399}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.059035778}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”Dentry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：3，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_16“，”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，”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”：false，“landing_page_url”：“https://hal.science/hal-00009136“，”pdf_url“：空，”源“：{”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.archives-ouvertes.fr/hal-00009136“，”pdf_url“：空，”源“：{”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：4，“referrenced_works”：https://openalex.org/W1985185257","https://openalex.org/W2079171825","https://openalex.org/W2144747140","https://openalex.org/W2911865844“]，”related_works“：[”https://openalex.org/W9738743","https://openalex.org/W2918427073","https://openalex.org/W2911183586","https://openalex.org/W27959772","https://openalex.org/W2170954486","https://openalex.org/W2163170048","https://openalex.org/W2154098055","https://openalex.org/W2134137673","https://openalex.org/W2108922266","https://openalex.org/W1566344352“]，”ngrams_url“：”https://api.openalex.org/works/W1526782485/ngrams（英文）“，”abstract_inverted_index“：{”We“：[0]，”define“：[1,26]，”a“：[2,27,69]，”concept“：[3]，”of“：[4,14,38,57,71]，”polarization“：[5]，”in“：[6,50]，”linear“：[7,47]，”logic“：[8,48]，”（LL）“：[9]，”coming“：[10]，”from“：[11]，”the“：[12,30,36,58]，”极性“：[13]，”Jean-Yves“：[15]，“Girard\u2019s”：[16]，“经典”：[17]，“序列”：[18]，“微积分”：[19]，“LC”：[20]，“[4].”：[21]，“此“：[22,52]，”允许“：[23]，”我们“：[24]，”到“：[25,43]，”翻译“：[28]，”介于“：[29]，”两个“：[31]，”系统。“：[32]，”Then“：[33]，”we“：[34,67]，”study“：[35]，”application“：[37]，”this“：[39,65]，”polar“：[40]，”ization“：[41]，”constraint“：[42]，”provents“：[44]，”for“：[45,61,73]，”full“：[46]，”descripted“：[49]，”[7]。“：[51]，”yields“：[53]，”an“：[54]，”important“：[55]，”simplization“：[56]，”correctivity“：[59]，”criteria“：60]，”polarized“：[62]，”proof-nets。“：[63]，”In“：[64]，”way“：66]，”getable“：[68]，”system“：%70]，”proof-nets“：[72]，”LC.“：[74]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1526782485“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2021，”ciped_by_cunt“：1}，”{“年”：2015，“cited_by_count”：2}，“年份”:2014，”cited_by_count