{“id”：“https://openalex.org/W3098044612“，”doi“：”https://doi.org/10.2168/lmcs-2（2:1）2006“，”title“：”用surpjective Pairing扩展Lambda演算是保守的“，”display_name“：”利用surpjection Pairing扩展Lambda演计算是保守的”，“publication_year”：2006，“publiation_date”：“2006-03-16”，“ids”：{“openalex”：“https://openalex.org/W3098044612“，”doi“：”https://doi.org/10.2168/lmcs-2（2:1）2006“，”mag“：”3098044612“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（2:1）2006“，”pdf_url“：”https://lmcs.episciences.org/2249/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/2249/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5063056326“，”display_name“：”Kristian St\u00f8vring“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I204337017“，”display_name“：”奥胡斯大学“，”ror“：”https://ror.org/01aj84f44“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I204337017“]}]，”国家“：[”DK“]，”is_corresponding“：true，”raw_author_name“：”Kristian Stoevring“，”raw _ afiliation_strings“：[“金砖国家，奥胡斯大学计算机科学系，IT-parken，Aabogade 34，DK-8200 Aarhus N，Denmark”]，”从属关系“：[{”raw _affiliation_string“：”金砖国家，奥胡斯大学计算机科学系，IT parken，Aabogade 34，DK-8200 Aarhus N，丹麦”，“机构ID”：[“https://openalex.org/I204337017“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5063056326“]，”对应的机构ID“：[”https://openalex.org/I204337017“]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.579，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：13，“citation_normalized_percentile”：{”value“：0.867085，“is_in_top_1_percent”：false，“is_in_top_10_percennt”：false}，”cited_by_percent ile_year“：{“最小”：84，“最大”：85}，“书目”：{”卷“：”第2卷，第2期“，”问题“：null，”first_page“：nul，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”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.9966，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9737，”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/surjective-function网站“，”display_name“：”surpjective function“，”score“：0.78705156}，{”id“：”https://openalex.org/keywords/conservate-extension网站“，”display_name“：”保守扩展“，”score“：0.6839761}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.456396}]，”concepts“：[{”id“：”https://openalex.org/C14103023，“wikidata”：https://www.wikidata.org/wiki/Q11681459“，”display_name“：”Pairing“，”level“：3，”score“：0.7954313}，{”id“：”https://openalex.org/C119238805，“wikidata”：https://www.wikidata.org/wiki/Q229102“，”display_name“：”surpjective function“，”level“：2，”score“：0.78705156}，{”id“：”https://openalex.org/C136137745，“wikidata”：https://www.wikidata.org/wiki/Q19515659“，”display_name“：”扩展定义“，”level“：3，”score“：0.7495046}，{”id“：”https://openalex.org/C2780432614，“wikidata”：https://www.wikidata.org/wiki/Q864213“，”display_name“：”保守扩展“，”level“：2，”score“：0.6839761}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.5813729}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.5364471}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.5199781｝，｛”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.4624401}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.4620397}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.46097815}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.31897512}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3150892}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.30626154}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.14358783}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.116452485｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.111389905}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.06311506}，{”id“：”https://openalex.org/C54101563，“wikidata”：https://www.wikidata.org/wiki/Q124131“，”display_name“：”超导“，”level“：2，”score“：0.04849395}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77928131，“wikidata”：https://www.wikidata.org/wiki/Q193343“，”display_name“：”大地构造“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（2:1）2006“，”pdf_url“：”https://lmcs.episciences.org/2249/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}，{”is_oa“：false，”landing_page_url“：”https://doaj.org/article/9bcd831fe1db4fe89ebf239141b000a3“，”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/math/0602544，“pdf_url”：https://arxiv.org/pdf/math/0602544，“源”：{“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”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.164.3706，“pdf_url”：http://www.brics.dk//RS/05/35/brics-RS-05-35.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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.math/0602544“，”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（2:1）2006“，”pdf_url“：”https://lmcs.episciences.org/2249/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“：[{”score“：0.4，”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W2952090102","https://openalex.org/W3098044612“]，”referenced_works_count“：21，”referrenced_works“：[”https://openalex.org/W112045510","https://openalex.org/W1507164012","https://openalex.org/W1550542381","https://openalex.org/W1573832301","https://openalex.org/W1582688644","https://openalex.org/W1727609483","https://openalex.org/W1848205187","https://openalex.org/W1988292549","https://openalex.org/W2006607295","https://openalex.org/W2016191840","https://openalex.org/W2018181305","https://openalex.org/W2044758536","https://openalex.org/W2049362364","https://openalex.org/W2067383648网址","https://openalex.org/W2084776839","https://openalex.org/W2090258249","https://openalex.org/W2130837381","https://openalex.org/W2133348159","https://openalex.org/W2164851226","https://openalex.org/W2912720389","https://openalex.org/W4388310127“]，”related_works“：[”https://openalex.org/W4241544125","https://openalex.org/W3201176751","https://openalex.org/W3015473028","https://openalex.org/W2088482003","https://openalex.org/W2008435889","https://openalex.org/W1980339691","https://openalex.org/W1786340849","https://openalex.org/W1562388578","https://openalex.org/W1543071126","https://openalex.org/W1495342505“]，”abstract_inverted_index“：{”We“：[0]，”answer“：[1,21]，”Klop“：[2]，”and“：[3]，”de“：[4]，”Vrijer’s“：[5]，”question“：[6]，”是否“：[7]，”添加“：[8]，”surpjective-pairing“：[9]，”公理“：[10]，”to“：[11]，”the“：[12,33]，”extensional“：[13,34]，”lambda“：[14,35]，“微积分”：[15,36]，“收益”：[16]，“a”：[17,25,29]，“保守”：[18]，“扩展”：[19]，“the”：[20]，“为“：[22,40]，”正。“：[23]，”作为“：[24]，”副产品“：[26]，”我们“：[27]，”获得“：[28]，”句法“：[30]，”证明“：[31]，”that“：[32]，”with“：[37]，”surpjective“：[3]，”配对“：[39]，”一致。“：[41]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3098044612“，”counts_by_year“：[{”year“:2023，”cited_by_count“：1}，{”year“：2020，”cited_by_count”：1}，{“year”：2016，”citecd_by_count“：1}，”{“year”：2015，”citesd_by_count“:1}”，{年“：2014，”citted_by-count“:1}，d_date“：”2024-09-17T07:04:56.008884“，”创建日期“：”2020年11月23日“}