{“id”：“https://openalex.org/W1910820376“，”doi“：”https://doi.org/10.109/lics.1991.151629“，”title“：”Games semantics for linear logic“，”display_name“：”Games seminatics for linear逻辑“，”publication_year“：2002，”publitation_date“：”2002-12-10“，”ids“：{”openalex“：”https://openalex.org/W1910820376“，”doi“：”https://doi.org/10.109/lics.1991.151629“，”mag“：”1910820376“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151629“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5039362217“，”display_name“：”Yves Lafont“，”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/I29607241“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure-PSL“，”ror“：”https://ror.org/05a0dhs15“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I29607241“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Y.Lafont“，”raw _affiliation_strings“：[“Lab.d'Inf.，CNRS-Ecole Normale Superieure，Paris，France”]，“affiliations”：[{“raw_affiliation _string”：“Lab.d Infhttps://openalex.org/I1294671590","https://openalex.org/I29607241“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5022583176“，”display_name“：”Thomas Streicher“，”orcid“：”https://orcid.org/0000-0001-6725-0168}，“机构”：[{“id”：https://openalex.org/I186354981“，”display_name“：”帕索大学“，”ror“：”https://ror.org/05ydjnb78“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I186354981“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”T.Streicher“，”raw _ afiliation_strings“：[“Fakult\u00c4t f \u00fcr Mathematik und Informatik，University\u00c 4t Passau，Germany”]，”从属关系“：[{”raw_affiliation_strong“：”Fakult\ u00c4 T f \u 00fcr Mathematik-und Information，University \u00c-4t Passou，Passau au，德国“，”机构ID“：[”https://openalex.org/I186354981“]｝]｝]，”institute_assertions“：[]，”countries_destict_count“：2，”institutes_dict_count“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：4.496，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：72，”citation_normalized_p百分位数“：｛”value“：0.94448，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：94，”max“：95}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：null”，”last_page“：null}”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”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/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.9972，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9856，”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/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.552387}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.548116}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.543055}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.528783｝，｛”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.513109}，{”id“：”https://openalex.org/keywords/game-semantics网站“，”display_name“：”游戏语义“，”score“：0.4227178}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6570523}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.60577375}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.57541394}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728（网址：https://www.wikidata.org/wiki/Q841728）“，”display_name“：”线性逻辑“，”level“：2，”score“：0.57537717}，{”id“：”https://openalex.org/C9672783，“wikidata”：https://www.wikidata.org/wiki/Q65122115“，”display_name“：”游戏语义“，”level“：5，”score“：0.4227178}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.35985282}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.34683615}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.24009848}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/lics.19991.151629“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：12，“referrenced_works”：[”https://openalex.org/W1600838014","https://openalex.org/W1603473135","https://openalex.org/W1977898832","https://openalex.org/W1993205599","https://openalex.org/W2120713972","https://openalex.org/W2294530123","https://openalex.org/W2482810752","https://openalex.org/W2911865844","https://openalex.org/W3145063512","https://openalex.org/W4205374018","https://openalex.org/W4234269419","https://openalex.org/W4256453086“]，”related_works“：[”https://openalex.org/W2952052976","https://openalex.org/W27605384","https://openalex.org/W2753815840","https://openalex.org/W25656606667","https://openalex.org/W2294089556","https://openalex.org/W1855927527","https://openalex.org/W1598491562","https://openalex.org/W1576648414","https://openalex.org/W1513662453","https://openalex.org/W1496507424“]，”abstract_inverted_index“：{”An“：[0]，”尝试“：[1]，”是“：[2,71]，”制造“：[3]，”to“：[4,73]，”关联“：[5]，”各种“：[6,35]，”概念“：[7,36]，”of“：[8,17,53,56,62,77]，”对偶“：[9]，”使用“：[10]，”in“：[11,30]，”数学“：[12]，”with“：[13]，”the“：[14,75]，“指称”：[15]，“语义”：[16,25]，“线性”：[18,27,80]，“逻辑”：[19]，“the”：[20]，“author”：[21]提出“：[22]，”a“：[23,31,54,60]，”naive“：[24]，”for“：[26]，”logic“：[28]，”that，“：[29]，”sequentive“：[32]，”sense“：[33]，”generalizes“：[34]，”such“：[37]，”as“：[38]，”finite-dimensional“：[39]，”vector“：[40]，”spaces，“：[41,43]，”topological“：[42]，”and“：[44,66]，”J.-Y.“：[45]，“吉拉德的”：[46]，“（1987）”：[47]，“连贯性”：[48]，“空格。“：[49]，”A“：[50]，”游戏“：[51]，”包含“：[52]，”集合“：[55,61]，”向量“：[57]，”（或“：[58,64]，”策略），“：[59]，”形式“：[63]，”共同策略）“：[65]，”an“：[67]，”评估“：[68]，”括号。“：[69]，”This“：[70]，”enough“：[72]，”interpret“：[74]，”connectives“：[76]，”full“：[78]，”propostial“：[79]，”logic“：[81]，”including“：[82]，”indicals<":[83],">“：[86]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1910820376“，”counts_by_year“：[{”year“:2022，”cited_by_count“：1}，{”year“：2021，”cited_by_count”：2}，”{“year”：2017，”citecd_by_count“：2]，“{”年“：2015，”citesd_by_count“:2}”，{“年”：2014，”citted_by-count“:1}，日期“：”2024-09-19T00:58:01.709600“，”创建日期“：“2016-06-24”}