{“id”：“https://openalex.org/W1429272185“，”doi“：”https://doi.org/10.1017/s0960129515000298“，”title“：”无限仿射证明“，”display_name“：”无限仿射证明“，”publication_year“：2015，”publication_date“：”2015-07-07“，”ids“：｛”openalex“：”https://openalex.org/W1429272185“，”doi“：”https://doi.org/10.1017/s0960129515000298“，”mag“：”1429272185“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129515000298“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5088134720“，”display_name“：”Damiano Mazza“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210091279“，”display_name“：”巴黎北索邦大学\u00e9“，”ror“：”https://ror.org/0199hds37“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I4210091279“]}，{”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“]}，{”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/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/I1294671590“，”display_name“：”国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Damiano Mazza“，”raw _affiliation_strings“：[“CNRS，UMR 7030，巴黎北区信息实验室，巴黎大学，巴黎13，巴黎索邦大学城，F-93430 Villetaneuse，FranceEmail:damiano.mazza@lipn.univ-paris13.fr“]，”附属机构“：[｛”raw_affiation_string“：”CNRS，UMR 7030，巴黎北部信息实验室，巴黎13大学，巴黎索邦大学，法国维尔塔内斯F-93430电子邮件：damiano.mazza@lipn.univ-paris13.fr“，”institution_id“：[”https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210091437","https://openalex.org/I204730241","https://openalex.org/I1294671590“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：5，”corresponding_author_ids“：[”https://openalex.org/A5088134720“]，”对应的机构ID“：[”https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210091437","https://openalex.org/I204730241","https://openalex.org/I1294671590“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.334，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”citation_normalized_percentile“：{”value“：0.69134，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{“min”：73，“max”：77}，“biblio”：{“volume”：“27”，“issue”：“5”，“first_page”：“581”，“last_page”：“602”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.997，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9846，“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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.47573}，{”id“：”https://openalex.org/keywords/instentionistic-logic“，”display_name“：”直觉主义逻辑“，”score“：0.44619942}]，”concepts“：[{”id“：”https://openalex.org/C42747912，“wikidata”：https://www.wikidata.org/wiki/Q1048447“，”display_name“：”乘法函数“，”level“：2，”score“：0.7980031}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.7545413｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.71631396}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.6614506}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362网址“，”display_name“：”绑定函数“，”level“：2，”score“：0.65033}，{”id“：”https://openalex.org/C92757383，“wikidata”：https://www.wikidata.org/wiki/Q382497“，”display_name“：”仿射变换“，”level“：2，”score“：0.5497178}，{”id“：”https://openalex.org/C173110770，“wikidata”：https://www.wikidata.org/wiki/Q382698“，”display_name“：”仿射空格“，”level“：3，”score“：0.5027385}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.48333332｝，｛”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.46935472}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.44619942}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.43014035}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.39238366}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.071842015}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129515000298“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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”：30，“referenced_works“：[”https://openalex.org/W1490189322","https://openalex.org/W1560529447","https://openalex.org/W1890268527","https://openalex.org/W192070947","https://openalex.org/W1968168625","https://openalex.org/W1973576343","https://openalex.org/W1985185257","https://openalex.org/W1995251574","https://openalex.org/W2002689571","https://openalex.org/W2007411063","https://openalex.org/W2012961833","https://openalex.org/W2016191840","https://openalex.org/W2024189573","https://openalex.org/W2054684736","https://openalex.org/W2084539672","https://openalex.org/W2107879081","https://openalex.org/W2117099199","https://openalex.org/W2131138315","https://openalex.org/W2145617779","https://openalex.org/W2165446401","https://openalex.org/W2796836074","https://openalex.org/W2911816136","https://openalex.org/W2911865844","https://openalex.org/W2911874855","https://openalex.org/W312307718","https://openalex.org/W369132086","https://openalex.org/W41330591","https://openalex.org/W41705835","https://openalex.org/W4205415028网址","https://openalex.org/W4212983671“]，”related_works“：[”https://openalex.org/W976496805","https://openalex.org/W4388320913","https://openalex.org/W4376123210","https://openalex.org/W4302445854","https://openalex.org/W4280043137","https://openalex.org/W3091861551","https://openalex.org/W2116032385","https://openalex.org/W2112970627","https://openalex.org/W2063371018","https://openalex.org/W1593345747“]，”abstract_inverted_index“：{”Even“：[0]，”thread“：[1]，”the“：[2,47,6111218135]，”乘法\u2013additive“：[3,48,64]，”fragment“：[4,49]，”of“：[5,19,26,54,82,91105114120127137]，”linear“：[6,40,65,72109130]，”logic“：[7,4166]，”forbids“：[8]，”structural“：[9,27]，”rules“：[10]，”in“：[11,701]11134]，“通用”，：[12]，“是”：[13,67,76124132]，“does“：[14]，”admit“：[15]，”a“：[16,23,43,79,88101125]，”bounded“：[17,24,52]，”form“：[18,25]，”index“：[20107]，”models“：[21]，”enjoying“：[22]，”rules。“：[28]，”The“：[29]，”近似“：[30，53]，”定理“：[31]，”最初“：[32]，”证明“：[33]，”由“：[34]，”Girard“：[35]，”状态“：[36]，”that“：[37，63，98]，”if“：[38]，”full“：[39，71]，”证明“：[42，50]，”命题“：[44]，”公式“：[45]，”然后“：[46]，”每个“：[51]，”它。”：[55]，“这个”：[56]，“可能”：[57]，“是”：[58]，“被理解”：[59]，“作为”：[60]，“事实”：[62]，“不知何故”：[68]，“密集”：[69133]，“逻辑”：[73]，“我们的”：[74]，“目标”：[75]，“到”：[77]，“给予”：[78]，“技术”：[80]，“公式”：[81]，“这个”：[83]，“非正式”：[84]，“备注。”：[85]，“We”：[86]，“介绍”：[87]，“Cauchy-complete”：[89]，“空格”：[90136]，“无限”：[92]，“仿射”：[93]，“术语proof“：[94]，”and“：[95]，”We“：[96]，”show“：[97]，”it“：[99]，”yields“：[100]，”fully“：[102]，“完整”：[103]，“模型”：[104126]，“乘法”：[106128]，“极化”：[108129]，“逻辑”，：[110131]，“样式”：[113]，“Girard’s”：[115]，“ludics.”：[116]，“此外，”：[117]，“子空间”：[119]，“有限”：[121]，“术语证明”：[122]，“其中”：[123]，“全部”：[138]，“条款证明。”：[139]}，“引用_by_api url“（_U）：”https://api.openalex.org/works？filter=cites:W1429272185“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}，{”年份“：2016，”cited_by_count”：1}]，”更新日期“：”2024-08-27T22:14:07.902565“，”created_date“：”2016-06-24“}