{“id”：“https://openalex.org/W3175664396“，”doi“：”https://doi.org/10.109/lics52264.2021.9470673“，”title“：“束逻辑和量子分离逻辑的量子解释”，”display_name“：“簇逻辑和量子隔离逻辑的量子理解”，”publication_year“：2021，”publitation_date“：”2021-06-29“，”ids“：{”openalex“：”https://openalex.org/W3175664396“，”doi“：”https://doi.org/10.109/lics52264.2021.9470673“，”mag“：”3175664396“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470673“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：｛”id“：”https://openalex.org/A5051561743“，”display_name“：”Li Zhou“，”orcid“：”https://orcid.org/0000-0002-9868-8477}，“机构”：[{“id”：https://openalex.org/I4210096592“，”display_name“：”马克斯·普朗克安全与隐私研究所“，”ror“：”https://ror.org/00bj0r217“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210096592“]}]，”countries“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Li Zhou“，”raw _affiliation_strings“：〔”Max Planck Institute for Security and Privacy“〕}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5075577852“，”display_name“：”Gilles Barthe“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210096592“，”display_name“：”Max Planck Institute for Security and Privacy“，”ror“：”https://ror.org/00bj0r217“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210096592“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Gilles Barthe“，”raw _affiliation_strings“：[“Max Planck Institute for Security and Privacy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5033286190“，”display_name“：”Justin Hsu“，”orcid“：”https://orcid.org/0000-0002-8953-7060}，“机构”：[{“id”：https://openalex.org/I135310074“，”display_name“：”威斯康星大学\u2013Madison“，”ror“：”https://ror.org/01y2jtd41“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I135310074“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”Justin Hsu“，”raw_affiation_strings“：[”威斯康星大学麦迪逊分校“]｝，｛”author_position“：”中间“，”作者“：｛”id“：”https://openalex.org/A5023088481“，”display_name“：”Mingsheng Ying“，”orcid“：”https://orcid.org/0000-0003-4847-702X}，“机构”：[{“id”：https://openalex.org/I114017466“，”display_name“：”悉尼理工大学“，”ror“：”https://ror.org/03f0f6041“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I114017466“]}]，”countries“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Mingsheng Ying“，”raw _affiliation_strings“：【”悉尼理工大学“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5088217238“，”display_name“：”能坤于“，”兽人“：”https://orcid.org/0000-0003-1188-3032}，“机构”：[{“id”：https://openalex.org/I114017466“，”display_name“：”悉尼理工大学“，”ror“：”https://ror.org/03f0f6041“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I114017466“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Nengkun Yu“，”raw _ afiliation_strings“：[“悉尼理工大学”]}]“countries _ distinct_count”：3，”institutions _ disting_count“：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]“apc_list”：null，”apc_payed“：null”，“has_fulltext”：false y_count“：9，”cited_by_percentile_year“：{“min”：89，“max”：90}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T10682“，”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/T10682“，”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/T10020“，”display_name“：”量子信息与计算“，”score“：0.9977，”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.9966，”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/quantum解释“，”display_name“：”量子解释“，”score“：0.56558｝，｛”id“：”https://openalex.org/keywords/fault-tolerant-quantum-compution“，”display_name“：”容错量子计算“，”score“：0.526036}，{”id“：”https://openalex.org/keywords/quantum-simulation网站“，”display_name“：”Quantum Simulation“，”score“：0.52589}，{”id“：”https://openalex.org/keywords/quantum-computation网站“，”display_name“：”量子计算“，”score“：0.517996}，{”id“：”https://openalex.org/keywords/compulation网站“，”display_name“：”计算“，”分数“：0.5135}]，”概念“：[{”id“：”https://openalex.org/C169460222，“wikidata”：https://www.wikidata.org/wiki/Q1206311“，”display_name“：”量子逻辑“，”level“：4，”score“：0.8782787}，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.52131027}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42755264}，{”id“：”https://openalex.org/C84114770，“wikidata”：https://www.wikidata.org/wiki/Q46344“，”display_name“：”Quantum“，”level“：2，”score“：0.4149903}，{”id“：”https://openalex.org/C13719171，“wikidata”：https://www.wikidata.org/wiki/Q2623817网址“，”display_name“：”量子算法“，”level“：3，”score“：0.41484421}，{”id“：”https://openalex.org/C58053490，“wikidata”：https://www.wikidata.org/wiki/Q176555“，”display_name“：”Quantum computer“，”level“：3，”score“：0.38207954}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33899647}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.3006728}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.21087867}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470673“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：63，“referrenced_works”：[”https://openalex.org/W1490487429","https://openalex.org/W1498858133","https://openalex.org/W1574086789","https://openalex.org/W1626954859","https://openalex.org/W1966619759","https://openalex.org/W1999626800","https://openalex.org/W2008132476","https://openalex.org/W2013474929","https://openalex.org/W2043414726","https://openalex.org/W2044912742","https://openalex.org/W2049947172","https://openalex.org/W2062854284","https://openalex.org/W2083019346","https://openalex.org/W2096204190","https://openalex.org/W2121087903","https://openalex.org/W2125182723","https://openalex.org/W2125398300","https://openalex.org/W2126098510网址","https://openalex.org/W2132761501","https://openalex.org/W2137628566","https://openalex.org/W2138408756","https://openalex.org/W2141420453","https://openalex.org/W2155544688","https://openalex.org/W2161685427","https://openalex.org/W2199349817","https://openalex.org/W2257937122","https://openalex.org/W2338028966","https://openalex.org/W2476463599","https://openalex.org/W2559394418","https://openalex.org/W2764347725","https://openalex.org/W2781738013","https://openalex.org/W2792039802","https://openalex.org/W2898346763","https://openalex.org/W2912352268","https://openalex.org/W2923040277","https://openalex.org/W2937637014","https://openalex.org/W294073838","https://openalex.org/W2955434816","https://openalex.org/W2957722170","https://openalex.org/W2966941128","https://openalex.org/W2970097841","https://openalex.org/W2979736667","https://openalex.org/W2993800728","https://openalex.org/W3010243192","https://openalex.org/W3090554446","https://openalex.org/W3100559158","https://openalex.org/W3100931381","https://openalex.org/W3103221591","https://openalex.org/W3105347606","https://openalex.org/W3105690832","https://openalex.org/W3113530183","https://openalex.org/W3122238375","https://openalex.org/W3122935293","https://openalex.org/W3126077699","https://openalex.org/W3173827709","https://openalex.org/W3175664396","https://openalex.org/W3179416256","https://openalex.org/W3197692815","https://openalex.org/W3199793393","https://openalex.org/W4205769143","https://openalex.org/W4256027310","https://openalex.org/W4287557777","https://openalex.org/W4298303640“]，”related_works“：[”https://openalex.org/W4388704119","https://openalex.org/W428155036","https://openalex.org/W4213379151","https://openalex.org/W3206120658","https://openalex.org/W312338985","https://openalex.org/W2911278742","https://openalex.org/W2910123824","https://openalex.org/W2181040799","https://openalex.org/W2035510778","https://openalex.org/W1889203613“]，”ngrams_url“：”https://api.openalex.org/works/W3175664396/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,32,62]，“propose”：[1]，“a”：[2,34,53,89]，“model”：[3]，“of”：[4,8,26,55,70]，“the”：[5,23,64,68,81,96]，“substructure”：[6]，“logic”：[7,36,48,57,65,83]，“Bunched”：[9]，“Implications”：[10]，“（BI）”：[11]，“that”：[12]，“is”：[13]，“合适”：[14]，“用于”：[15,58,66]，“推理”：[16]，“关于”：[17]，“量子”：[18,30,45,60,71]，“状态。“：[19,31]，”In“：[20]，”our“：[21]，”model“，”：[22]，”separating“：[24]，”conjunction“：[25]，”BI“：/27,42]，”descriptions“：[28]，”severable“：[29]，”develop“：[33]，”program“：[35,47,82]，”where“：[3]，”pre-“：[38]，”and“：[39,74,77]，”post-conditions“：[40]，”are“：：[41]，”formulas“：[43]，”“描述”：[44]，“表示\u2014the”：[46]，“can”：[49,84]，“be”：[50,85]，“seen”：[51]，“as”：[52]，“对应词：[54]，“分离”：[56]，“命令”：[59]，“程序”。“：[61]，”练习“：[63]，”证明“：[67]，”安全“：[69]，”一次性“：[72]，”填充“：[73]，”机密“：[75]，”共享“：[76]，”我们“：[78]，”显示“：[79]，”如何“：[80]，”使用“：[86]，”到“：[87]，”发现“：[88]，”缺陷“：[90]，”在“：[91]，”谷歌“：[92]，”Cirq\u2019s“：[93]，“教程”：[94]，“on”：[95]，“变量”：[97]，“量子”：[98]，“算法”：[99]，“（VQA）。“：[100]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3175664396“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：3}，{“年度”：2022，”ciped_by_cunt“：4}，”{“年”：2021，“cited_by_count”：2}]，”updated_date“：“2024-05-17T02:16:47.532550”，“创建日期”：“2021-07-05”}