{“id”：“https://openalex.org/W2070813818“，”doi“：”https://doi.org/10.2168/lmcs-2（4:3）2006“，”title“：”From Proof Nets to the Free*-Autonomous Category“，”display_name“：”从Proof Net to the Free*Autonomousive Categories“，”publication_year“：2006，”publitation_date“：”2006-10-05“，”ids“：{”openalex“：”https://openalex.org/W2070813818“，”doi“：”https://doi.org/10.2168/lmcs-2（4:3）2006“，”mag“：”2070813818“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（4:3）2006“，”pdf_url“：”https://lmcs.episciences.org/2239/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”diamond“，”oa_url“：”https://lmcs.episciences.org/2239/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5001564257“，”display_name“：”F.Lamarche“，”orcid“：”https://orcid.org/0000-0002-4827-9915}，“机构”：[{“id”：https://openalex.org/I4210121838“，”display_name“：”Laboratoire Lorrain de Recherche en Informatique et ses Applications“，”ror“：”https://ror.org/02vnf0c38“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372“]｝]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Francois Lamarche“，”raw_affiation_strings“：[”Laboratoire Lorrain De Recherche En Informatique Et Ses Applications“]，”affiliations“：[｛”raw_affiation_string“：”Laboratoire Lorrain De Recherche En Informatique Et Ses Applications“，”institution_ids“：[”https://openalex.org/I4210121838“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5106497188“，”display_name“：”Lutz Stra\u00dfburger“，”orcid“：”https://orcid.org/0000-0003-4661-6540}，“机构”：[{“id”：https://openalex.org/I142476485“，”display_name“：”\u00c9cole Polytechnique“，”ror“：”https://ror.org/05hy3tk52“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I142476485","https://openalex.org/I4210145102“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Lutz Strassburger“，”raw _ afiliation_strings“：[“Ecole Polytechnology”]，”从属关系“：[{”raw_ afiliation _string“：”Ecole polytechnology“，”institution_ids“：[https://openalex.org/I142476485“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：0，“currency”：“USD”，“value_USD”：0、“provenance”：“doaj”}，“apc_payed”：null，“fwci”：5.264，“has_fulltext”：true，“fulltext_orig”在“：”pdf“，”cited_by_count“：33，”引用_规范化_percentile“：{”value“：0.930068，”is_in_top_1_percent“：false，”is_in_top_10_percents“：true}，”cited_by_percentile_year“：{“min”：90，“max”：91}，“biblio”：{“volume”：“第2卷，第4期”，“Issue”：null，“first_page”：null，“last_page”：null}，‘is_retracted’：falsehttps://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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.9996，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9937，”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/strustructure-proof-theory“，”display_name“：”结构证明理论“，”score“：0.64588195}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.528925}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.514507}，{”id“：”https://openalex.org/keywords/normalization网站“，”display_name“：”规范化（社会学）“，”score“：0.42810917}，{”id“：”https://openalex.org/keywords/analytic-proof网站“，”“display_name”“：”分析证明“，”分数“：0.4146734}，{”id“：”https://openalex.org/keywords/equivalence-relation网站“，”display_name“：”等价关系“，”score“：0.41033787}]，”concepts“：[{”id“：”https://openalex.org/C195653647，“wikidata”：https://www.wikidata.org/wiki/Q7625047“，”display_name“：”结构证明理论“，”level“：4，”score“：0.64588195}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728（网址：https://www.wikidata.org/wiki/Q841728）“，”display_name“：”线性逻辑“，”level“：2，”score“：0.6401019}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.63855624}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732“，”display_name“：”证明理论“，”level“：3，”score“：0.6154285}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5979392}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.590731｝，｛”id“：”https://openalex.org/C42747912，“wikidata”：https://www.wikidata.org/wiki/Q1048447“，”display_name“：”乘法函数“，”level“：2，”score“：0.5724688}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.51932037}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.51259536}，{”id“：”https://openalex.org/C151797676，“wikidata”：https://www.wikidata.org/wiki/Q179692“，”display_name“：”选择公理“，”level“：4，”score“：0.42938778}，{”id“：”https://openalex.org/C136886441，“wikidata”：https://www.wikidata.org/wiki/Q926129“，”display_name“：”规范化（社会学）“，”level“：2，”score“：0.42810917}，{”id“：”https://openalex.org/C135754263，“wikidata”：https://www.wikidata.org/wiki/Q4751136“，”“display_name”“：”分析证明“，”级别“：3，”分数“：0.4146734}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998“，”display_name“：”等价关系“，”level“：2，”score“：0.41033787}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.33795846}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.31446302}，{”id“：”https://openalex.org/C153046414，“wikidata”：https://www.wikidata.org/wiki/Q12482“，”display_name“：”集合论“，”level“：3，”score“：0.26030132}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：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/C144024400，“wikidata”：https://www.wikidata.org/wiki/Q21201“，”display_name“：”社会学“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C19165224，“wikidata”：https://www.wikidata.org/wiki/Q23404“，”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“：7，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（4:3）2006“，”pdf_url“：”https://lmcs.episciences.org/2239/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：false，”landing_page_url“：”https://doaj.org/article/73f67ed0c1294beba7751a7828cff466“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，”type“：”repository“}”，“license”：nullis_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”https://arxiv.org/abs/cs/0605054，“pdf_url”：https://arxiv.org/pdf/cs/0605054，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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”：“https://hal.inria.fr/inia-00099865v2/file/FreeStarLMCS.pdf，“pdf_url”：https://hal.inria.fr/inia-00099865v2/file/FreeStarLMCS.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/inia-00099865v2/document，“pdf_url”：https://hal.inia.fr/inia-00099865v2/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/inia-00099865，“pdf_url”：https://inria.hal.science/inia-00099865/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.cs/0605054“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.2168/lmcs-2（4:3）2006“，”pdf_url“：”https://lmcs.episciences.org/2239/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W2070813818","https://openalex.org/W2951402004“]，”referenced_works_count“：56，”referenced_works“：[”https://openalex.org/W12191629","https://openalex.org/W136934826","https://openalex.org/W1504764593","https://openalex.org/W1508490157","https://openalex.org/W1551410202","https://openalex.org/W1595555305305","https://openalex.org/W1603433922","https://openalex.org/W1603473135","https://openalex.org/W1679894682","https://openalex.org/W1811725859","https://openalex.org/W1857767003","https://openalex.org/W1859409208（网址：https://openalex.org/W1859409208）","https://openalex.org/W1910820376","https://openalex.org/W1964454590","https://openalex.org/W1966457489","https://openalex.org/W1977882652","https://openalex.org/W1985063546","https://openalex.org/W1985185257","https://openalex.org/W1996605832","https://openalex.org/W2002241150","https://openalex.org/W2009908753","https://openalex.org/W2013470278","https://openalex.org/W2018773995","https://openalex.org/W2033823998","https://openalex.org/W2041917765","https://openalex.org/W2051450758","https://openalex.org/W2052249237","https://openalex.org/W2071402192","https://openalex.org/W2075367647","https://openalex.org/W2076596727","https://openalex.org/W2078432227","https://openalex.org/W2079171825","https://openalex.org/W2086377938","https://openalex.org/W2088895474","https://openalex.org/W2092954762","https://openalex.org/W2102246643","https://openalex.org/W2108232891","https://openalex.org/W2112970627","https://openalex.org/W2117737141","https://openalex.org/W2120713972","https://openalex.org/W2120950381","https://openalex.org/W2124278852","https://openalex.org/W2167202795","https://openalex.org/W220929679","https://openalex.org/W259005164","https://openalex.org/W2739060726","https://openalex.org/W2911865844","https://openalex.org/W2949631033","https://openalex.org/W3145855177","https://openalex.org/W33924498","https://openalex.org/W4234269419","https://openalex.org/W4237528529","https://openalex.org/W4255194959","https://openalex.org/W4256453086","https://openalex.org/W4296914955","https://openalex.org/W60207483“]，”related_works“：[”https://openalex.org/W4234403895","https://openalex.org/W2915293568","https://openalex.org/W2722497084","https://openalex.org/W2481254132","https://openalex.org/W2163170048","https://openalex.org/W2134137673","https://openalex.org/W2007362771","https://openalex.org/W1916795416","https://openalex.org/W171706349","https://openalex.org/W1490051504“]，”abstract_inverted_index“：{”In“：[0,85]，”the“：[1,20,26,49,74,86,90,95103110]，”first“：[2]，”part“：[3,88]，”of“：[4,11,29,41,69,77,82,89105]，”this“：[5]，”paper“：[6,91]，”we“：[7,92]，”present“：[08]，”a“：[9,39,45,66]，”theory“：[10,28]，”proof“：[12,32107]，“网络”：[13108]，“for”：[14]，“full”：[15]，“乘法”：[16,31]，“线性”：[17]，“逻辑”：[18]包括“：[19]，”两个“：[21]，”单元。“：[22]，“It”：[23]，“natural”：[24]，“extends”：[25]，“knowled”：[27]，“unit-free”：[30]，“nets”。“：[33]，”A“：[34]，”链接“：[35]，”is“：[36]，”no“：[37]，”longer“：[38]，”set“：[40]，”axiom“：[42,50]，”links“：[43,51]，”but“：[44]，”tree“：[46]，”in“：[47]，”which“：[48]，”are“：[22100]，”subtrees“。“：[53]，”These“：[54]，”trees“：[55]，”will“：[56]，”be“：[57]，”identified“：[58]，”according“：[59]，”to“：[60]，”an“：[61]，”equivalence“：[62]，”relation“：[63]，”based“：/64]，”on“：[65,98]，”simple“：[67]，”form“：68]，”graph“：[70]，”重写。“：[71]，“We”：[72]，“show”：[73,93]，“standard”：【75】，“results”：【76】，“sequentialization”：【78】，“and”：【79】，“strong”：【80】，“normalized”：【81】，“cut”：【83】，“elimination”。“：[84]，”second“：[87]，”that“：[94102]，”identifications“：[96]，”implemented“：[97]，”proof“：[99]，”suse“：[101]，”class“：[104]，”two-connection“：[106]，”defines“：[109]，”free“：[111]，”*-automonic“：[112]，”category。“：[113]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2070813818“，”counts_by_year“：[{”年“：2019，”cited_by_count“：2}，{”年份“：2018，”cited_by_count”：1}，“{”年度“：2016，”citecd_by_count“：1}，”{“年份”：2015，”citesd_by_count“:2}”，{“年”：2014，“citecd_by_counts”：4}，”年“，”2013，“cited_by-count”日期“：”2024-09-17T04:18:10927583“，”创建日期“：“2016-06-24”}