{“id”：“https://openalex.org/W2070197020“，”doi“：”https://doi.org/10.1145/351268.351279“，”title“：“线性逻辑程序的自下而上语义”，“display_name”：“线性逻辑学程序的自上而下语义”，”publication_year“：2000，”publitation_date“：”2000-09-01“，”ids“：{”openalex“：”https://openalex.org/W2070197020“，”doi“：”https://doi.org/10.1145/351268.351279“，”mag“：”2070197020“}，”language“：”fr“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/351268.351279“，”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/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X“｝，”机构“：[]，”国家“：[]，”is_correresponsing“：false，”raw_author_name“：”Marco Bozzano“，”raw_affiation_strings“：[]，”附属机构“：[]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5071901297“，”display_name“：”Giorgio Delzanno“，”orcid“：”https://orcid.org/0000-0001-7030-1050“｝，”机构“：[｛”id“：”https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giorgio Delzanno“，”raw _ afiliation_strings“：[“热那亚大学>>>”]，”affiliations“：[{”raw_ afiliation _string“：”Genoa大学>>>>“，”institution_ids“：[https://openalex.org/I83816512“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5065465503“，”display_name“：”Maurizio Martelli“，”orcid“：”https://orcid.org/0009-0003-5564-3046“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Maurizio Martelli“，”raw关联字符串“：[]，“附属关系”：[]}]，“机构评估”：[]“：null，”fwci“：1.939，”has_fulltext“：false，”cited_by_count“：10，”citation_normalized_percentile“：{”value“：0.523345，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：fasle}，”cited_by_percentile_year“:{”min“：79，”max“：80}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：null}，主主题“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.9999，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.9999，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9976，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.554031}，{”id“：”https://openalex.org/keywords/abstract-interpretation（https://openalex.org/keywords/abstract-interpretation）“，”display_name“：”抽象解释“，”score“：0.528479}，{”id“：”https://openalex.org/keywords/logic-program网站“，”display_name“：”逻辑程序“，”score“：0.42047226}]，”concepts“：[{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.65726817｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.655622723｝，｛”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728（网址：https://www.wikidata.org/wiki/Q841728）“，”display_name“：”线性逻辑“，”level“：2，”score“：0.594737}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.54808843}，{”id“：”https://openalex.org/C135798126，“wikidata”：https://www.wikidata.org/wiki/Q2167279“，”display_name“：”自上而下和自下而上设计“，”level“：2，”score“：0.51213956}，{”id“：”https://openalex.org/C2987117450，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑程序“，”level“：3，”score“：0.42047226｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3571558}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.30829805｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/351268.351279“，”pdf_url“：null，”source“：null，”license“：null，”liccense_id“：nuld，”version“：nully，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”display_name“：”素质教育“，”score“：0.51，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：2，”referrenced_works“：【”https://openalex.org/W2086765598","https://openalex.org/W2911865844“]，”related_works“：[”https://openalex.org/W50928870","https://openalex.org/W3149276204","https://openalex.org/W2174235632","https://openalex.org/W2167183399","https://openalex.org/W2003151706","https://openalex.org/W1570061845","https://openalex.org/W1529474635","https://openalex.org/W1521860126","https://openalex.org/W1511336005","https://openalex.org/W1493824320“]，”abstract_inverted_index“：{”否“：[0]，”抽象“：[1]，”可用。“：[2]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2070197020“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-09-26T22:28:24.738812“，”创建日期“：“2016-06-24”}