{“id”：“https://openalex.org/W3159047636“，”doi“：”https://doi.org/10.1145/3545116“，”title“：”A Subatomic Proof System for Decision Trees“，”display_name“：”B Subatomical Proof System of Decision树“，”publication_year“：2022，”B publication_date“：”2022-10-20“，”ID“：{”openalex“：”https://openalex.org/W3159047636“，”doi“：”https://doi.org/10.1145/3545116“，”mag“：”3159047636“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3545116“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”arxiv“，”crossref“，”datacite“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oaurl”（_U）：“https://arxiv.org/pdf/2105.01382“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5034277599“，”display_name“：”Chris Barrett“，”orcid“：”https://orcid.org/0000-0002-2692-4194}，“机构”：[{“id”：https://openalex.org/I51601045“，”display_name“：”巴斯大学“，”ror“：”https://ror.org/002h8g185“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I51601045“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Chris Barrett“，”raw _affiliation_strings“：[“英国巴斯大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5007010992“，”display_name“：”Alessio Guglielmi“，”orcid“：”https://orcid.org/0000-0002-7234-2347}，“机构”：[{“id”：https://openalex.org/I51601045“，”display_name“：”巴斯大学“，”ror“：”https://ror.org/002h8g185“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I51601045“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Alessio Guglielmi“，”raw _ afiliation_strings“：[“英国巴斯大学”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“has_fulltext”：正确，“fulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：67}，“biblio”：{“volume”：“23”，“issue”：“4”，“first_page”：“1”，“last_page”：”25“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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.9993，”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.9986，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.596782}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.522531}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.515217}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.510389}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.506944}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.7769984}，{”id“：”https://openalex.org/C105605280，“wikidata”：https://www.wikidata.org/wiki/Q7249999“，”display_name“：”证明复杂性“，”level“：3，”score“：0.65557486}，{”id“：”https://openalex.org/C195653647，“wikidata”：https://www.wikidata.org/wiki/Q7625047“，”display_name“：”结构证明理论“，”level“：4，”score“：0.55027723}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732“，”display_name“：”证明理论“，”level“：3，”score“：0.5451249}，{”id“：”https://openalex.org/C65880906，“wikidata”：https://www.wikidata.org/wiki/Q1771121网址“，”display_name“：”序列演算“，”level“：3，”score“：0.5366784}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.5347003}，{”id“：”https://openalex.org/C183778304，“wikidata”：https://www.wikidata.org/wiki/Q165474“，”display_name“：”交换属性“，”level“：2，”score“：0.47058076}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.4650876}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.45460528}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.45415747}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.44551045}，{”id“：”https://openalex.org/C3746660，“wikidata”：https://www.wikidata.org/wiki/Q1068763“，”display_name“：”推理规则“，”level“：2，”score“：0.43092176}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37420005｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段上的代数“，”级别“：2，”分数“：0.35381275}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20988593}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.20447251}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3545116“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2105.01382，“pdf_url”：https://arxiv.org/pdf/2105.01382“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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://researcportal.bath.ac.uk/en/publications/14794da4-1bc2-4e66-bd5f-fed516014a71，“pdf_url”：https://researcportal.bath.ac.uk/files/239677929/spsdt.pdf“，”源“：｛”id“：”https://openalex.org/S4377196294“，”display_name“：”Pure（University of Bath）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I51601045“，”“host_organization_name”：“巴斯大学”，“host_ordanization_lineage”：[“https://openalex.org/I51601045“]，”host_organization_lineage_names“：[”巴斯大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://purehost.bath.ac.uk/ws/files/239677929/spsdt.pdf，“pdf_url”：https://purehost.bath.ac.uk/ws/files/239677929/spsdt.pdf“，”源“：｛”id“：”https://openalex.org/S4377196294“，”display_name“：”Pure（University of Bath）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I51601045“，”host_organization_name“：”巴斯大学“，”host_organization_lineage“：[”https://openalex.org/I51601045“]，”host_organization_lineage_names“：[”巴斯大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.2105.01382“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：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/2105.01382，“pdf_url”：https://arxiv.org/pdf/2105.01382“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.75，”display_name“：”和平、正义和强大的机构“}]，”grants“：[{”funder“：”https://openalex.org/F4320334627“，”“funder_display_name”：“工程与物理科学研究委员会”，“award_id”：“EP/K018868/1”}]，“数据集”：[]，“版本”：[“https://openalex.org/W3159047636“]，”referenced_works_count“：18，”referrenced_works“：[”https://openalex.org/W143396352","https://openalex.org/W1520950860","https://openalex.org/W1534718845","https://openalex.org/W1559475567","https://openalex.org/W1811725859","https://openalex.org/W1934227669","https://openalex.org/W1975460819","https://openalex.org/W2008876986","https://openalex.org/W2056365917","https://openalex.org/W2102625227","https://openalex.org/W2117737141","https://openalex.org/W2141654045","https://openalex.org/W2798818681","https://openalex.org/W2911865844","https://openalex.org/W300316975","https://openalex.org/W3123028025","https://openalex.org/W4248224315","https://openalex.org/W4298033134“]，”related_works“：[”https://openalex.org/W4221157047","https://openalex.org/W4205871192","https://openalex.org/W2918427073","https://openalex.org/W2911183586","https://openalex.org/W2806893870","https://openalex.org/W2650704808","https://openalex.org/W2591349272","https://openalex.org/W2012084714","https://openalex.org/W1807903125","https://openalex.org/W1534718845网址“]，”ngrams_url“：”https://api.openalex.org/works/W3159047636/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,22109]，“design”：[1150]，“a”：[2,65,82188]，“proof”：[3135171]，“system”：[4,35,74]，“for”：[5,1310183190]，“positional”：[6130]，“classical”：%7]，“logic”：[8]，“that”：[9,72,81117]，“integrated”：[10]，“two”：[11,24180]，“languages”：[12]，“Boolean”：[14]，“函数：”：[15]，“标准”：[16]，“连词disjunction-negation“：[17]，”and“：[18,39139197]，”binary“：[19]，”decision“：[20]，”trees。“：[21]，”给定“：[23]，”原因“：[25]，”to“：[26,58,88]，”do“：[27]，”so.“：[28]，”The“：[29,68]，”first“：[30]，”is“：[31,71151]，”proof-theoretical“：[32]，”naturals:“：[33]，”The“：[34,41,46,52,73,99114127200203]，”composes“：[36]，”of“：[37,51,85129144159202]，”all“：[38]，“only”：[40]，“inference”：[42]，“rules”：[43]，“generated”：[44]，“by”：[45112125154166]，“single、“：[47]、”simple“：[48]、”linear“：[49]、”scheme“：[50]、”recently“：[53]、”introduced“：[54]、”subatomic“：[55]、”logic“。“：[56]，“谢谢”：[57]，“这个”：[59111206]，“规律性”，：[60]，“切割”：[61]，“是”：[62146164194198]，“消除”：[63]，“通过”：[64176]，“自然”：[66196]，“构造”。“：[67]，”second“：[69]，”reason“：[70]，”generates“：[75]，”efficient“：[76]，”proof。“：[77]，”确实，“：[78]，”我们“：[79118132212]，”显示“：[80]，”确定“：[83]，”类“：[84]，”重言式“：[86]，”到期“：[87]，”统计人“：[89]，”其中“：[90145163]，”不能“：[91]，”有“：[92102]，”更好“：[93]，”比“：[94]，”指数“：[95]，”无割“：[96104]，”证明“：[97105214]，“in”：[98106205215]，“sequent”：[100]，“微积分”：[101]，“多项式”：[103]，“我们的“：[107]，”系统。“：[108]，”实现“：[110]，”使用“：[113]，”相同“：[115]，”构造“：[116]，”用法“：[119]，”剪切“：[121]，”消除。“：[122]，“In”：[123]，“summary”：[124]，“expanding”：[126]，“language”：[128]，“logic”：[131]，“make”：[133]，“its”：[134]，“theory”：%136]，“more”：[137141]，“regular”：[138]，“generate”：[140]，“proof”：[142181]，“some”：[143]，“very”：+147]，“efficient”。“：[148]，”That“：[149]，”made“：[152]，”possible“：[153]，”considering“：[155]，”atoms“：[156]，”as“：[157]，”superposition“：[158]，”their“：[160]，”true“：161185]，”values“：-162]，”connected“：[165]，”self-dual“：[167]，”non-communive“：[168]，”连接词。“：[169]，“A”：[170]，“can”：[172]，“then”：[173]，“be”：[174]，“projected”：[175]，“each”：[177184]，“atom”：[178]，“into”：[179]，“one”：[182]，“value”，“：[186]，“without”：[187]，“needs”：[189]，“cuts”。“：[191]，”These“：[192]，”projections“：[193]，”semantically“：[195]，”at“：[199]，”heart“：[201]，”constructions“：[204]，”paper。“：[207]，”To“：[208]，”迁就“：[209]，”自对偶“：[210]，”非交换性“：[211]，”compose“：[213]，”deep“：[216]，”推理。“：[217]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W3159047636“，”counts_by_year“：[]，”updated_date“：”2024-05-22T20:14:56.326528“，”created_date:“2021-05-10”}“