｛“id”：“https://openalex.org/W2084018688“，”doi“：”https://doi.org/10.1145/2603088.2603094“，”title“：”A functional functional interpretation“，”display_name“：”A functional functional interlease“，”publication_year“：2014，”publitation_date“：”2014-07-14“，”ids“：{”openalex“：”https://openalex.org/W2084018688“，”doi“：”https://doi.org/10.1145/2603088.2603094“，”mag“：”2084018688“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603094“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“procedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url发货“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5067464824“，”display_name“：”Pierre-Marie P\u00e9drot“，”orcid“：”https://orcid.org/0009-0002-8006-6239}，“机构”：[{“id”：https://openalex.org/I169173203“，”display_name“：”D\u00e9l\u00e 9gation Paris 7“，”ror“：”https://ror.org/00bw5n526“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I154526488","https://openalex.org/I169173203“]}，{”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“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Pierre-Marie P\u00e9drot“，”raw _ afiliation_strings“：[“巴黎迪德罗大学，法国巴黎”]，”affiliations“：[{”raw _affiliation_strong“：”巴黎迪德罗大学，法国，“institution_ids”：[“https://openalex.org/I169173203","https://openalex.org/I204730241“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5067464824“]，”对应的机构ID“：[”https://openalex.org/I169173203","https://openalex.org/I204730241“]，”apc_list“：null，”apc _ paid“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：5，”citecd_by_percentile_year“：{”min“：83，”max“：84}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9994，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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.9971，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9956，”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.529635}]，”concepts“：[{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”口译（哲学）“，”level“：2，”score“：0.8161365}，｛”id“：”https://openalex.org/C2777601897，“wikidata”：https://www.wikidata.org/wiki/Q3409113“，”display_name“：”演示（产科）“，”level“：2，”score“：0.64903873}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.57643884}，{”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.46243274}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.40879548}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36005318}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.32664114}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.30766898}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.27138013}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.07861963}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0773471}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C126838900，“wikidata”：https://www.wikidata.org/wiki/Q77604“，”display_name“：”放射学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603094“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01111802“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01111802“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：13，“referrenced_works”：https://openalex.org/W1485672136","https://openalex.org/W1525064220","https://openalex.org/W1600838014","https://openalex.org/W1968350036","https://openalex.org/W1971613396","https://openalex.org/W1987058504","https://openalex.org/W2005469394","https://openalex.org/W2090319048","https://openalex.org/W2111069606","https://openalex.org/W2115627721","https://openalex.org/W2163947143","https://openalex.org/W2911865844","https://openalex.org/W4245158255“]，”related_works“：[”https://openalex.org/W4388792380","https://openalex.org/W4387426029","https://openalex.org/W4386731653","https://openalex.org/W4313320911","https://openalex.org/W4254162896","https://openalex.org/W3183204001","https://openalex.org/W3167529338","https://openalex.org/W2925303117","https://openalex.org/W2376001620","https://openalex.org/W1477999932“]，”ngrams_url“：”https://api.openalex.org/works/W2084018688/ngrams网站“，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”paper“：[2]，”we“：[3]，”present“：[4]，”a“：[5]，”现代“：[6]，”reformulation“：[7]，”of“：[8,17]，“the”：[9,14]，“Dialectica”：[10]，“interpresent”：[12]，“on”：[13,34]，“linearized”：[15]，“version”：[16]，“de”：[18]，“Paiva.”：[19]，“相反”：[20]，“to”：[21]，“G\u00f6del's”：[22]，“original”：[23]，“翻译“：[24]，”which“：[25]，”translated“：[26]，”HA“：[27]，”into“：[28]，”system“：[29]，”T，“：[30]，”our“：[31]，”presentation“：[32]，”applicated“：[3]，”untyped“：[35]，”\u03bb-terms“：[36]，”and“：[37]，”features“：[38]，”nicer“：[39]，”proof theoretical“：[40]，”properties。“：[41]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2084018688“，”counts_by_year“：[{“年份”：2022，”cited_by_count“：1}，{“年”：2021，”ciped_by_cunt“：2}，”{“年度”：2019，“cited_by_count”：1}，{”年“：2014，”cited_by_count：1}]，”updated_date“：”2024-06-22T08:15:40.40796“，”created_date:“2016-06-24”}