{“id”：“https://openalex.org/W2087086022“，”doi“：”https://doi.org/10.1006/inco.1997.2633“，”title“：”Non-existing Statman’s Double Fixed Point Combinator Does Not Exist，Indeed“，”display_name“：”Non-existed Statman’s Double Fixed Point-Combinator-Deous，Indeed.“，”publication_year“：1997，”publitation_date“：”1997-08-01“，”ids“：{”openalex“：”https://openalex.org/W2087086022“，”doi“：”https://doi.org/10.1006/inco.1997.2633“，”mag“：”2087086022“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1997.2633“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/inco.1997.2633“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corressigning“：true，”raw_author_name“：”Benedetto Intrigila“，”raw_affiation_strings“：[]，”affiliations“：[]｝]，”countries_distict_count“：0，”institutions_dispinict_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5038380237“]，”corresponding_institution_ids“：[]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2610，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”cited_by_percentile_year“：{”min“：81，”max“：82}，“biblio”：{“volume”：“137”，“issue”：“1”，“first_page”：“35”，“last_page”：“40”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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/T12002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9981，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9975，”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/static-analysis网站“，”display_name“：”静态分析“，”score“：0.423635}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.85139287}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6284531}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.13850173}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1997.2633“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1997.2633“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“，”score“：0.5}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：3，”referrenced_works“：【”https://openalex.org/W1985231917","https://openalex.org/W2154273644","https://openalex.org/W2487968798“]，”related_works“：[”https://openalex.org/W4307413753","https://openalex.org/W4242826518","https://openalex.org/W2988498873网址","https://openalex.org/W2748952813","https://openalex.org/W2313450777","https://openalex.org/W2162268423","https://openalex.org/W2026765907","https://openalex.org/W1975604118","https://openalex.org/W1553178672","https://openalex.org/W119766800“]，”ngrams_url“：”https://api.openalex.org/works/W2087086022/ngrams“，”abstract_inverted_index“：{”We“：[0]，”give“：[1]，”a“：[2,6,19]，”negative“：[3]，”answer“：[4]，”to“：[5]，”problem“：[7]，”of“：[8,18]，”R.“：/9]，”Statman“：[10]，”converting“：[11]，”the“：[12,15]，”existence“，”：[13]，“in”：[14]，“lambda”：[16]，”微积分“：[17]，“fixed”：[20]，“point”：[21]，“combinatorYsuch”：[22]，“thatY=Yholds.”：[23]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2087086022“，”“counts_by_year”：[{“年份”：2019，”“cited_by_count”：1}，{“年度”：2018，”“cited_by_cunt”：10}，”“年份”“：2015，”“cited_by_count”“：1}，”“年度”“：2014，”“引用_by_cont”：2}，“年份”编辑日期：“2016-06-24”}