{“id”：“https://openalex.org/W4319454526“，”doi“：”https://doi.org/10.46298/entics.10533“，”title“：”PCF的扩展寻址机器，带显式替换“，”display_name“：”带有显式替换的PCF扩展寻址机器“，”publication_year“：2023，”publiation_date“：”2023-02-22“，”ids“：{”openalex“：”https://openalex.org/W4319454526“，”doi“：”https://doi.org/10.46298/entics.10533“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.46298/entics.10533，“pdf_url”：https://entics.episciences.org/10533/pdf，“源”：{“id”：https://openalex.org/S4387287474“，”“display_name”“：”“理论信息学和计算机科学中的电子笔记”“，”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://entics.episciences.org/10533/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“]｝，｛”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]｝，｛”id“：”https://openalex.org/I4210091437“，”display_name“：”巴黎大学城\u00e9“，”ror“：”https://ror.org/001z21q04“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I4210091437“]｝，｛”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]｝，｛”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“]}]，”国家“：[”FR“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Intrigila，Benedetto“，”raw _ afiliation_strings“：[“Univ.USPN，Sorbonne Paris Cit\u00e9，LIPN，UMR 7030，CNRS，F-93430 Villetaneuse，France。”字符串“：”意大利罗马大学“Tor Vergata”Ingegneria dell’Impresa研究生院，“institution_ids”：[“https://openalex.org/I116067653“]}，{”raw_affiliation_string“：”Univ.USPN，Sorbonne Paris Cit\u00e9，LIPN，UMR 7030，CNRS，F-93430 Villetaneuse，France。“，”institution_ids“：[”https://openalex.org/I204730241","https://openalex.org/I4210091437","https://openalex.org/I1294671590","https://openalex.org/I4210156583“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5058216930“，”display_name“：”Giulio Manzonetto“，”orcid“：”https://orcid.org/0000-0003-1448-9014}，“机构”：[{“id”：https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I116067653“]｝，｛”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]｝，｛”id“：”https://openalex.org/I4210091437“，”display_name“：”巴黎大学城\u00e9“，”ror“：”https://ror.org/001z21q04“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I4210091437“]｝，｛”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]｝，｛”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“]}]，”国家“：[”FR“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Manzonetto，Giulio“，”raw _ afiliation_strings“：[“USPN大学，巴黎索邦大学\u00e9，LIPN，UMR 7030，CNRS，F-93430 Villetaneuse，France。”，“Dipartitmento di Ingegneria dell’Impresa，罗马大学\”Tor Vergata\“，意大利”]，”afiliations“：[{”raw _affilia tion_string“：”意大利罗马大学“Tor Vergata”Ingegneria dell’Impresa研究生院，“institution_ids”：[“https://openalex.org/I116067653“]}，{”raw_affiliation_string“：”Univ.USPN，Sorbonne Paris Cit\u00e9，LIPN，UMR 7030，CNRS，F-93430 Villetaneuse，France。“，”institution_ids“：[”https://openalex.org/I204730241","https://openalex.org/I4210091437","https://openalex.org/I1294671590","https://openalex.org/I4210156583“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5061000807“，”display_name“：”Nicolas Munnich“，”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“]｝，｛”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]｝，｛”id“：”https://openalex.org/I4210091437“，”display_name“：”巴黎索邦城市\u00e9“，”ror“：”https://ror.org/001z21q04“，”country_code“：”FR“，”type“：“other”，”lineage“：[”https://openalex.org/I4210091437“]｝，｛”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]｝，｛”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“]｝]，”国家“：[”FR“，”IT“]，”is_correresponsing“：false，”raw_author_name“：”Munnich，Nicolas“，”raw_affiation_strings“：[”USPN大学，索邦巴黎城市大学，LIPN，UMR 7030，CNRS，F-93430，法国维勒塔内斯“，”罗马大学，意大利“]，”附属机构“：[{”raw_affiation_strings“：”意大利罗马大学“Tor Vergata”Ingegneria dell’Impresa研究生院，“institution_ids”：[“https://openalex.org/I116067653“]}，{”raw_affiliation_string“：”Univ.USPN，Sorbonne Paris Cit\u00e9，LIPN，UMR 7030，CNRS，F-93430 Villetaneuse，France。“，”institution_ids“：[”https://openalex.org/I204730241","https://openalex.org/I4210091437","https://openalex.org/I1294671590","https://openalex.org/I4210156583“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：5，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：0，“cited_by_percentile_year”：{“min”：0，”max“：78}，”biblio“：{”volume“：“volume”1-……程序“，”问题“：null，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9993，“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.9993，“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.9972，”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/T10456“，”“display_name”：“基于代理建模的方法和技术”，“score”：0.9718，“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/model-checking“，”display_name“：”模型检查“，”score“：0.495854}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.717056}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.5970057}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.5929044}，{”id“：”https://openalex.org/C88977235，“wikidata”：https://www.wikidata.org/wiki/Q787114“，”display_name“：”抽象机“，”level“：2，”score“：0.53058684}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.53001416}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.51624846}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.50750536}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.13700709}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.46298/entics.10533，“pdf_url”：https://entics.episciences.org/10533/pdf，“源”：{“id”：https://openalex.org/S4387287474“，”“display_name”“：”“理论信息学和计算机科学中的电子笔记”“，”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/222.11147，“pdf_url”：https://arxiv.org/pdf/2212.11147，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”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“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/222.11147，“pdf_url”：http://arxiv.org/pdf/2212.11147，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”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.46298/entics10533，“pdf_url”：https://entics.episciences.org/10533/pdf，“源”：{“id”：https://openalex.org/S4387287474“，”“display_name”“：”“理论信息学和计算机科学中的电子笔记”“，”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1524744826","https://openalex.org/W1549565321","https://openalex.org/W1605765292","https://openalex.org/W163542482","https://openalex.org/W1923324835","https://openalex.org/W1991685539","https://openalex.org/W1992452788","https://openalex.org/W1996265221","https://openalex.org/W2007270285","https://openalex.org/W2024189573","https://openalex.org/W2039112578","https://openalex.org/W2040871029","https://openalex.org/W2113757735","https://openalex.org/W2125617230","https://openalex.org/W2165446401","https://openalex.org/W2295866357","https://openalex.org/W4236324644","https://openalex.org/W4287104292","https://openalex.org/W4301945969","https://openalex.org/W67134903“]，”related_works“：[”https://openalex.org/W4388145910","https://openalex.org/W4248336175","https://openalex.org/W4241431292","https://openalex.org/W3009369890","https://openalex.org/W2391445434","https://openalex.org/W2381570729","https://openalex.org/W2366107444","https://openalex.org/W2091529945","https://openalex.org/W2031260042","https://openalex.org/W1976205134“]，”ngrams_url“：”https://api.openalex.org/works/W4319454526/ngrams“，”“abstract_inverted_index”：{“寻址”：[0]，“机器”：[1,40,57]，“have”：[2]，“been”：[3]，“introduced”：[4]，“as”：[5]，“a”：[6,35,60]，“形式主义”：[7]，“to”：[8,41]，“construct”：[9]，“models”：[10]，“of”：[11,20]，“the”：[12,13]，“untyped”：[14]，“lambda-calculus.”：[15]，“我们”：[16,50]，“扩展”：[17]，“语法”：[19]，“他们的”：[21,43]，“程序”：[22,79]，“by“：[23]，”adding“：[24]，”instructions“：[25]，”for“：[26,75]，”executing“：[27]，”算术“：[28]，”operations“：[29]，”on“：[30]，”natural“：[31,83]，”numbers“：[32]，”and“：[33,46]，”introduce“：[34]，”reflection“：[36]，”principle“：[37]，”allowing“：[38]，”sequent“：[39]，”access“：[42]，”own“：[44]，“地址”：[45]，“执行”：[47]，“递归”：[48]，“调用。“：[49]，”证明“：[51]，”that“：[52，70]，”结果“：[54]，”扩展“：[55]，”寻址“：[56]，”自然“：[58]，”模型“：[59]，”弱“：[61]，”按名称调用“：[62]，”PCF“：[63，78]，”with“：[64]，”显式“：[65]，”替换。“：[66]，”最后，“：[67]，”我们“：[68]，”显示“：[69]，”他们“：[71]，”是“：[72]，”也是“：[73]，”非常适合“：[74]，”代表“：[76]，”常规“：[77]，”（闭合“：[80]，”术语）“：[81]，”计算“：[82]，”数字。“：[84]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W4319454526“，”counts_by_year“：[]，”updated_date“：”2024-06-15T00:21:31.871653“，”created_date:“2023-02-09”}“