{“id”：“https://openalex.org/W2138986001“，”doi“：”https://doi.org/10.1145/41625.41650网址“，”title“：“别名和支持集的计算”，”display_name“：”别名和支持集中的计算“，”publication_year“：1987，”publitation_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2138986001“，”doi“：”https://doi.org/10.1145/41625.41650网址“，”mag“：”2138986001“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41650网址，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41650“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/41625.41650“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5024654169“，”display_name“：”Anne Denise Neilynck“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I4210156583“，”display_name“：”巴黎诺德信息实验室“，”ror“：”https://ror.org/05g1zjw44“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245“]}，{”id“：”https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”FR“，”US“]，”is_corresponding“：false，”raw_author_name“：”A.Neirynck“，”raw _affiliation_strings“：[“康奈尔大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”康奈尔学院计算机科学系“，”institution_ids“：[https://openalex.org/I4210156583","https://openalex.org/I205783295“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5087136352“，”display_name“：”Alan Demers“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I173498003“，”display_name“：”Palo Alto研究中心“，”ror“：”https://ror.org/0529fxt39“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I173498003","https://openalex.org/I4210132870“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”A.J.Demers“，”raw_affiation_strings“：[”Xerox Parc，Palo Alto“]，”附属机构“：[｛”raw_affiation_string“：”Xerox Parc，Palo Alto“，”institution_ids“：[”https://openalex.org/I173498003“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：23，“cited_by_percentile_year”：{“min”：88，”max“：89}，”biblio“：{”volume“：nul，“issue”：null，“first_page”：nul，“last_page”：null}is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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.9994，“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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”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.9967，“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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.553088｝，｛”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.533623}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.89978117}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.76121014}，{”id“：”https://openalex.org/C90559484，“wikidata”：https://www.wikidata.org/wiki/Q778379“，”display_name“：”Expression（computer science）“，”level“：2，”score“：0.70977664}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.69645554}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.62469006}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.61925274}，{”id“：”https://openalex.org/C77618280，“wikidata”：https://www.wikidata.org/wiki/Q1155772“，”display_name“：”Scheme（数学）“，”level“：2，”score“：0.60177636}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.5142009}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4792952}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47808644}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.30675232}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.14986154｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41650网址，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41650“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/1813/6603，“pdf_url”：https://ecommons.cornell.edu/bitstream/1813/6603/1/86-763.pdf，“源”：{“id”：https://openalex.org/S4306400757“，”display_name“：”eCommons（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/41625.41650网址，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41650“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“，”score“：0.63}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：18，”referrenced_works“：[”https://openalex.org/W110081418","https://openalex.org/W148618868","https://openalex.org/W1512248102","https://openalex.org/W1599561194","https://openalex.org/W1604342352","https://openalex.org/W1924152497","https://openalex.org/W1966449927","https://openalex.org/W1993592642","https://openalex.org/W1998717006","https://openalex.org/W2016558072","https://openalex.org/W2032277118","https://openalex.org/W2043100293","https://openalex.org/W2048683749","https://openalex.org/W2048921878","https://openalex.org/W2064596811","https://openalex.org/W3044869787","https://openalex.org/W3151087846","https://openalex.org/W60370665“]，”related_works“：[”https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W2950376466","https://openalex.org/W2949331520","https://openalex.org/W2466303427","https://openalex.org/W2381031055","https://openalex.org/W2366070815","https://openalex.org/W2000943029","https://openalex.org/W1578828174","https://openalex.org/W1511249877“]，”ngrams_url“：”https://api.openalex.org/works/W2138986001/ngrams“，”“abstract_inverted_index”：{“We”：[0,71]，“provide”：[1]，“a”：[2,17,32,80]，“scheme”：[3,30]，“for”：[4,34]，“determining”：[5]，“which”：[6]，“global”：[7,45]，“variables”：[8,46]，“are”：[9,65]，“invered”：[10,47]，“when”：[11]，“an”：[12,39,60]，“expression”：[13]，“is”1]，“已评估”：[15]，“in”：[16,48]，“language”：[18]，“with”：[19]，“higher”：[20]，“order”：[21]构造“：[22]，”和“：[23,86]，”命令式“：[24]，”功能。“：[25]，”The“：[26,62]，”heart“：[27]，”of“：[28,38,44,55,59,75,90]，”our“：[29,76]，”mechanism“：[33]，”computing“：[35]，”The“：[36,42,57,73,83,87,91]，”support“：[37]，”expression“：[40]，”e.g.“：[41]，”set“：[43]，”its“：[49]，”evaluation“。“：[50]，”This“：[51]，”computation“：[52]，”requires“：[53]，”knowledge“：[54]，”all“：[56]，”alias“：[58]，”表达式。“：[61]，”推理“：[63]，”方案“：[64]，”呈现“：[66]，”作为“：[67]，”抽象“：[68,84]，”语义“：[69]，”解释。“：[70]，”证明“：[72]，”可靠性“：[74]，”估计“：[77]，”通过“：[78]，”建立“：[79]，”对应“：[81]，”介于“：[82]，”语义“：[85,89]，”标准“：[88]，”编程“：[92]，”语言。“：[93]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2138986001“，”counts_by_year“：[]，”updated_date“：”2024-06-15T15:40:57.184317“，”创建日期“：”2016-06-24“}