{“id”：“https://openalex.org/W1978304975“，”doi“：”https://doi.org/10.1305/ndjfl/1040408610“，”title“：”$\\lambda$-Calculus中数值系统的某些结果“，”display_name“：”$\\lambda$-Calgulus中数字系统的某些结论“，”publication_year“：1994，”publitation_date“：”1994-10-01“，”ids“：{”openalex“：”https://openalex.org/W1978304975“，”doi“：”https://doi.org/10.1305/ndjfl/1040408610“，”mag“：”1978304975“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1040408610，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-35/issue-4/Some-Results-on-Numeral-Systems-in-lambda-Calculus/10.1305/ndjfl/10408610.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”“host_organization_name”：“杜克大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“（_U）：”https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-35/issue-4/Some-Results-on-Numeral-Systems-in-lambda-Calculus/10.1305/ndjfl/10408610.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：true，”raw_author_name“:”Benedoto Intrigilla“，”raw _affiliation_strings“：]，”affiliations“：【】}“https://openalex.org/A5038380237“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.622，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：5，”citation_normalized_percentile“：{”value“：0.584413，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”citted_by_percentile_year“：{”min“：70，”max“：72}，“biblio”：{“volume”：“35”，“issue”：“4”，“first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T13400“，”“display_name”：“广义函数在数学和物理中的应用”，“score”：0.9981，“subfield”：{“id”：“https://openalex.org/subfields/2610“，”display_name“：”数学物理“｝，”field“：｛”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T13400“，”“display_name”：“广义函数在数学和物理中的应用”，“score”：0.9981，“subfield”：{“id”：“https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12170“，”“display_name”：“教育和研究中的数学史”，“score”：0.9875，“subfield”：{“id”：“https://openalex.org/subfields/2614“，”display_name“：”理论计算机科学“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10588“，”“display_name”：“动力系统与混沌理论”，“score”：0.982，“subfield”：{“id”：“https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/关键字/数字系统“，”display_name“：”数字系统“，”score“：0.9310211}，{”id“：”https://openalex.org/keywords/反例“，”display_name“：”反例“，”score“：0.8073935}，{”id“：”https://openalex.org/keywords/church-encoding网站“，”display_name“：”Church encoding“，”score“：0.7097607}，{”id“：”https://openalex.org/keywords/infine-and-infinesimal-numbers网站“，”display_name“：”无限和无穷小数字“，”score“：0.509286}，{”id“：”https://openalex.org/keywords/independence网站“，”display_name“：”独立性（概率论）“，”score“：0.44202816}，{”id“：”https://openalex.org/keywords/zero“，”display_name“：”Zero（语言学）“，”score“：0.438428｝]，”concepts“：[｛”id“：”https://openalex.org/C204160518，“wikidata”：https://www.wikidata.org/wiki/Q122653“，”display_name“：”数字系统“，”level“：2，”score“：0.9310211}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.8073935}，{”id“：”https://openalex.org/C77736955，“wikidata”：https://www.wikidata.org/wiki/Q1089708“，”display_name“：”Church encoding“，”level“：5，”score“：0.7097607}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.59832454}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.520815}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”等级“：1，”分数“：0.5003419}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.4497733}，{”id“：”https://openalex.org/C35651441，“wikidata”：https://www.wikidata.org/wiki/Q625303“，”display_name“：”独立性（概率论）“，”level“：2，”score“：0.44202816}，{”id“：”https://openalex.org/C2780813799，“wikidata”：https://www.wikidata.org/wiki/Q3274237“，”display_name“：”Zero（语言学）“，”level“：2，”score“：0.438428}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.39338845}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.38759887}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.27696776}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.21072903}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.16413027}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”Dentry“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1040408610，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-35/issue-4/Some-Results-on-Numeral-Systems-in-lambda-Calculus/10.1305/ndjfl/10408610.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”“host_organization_name”：“杜克大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1305/ndjfl/1040408610，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-35/issue-4/Some-Results-on-Numeral-Systems-in-lambda-Calculus/10.1305/ndjfl/10408610.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”“host_organization_name”：“杜克大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.79，”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：4，”referrenced_works“：【”https://openalex.org/W165194345","https://openalex.org/W2020671663","https://openalex.org/W2126529709","https://openalex.org/W2530006810“]，”related_works“：[”https://openalex.org/W4300997203","https://openalex.org/W3098775014","https://openalex.org/W3098276362","https://openalex.org/W3042677756","https://openalex.org/W2619736697","https://openalex.org/W2603064975","https://openalex.org/W2105709470","https://openalex.org/W2077981730","https://openalex.org/W2028539479","https://openalex.org/W1978304975“]，”abstract_inverted_index“：{”In“：[0,99]，”this“：[1]，”paper“：[2]，”we“：[3,13,71101110]，”study“：[4,22]，”numeric“：[5,31,50119]，”systems“：[6,61]，”In“：[7126]，”the“：[8,23,26,74,84,92112127]，”$\\lambda\\beta\\eta$-微积分“：[9]，”With“：[10]，”one“：[11]，“例外”：[12]，“假设”：[14]，“那”：[15105]，“全部”：[16]，“数字”：[17]，“有”：[18]正常“：[19]，”形式“：[20]，”我们“：[21,33,44,81]，”独立“：[24]，”的“：[25,28,30,49,53,59,68,76,87,95,97115134]，”条件“：[27]，”充分性“：[29]，“系统。“：[32]，”find“：[34]，”that“：[35]，”to“：[36，65，73]，”a“：[37，63，66103122132]，”great“：[38]，”extent“：[39]，”they“：[40106]，”are“：[41]，”mutual“：[42]，”independent“。“：[43]，”然后“：[45]，”考虑“：[46]，”特定“：[47100]，”示例“：[48]，”系统“，：[51]，”一些“：[52]，”其中“：[54]，”显示“：[55]，”矛盾“：[56]，”属性。“：[57]，”一“：[58]，”这些“：[60]，”家具“：[62]，”反例“：[64]，”推测“：[67]，”B\u00f6hm。“：[69]，”下一步“：[70]，”转身“：[72]，”接近“：[75]，”库里“：[77]，”辛德利“：[78]，”和“：[79136]，”塞尔丁。“：[80]，”驻留“：[82]，”使用“：[83,91]，”通用“：[85]，”问题“：[86104133]，”获取“：[88]，”他们的“：[89]，”结果“：[90]，”附加“：[93]，”要求“：[94]，”不可兑换“：[96]，”数字。“：[98]，”求解“：[102]，”左“：[107]，”打开。“：[108]，”最后，“：[109]，”给定“：[111]，”第一“：[113]，”示例“：[114]，”an“：[116]，”适当“：[117]，”不可解“：[118]，”系统“：[120]，”没有“：[121]，”测试“：[123]，”for“：[124]，”zero“：[125]，”通常“：[128]，”sense“：[129]，”因此“：[130]，”求解“：[131]，”Barendregt“：[135]，”巴伦德森。“：[137]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1978304975“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2017，”ciped_by_cunt“：1'，{”年份“：2015，”cited_by_count”：1}]，”updated_date“：”2024-09-16T00:20:37.527430“，”created_dates“：”2016-06-24“}