｛“id”：“https://openalex.org/W4381826824“，”doi“：”https://doi.org/10.48550/arxiv.2306.12535“，”title“：”Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化“，”display_name“：”Isabelle/HOL的CHSH不等和Tsirlson上界形式化“；”publication_year“：2023，”publication_date“：”2023-01-01“，”ids“：{”openalex“：”https://openalex.org/W4381826824“，”doi“：”https://doi.org/10.48550/arxiv.2306.12535“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2306.12535“，”pdf_url“：空，”源“：{”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“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“posted-content”，”indexed_in“：[”arxiv“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oa_url“：”https://arxiv.org/abs/2306.12535“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：”https://orcid.org/0000-0001-5765-0758“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Echenim，Mnacho“，”raw_affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5022852175“，”display_name“：”Mehdi Mhalla“，”orcid“：”https://orcid.org/0000-0003-4178-5396“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Mhalla，Mehdi“，”raw _ afiliation_strings“：[]]，”附属机构“：[]}]，”机构资产“：[]，“countries _ distinct_count”：0，“机构区分计数”：0支付“：null，”fwci“：nul，”has_fulltext“：false，”cited_by_count“：0，”citation_normalized_percentile“：{”value“：0.0，”is_in_top_1_percent“：false}，”cited_by_percentile_year“：{“min”：0，“max”：71}，“biblio”：{“volume”：null，“issue”：null，“first_page”：nully，“last_page”：null}，‘is_retracted’：false _主题“：{”id“：”https://openalex.org/T10020“，”display_name“：”量子信息与计算“，”score“：0.9954，”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/T10020“，”display_name“：”量子信息与计算“，”score“：0.9954，”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/T10682“，”display_name“：”量子计算与模拟“，”score“：0.9945，”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/T10622“，”“display_name”：“量子力学基础与解释”，“score”：0.9929，“subfield”：{“id”：“https://openalex.org/subfields/3107“，”display_name“：”原子分子物理与光学“}，”字段“：{”id“：”https://openalex.org/fields/31网址“，”display_name“：”物理学和天文学“}，”域“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/chsh-inequality网站“，”display_name“：”CHSH不等式“，”score“：0.7699729}，{”id“：”https://openalex.org/keywords/quantum-nonlocality网站“，”display_name“：”量子非定域“，”score“：0.549144}，{”id“：”https://openalex.org/keywords/bell-test-experiments网站“，”display_name“：”贝尔测试实验“，”score“：0.54020476}，{”id“：”https://openalex.org/keywords/quantum-information网站“，”display_name“：”量子信息“，”score“：0.539868}，{”id“：”https://openalex.org/keywords/quantum解释“，”display_name“：”量子解释“，”score“：0.524585}，{”id“：”https://openalex.org/keywords/quantum-error-correction（https://openalex.org/keywords/quantum-error-correction）“，”display_name“：”Quantum Error Correction“，”score“：0.508405}，{”id“：”https://openalex.org/keywords/hidden-variable-theory网站“，”display_name“：”隐变量理论“，”score“：0.49454615}]，”concepts“：[{”id“：”https://openalex.org/C134265032，“wikidata”：https://www.wikidata.org/wiki/Q5011347“，”display_name“：”CHSH不等式“，”level“：5，”score“：0.7699729}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.6764604}，{”id“：”https://openalex.org/C45555294，“wikidata”：https://www.wikidata.org/wiki/Q28113351“，”display_name“：”不平等“，”等级“：2，”分数“：0.55847704}，{”id“：”https://openalex.org/C11511207，“wikidata”：https://www.wikidata.org/wiki/Q1054240“，”“display_name”“：”贝尔测试实验“，”级别“：5，”分数“：0.54020476}，{”id“：”https://openalex.org/C84114770，“wikidata”：https://www.wikidata.org/wiki/Q46344“，”display_name“：”Quantum“，”level“：2，”score“：0.53471833}，{”id“：”https://openalex.org/C137002209，“wikidata”：https://www.wikidata.org/wiki/Q898511网址“，”display_name“：”隐藏变量理论“，”level“：3，”score“：0.49454615}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.49166995}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.41252345}，{”id“：”https://openalex.org/C146846114，“wikidata”：https://www.wikidata.org/wiki/Q901448“，”display_name“：”爱因斯坦“，”level“：2，”score“：0.4121343}，{”id“：”https://openalex.org/C128108043，“wikidata”：https://www.wikidata.org/wiki/Q388525“，”display_name“：”Bell定理“，”level“：4，”score“：0.39822865}，{”id“：”https://openalex.org/C3332235网址，“wikidata”：https://www.wikidata.org/wiki/Q18362“，”display_name“：”理论物理“，”level“：1，”score“：0.35456446}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34614536}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.3450917}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.22864491}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.22297826}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.20964837}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.17845789｝，｛”id“：”https://openalex.org/C121040770，“wikidata”：https://www.wikidata.org/wiki/Q215675“，”display_name“：”量子纠缠“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190（网址：https://www.wikidata.org/wiki/Q11190）“，”display_name“：”Medicine“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2306.12535“，”pdf_url“：空，”源“：{”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“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://arxiv.org/abs/2306.12535，“pdf_url”：http://arxiv.org/pdf/2306.12535，“源”：{“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”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.2306.12535“，”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://arxiv.org/abs/2306.12535“，”pdf_url“：空，”源“：{”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“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”score“：0.71，”id“：”https://metadata.un.org/sdg/10“，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W4388213449","https://openalex.org/W4385189851","https://openalex.org/W4318156255","https://openalex.org/W2553524804","https://openalex.org/W2385300201","https://openalex.org/W2371657894","https://openalex.org/W2062204191","https://openalex.org/W2001882148","https://openalex.org/W19955222116","https://openalex.org/W1808697997“]，”abstract_inverted_index“：{”We“：[0,75]，”present“：[1]，”a“：[2103]，”形式化“：[3]，”of“：[4,40,56,84,99]，”severted_index“：[5]，”基本“：[6]，”概念“：[7]，”and“：[8,17,51]，”results“：[9,79]，”from“：[10]，”Quantum“：[11]，”Information“：[12]，”theory，“：[13]，”including“：[14]，”“密度”：[15]，“矩阵”：[16]，“投影”：[18]，“测量”，：[19]，“沿”：[20]带有“：[21]，”the“：[22,25,41,47,54,67,82,85,96]，”proof“：[23,39]，”that“：[24,59]，”local“：[26]，”hidden-variable“：[27]，”hyperation“：[28]，”advotive“：[29]，”by“：[30,63]，”Einstein“：[31]，”to“：[32,81,94]，”model“：[33]，”quantum“：[34104]，”mechanics“：[35]，”cannot“：[36]，”hold●●●●。“：[37]，”The“：[38]，”later“：[42]，”result“：[43]，”is“：[44,53]Aspect“：[64]，”who“：[65]，”earned“：[66]，”Nobel“：[68]，”Prize“：[69]，”in“：[70102]，”2022“：[71]，”对于“：[72]，”他的“：[73]，”工作“：[74]，”也“：[76]，”形式化“：[77]，”各种“：[78]，”相关“：[80]，”这样“：[88]，”作为“：[89]，”齐里尔森的“：[90]，”绑定“：[91]，”其中“：[92]，”允许“：[93]，”获得“：[95]，”最大值“：[97]，”设置。“：[105]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4381826824“，”counts_by_year“：[]，”updated_date“：”2024-09-14T14:03:57.279550“，”created_date:“2023-06-24”}“