{“id”：“https://openalex.org/W1527432636“，”doi“：”https://doi.org/10.1007/3-540-57887-0_115“，”title“：”Discovering needed reduction using type theory“，”display_name“：”Discovering required reduction use type theoty“，”publication_year“：1994，”publitation_date“：”1994-01-01“，”ids“：{”openalex“：”https://openalex.org/W1527432636“，”doi“：”https://doi.org/10.1007/3-540-57887-0_115“，”mag“：”1527432636“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_115“，”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/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：[“英国爱丁堡大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”英国爱丁伯格大学计算机科学学院“，”institution_ids“：[https://openalex.org/I98677209“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5047951273“]，”对应的机构ID“：[”https://openalex.org/I98677209“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：45，”cited_by_percentile_year“：{“min”：92，“max”：93}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“555”，“last_page”：“574”}，：false，“is_paratext”：false，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9956，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9937，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.489669}]，”concepts“：[{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5996246}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.4717689}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.42518634}，{”id“：”https://openalex.org/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069（网址：https://www.wikidata.org/wiki/Q1069）“，”display_name“：”地质“，”等级“：0，”分数“：0.10740441}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.038196623}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_115“，”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“：”系列丛书“｝，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[｛”id“：”https://metadata.un.org/sdg/13“，”display_name“：”Climate action“，”score“：0.41}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：9，”referrenced_works“：[”https://openalex.org/W1527432636","https://openalex.org/W1554516311","https://openalex.org/W1980647766","https://openalex.org/W2063179190","https://openalex.org/W2123812977","https://openalex.org/W2147478629","https://openalex.org/W2600130231","https://openalex.org/W2911865844","https://openalex.org/W4243854355“]，”related_works“：[”https://openalex.org/W4386614239","https://openalex.org/W4376865054","https://openalex.org/W4306816010","https://openalex.org/W4306353309","https://openalex.org/W4283575722","https://openalex.org/W4225424606","https://openalex.org/W3120415410","https://openalex.org/W2787703111","https://openalex.org/W2163980057","https://openalex.org/W2117463039“]，”ngrams_url“：”https://api.openalex.org/works/W1527432636/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“identification”：[1]，“of”：[2,48,66,74,97]，“The”：[3,26,45,63]，“needed”：[4,37,46,64]，“redexes”：[5,24,35,47]，“in”：[6]，“a”：[7,15,30,49,67,87]，“term”：[8,32,51]，“is”：[9]，“an”：[10]，“undeditable”：[11]，“problem”：[12]，“我们”：[13]，“介绍”：[14]，“（部分”：[16]，“可判定）”：[17]，“类型”：[18]，“分配”：[19]，“系统，“：[20]，”哪个“：[21，93]，”区分“：[22]，”确定“：[23]，”被称“：[25]，”允许“：[27，34]，”重新定义。“：[28,38]，”For“：[29]，”well-typed“：[31,91]，”e“：[33]，”are“：[36,52,58]，”In“：[3]9]，“addition，”：[40]，“with”：[41]，“principal”：[42]，“typeing”：[43]，“all”：[44,62]，“normalizable”：[50,70]，“allowable”。“：[53]，”使用“：[54]，”这些“：[55,75]，”结果“：[56]，”我们“：[57]，”能力“：[59]，”到“：[60]，”识别“：[61]，”减少“：[65]，”主要“：[68]，”类型“：[69]，”术语。“：[71]，“可能”：[72]，“应用程序”：[73]，“结果”：[76]，“包括”：[77]，“严格性”：[78]，“和”：[79,86]，“共享”：[80]，“分析”：[81]，“用于”：[82,90]，“函数”：[83]，“编程”：[84]，“语言”：[85]，“简化”：[88]，“策略”：[89]，“术语”：[92]，“满足”：[94]，“L\u00e9vy's“：[95]，”概念“：[96]，”最佳“：[98]，”简化。“：[99]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1527432636“，”counts_by_year“：[{年：2024，”cited_by_count“：1}，{年“：2023，”cited_by_count”：2}，”{“年”：2022，”citecd_by_count“：3}，“年份”：2017，“引用_by_count”：7}，{“年度”：2016，“引用_ by_counts”：3}]，“更新日期”：“2024-06-16T17:39:01.362754“，”创建日期“：”2016-06-24“}