{“id”：“https://openalex.org/W2285506025“，”doi“：”https://doi.org/10.1017/s096012951500419“，”title“：”Lambda theorys allowing terms with finited number of fixed points“，”display_name“：”Lambda theories allowing terms with fixed number for fixed doint“，”publication_year“：2015，”publitation_date“：”2015-07-29“，”ids“：{”openalex“：”https://openalex.org/W2285506025“，”doi“：”https://doi.org/10.1017/s096012951500419“，”mag“：”2285506025“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500419“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”MSCS。计算机科学的数学结构/计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I116067653“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Benedetto Intrigila“，”raw _ afiliation_strings“：[“Dipartitmento di Ingegneria dell'Impresa，University \u00e0 di Roma \u2018Tor Vergata，\u2019Rome，Italy”]，”从属关系“：[{”raw _affiliation_strong“：”意大利罗马大学Ingegneria dell’Impresa学院，2018Tor Vergata，2019Rome，Italy“，”institution_ids“：[”https://openalex.org/I116067653“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Richard Statman“，”raw _affiliation_strings“：[“美国宾夕法尼亚州匹兹堡卡内基梅隆大学数学科学系”]，”affiliations“：[{”raw _affiliation_string“：”美国宾夕法尼亚州匹兹堡卡内基梅隆大学数理科学系”，“机构ID“：[”https://openalex.org/I74973139“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count 27“，”issue“：”3“，”first_page“：”405“，”last_page“：”427“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9899，“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.9899，“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.9886，”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/T2002“，”display_name“：”计算复杂性和算法信息理论“，”score“：0.9824，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.471968}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.8541875}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”Constructive“，”level“：3，”score“：0.66205794}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”固定点“，”level“：2，”score“：0.65192336}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.64966786}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.6130492}，{”id“：”https://openalex.org/C184264201，“wikidata”：https://www.wikidata.org/wiki/Q21199“，”display_name“：”自然数“，”level“：2，”score“：0.563597｝，｛”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.5097732}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”display_name“：”属性（哲学）“，”级别“：2，”分数“：0.49153075}，{”id“：”https://openalex.org/C203702658，“wikidata”：https://www.wikidata.org/wiki/Q1073063“，”display_name“：”递归枚举语言“，”level“：2，”score“：0.45343155}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.43694815}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.43491712｝，｛”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3495412}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.21711811}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0897215}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.064974815}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材料“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500419“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”MSCS。计算机科学的数学结构/计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：8，“referrenced_works”：〔”https://openalex.org/W1833403382","https://openalex.org/W1982823696","https://openalex.org/W2009056279","https://openalex.org/W2026682644","https://openalex.org/W2087242991","https://openalex.org/W2154273644","https://openalex.org/W2905135108","https://openalex.org/W2915010338“]，”related_works“：[”https://openalex.org/W4307413753","https://openalex.org/W2226598862","https://openalex.org/W2146755812","https://openalex.org/W2092992954","https://openalex.org/W2087242991","https://openalex.org/W2026765907","https://openalex.org/W2007089758","https://openalex.org/W1975604118","https://openalex.org/W1552949294","https://openalex.org/W119766800“]，”ngrams_url“：”https://api.openalex.org/works/W2285506025/ngrams网站“，”“abstract_inverted_index”：{“A”：[0,20109]，“natural”：[1]，“question”：[2,25,41]，“in”：[3,51]，“the”：[4,9,39,43,55,64104134]，“\u03bb-calculus”：[5]，“asks”：[6]，“what”：[7]，“is”：[8,26,66,92107]，“possible”：[10]，“number”：[11,44,65]，“of”：[12,15,31,45,48,57,96114]，“固定”：[13,46,85131]，“点”：[14,47132]，“A”：[16,49,58,88,97115119]，“组合符”：[17,50]，“（关闭”：[18]，“术语）。”：[19]，“完成”：[21]，“回答”：[22]，“到”：[23]，“这个”：[24,91]，“仍然”：[27]，“丢失”：[28]，（问题：[29]，”25“：[30]，“TLCA”：[32]，“打开”：[33]，“问题”：[34]，“列表）”：[35]，“和”：[36]，“我们”：[37]，“调查”：[38]，“相关”：[40]，“关于”：[42]，“\u03bb-theories”：[52]，“我们”：[53,71]，“显示”：[54,73]，“存在”：[56]，“递归”：[59]，“可枚举”：[60]，“lambda”：[61]，“theory”：[62]，“where”：[63103]，“always”：[67]，“one”：[68]，“or”：[69]，“infinite”。：[70]，“also”：[72]，“that”：[74,71924]，“there”：[75]，“are”：[76]，“\u03bb theories”：[77]，“such”：[78]，“some”：[80125]，“terms”：[81126]，“have”：[82128]，“仅”：[83129]，“两个”：[84130]，“点。”：[86]，“在”：[87]，“第一个”：[89]，“示例”：[90]，“已获得”：[93]，“by”：[94]，“表示”：[95]，“非破坏性”：[98]，“（更多”：[99]，“精确”：[100]，“non-r.e.）”：[101]，“\u03bb-theory”：[102117]，“范围”：[105135]，“属性”：[106136]，“违反。”：[108]，“秒”：[110]，“更多”：[111]，“复杂”：[112]，“示例”：[113]，“无r.e.”：%11]，“[118]，“更高”：[120]，“无法解决”：[121]，“度）”：[122]，“显示”：[123]，“可以”：[127]，“while”：[133]，“holds”：[137]，“for”：[138]，“every”：[139]，“term.”：%140]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2285506025“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}]，”更新日期“：”2024-06-19T06:17.829625“，”创建日期“：“2016-06-24”}