{“id”：“https://openalex.org/W2126737785“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.009“，”title“：”On Rule Formats for Zero and Unit Elements“，”display_name“：”关于零元素和单位元素的规则格式“，”publication_year“：2010，”publiation_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2126737785“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.009“，”mag“：”2126737785“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”issn“：[”1571-0661“]，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://doi.org/10.1016/j.entcs.2010.08.009“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5041913577“，”display_name“：”Luca Aceto“，”orcid“：”https://orcid.org/0000-0002-2197-3018}，“机构”：[{“id”：https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：“教育”，”世系“：[”https://openalex.org/I123185442“]}]，”国家“：[”IS“]，”IS_corresponding“：false，”raw_author_name“：”Luca Aceto“，”raw _ afiliation_strings“：[“冰岛雷克雅未克大学计算机科学学院ICE-TCS，Menntavegur 1，IS 101 Reykjavik”]，”从属关系“：[{”raw_ afiliation _string“：”冰岛雷克雅未克大学计算机科学学院ICE-TCS，Menntavegur 1，IS 101 Reykjavik“，”机构ID“：[”https://openalex.org/I123185442“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5074262851“，”display_name“：”Matteo Cimini“，”orcid“：”https://orcid.org/0000-0003-0162-9997}，“机构”：[{“id”：https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：“教育”，”世系“：[”https://openalex.org/I123185442“]}]，”国家“：[”IS“]，”IS_corresponding“：false，”raw_author_name“：”Matteo Cimini“，”raw _ afiliation_strings“：[“冰岛雷克雅未克大学计算机科学学院ICE-TCS，Menntavegur 1，IS 101 Reykjavik”]，”从属关系“：[{”raw _affiliation_string“：”ICE-TCS，雷克雅未克大学计算机科学学院，Menntavegur 1，IS 101 Reykjavik，Iceland“，”institution_ids“：[”https://openalex.org/I123185442“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5016540152“，”display_name“：”Anna Ing\u00f3lfsd\u00f3ttir“，”orcid“：”https://orcid.org/0000-0001-8362-3075}，“机构”：[{“id”：https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：“教育”，”世系“：[”https://openalex.org/I123185442“]}]，”国家“：[”IS“]，”IS_corresponding“：false，”raw_author_name“：”Anna Ingolfsdottir“，”raw _ afiliation_strings“：[“冰岛雷克雅未克大学计算机科学学院ICE-TCS，Menntavegur 1，IS 101 Reykjavik”]，”从属关系“：[{”raw _affiliation_string“：”ICE-TCS，雷克雅未克大学计算机科学学院，Menntavegur 1，IS 101 Reykjavik，Iceland“，”institution_ids“：[”https://openalex.org/I123185442“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5078969375“，”display_name“：”Mohammad Reza Mousavi“，”orcid“：”https://orcid.org/0000-0002-4869-6794}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Mohammad Reza Mousavi“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学计算机科学系，邮政信箱513，NL-5600 MB Eindhoven”]，“affiliations”：[{“raw_affilition_string”：“荷兰埃因霍温理工大学计算机科学系，邮政信箱513，NL-5600 MBhttps://openalex.org/I83019370“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5040487816“，”display_name“：”Michel Reniers“，”orcid“：”https://orcid.org/0000-0002-9283-4074}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Michel A.Reniers“，”raw _ afiliation_strings“：[“荷兰埃因霍温理工大学计算机科学系，邮政信箱513，NL-5600 MB Eindhoven”]，”affiliations“：”荷兰埃因霍温理工大学计算机科学系，邮政信箱513，NL-5600 MBhttps://openalex.org/I83019370“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5040487816“]，”对应的机构ID“：[”https://openalex.org/I83019370“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”cited_by_percentile_year“：{”min“：78，”max“：80}，”biblio“：{”volume“：“265”，“issue”：null“first_page”：“145”，“last_page”：“160”}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9937，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9937，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9898，“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/T11159“，”“display_name”：“制造中的制造和装配设计”，“score”：0.9849，“subfield”：{“id”：“https://openalex.org/subfields/2209“，”display_name“：”工业和制造工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/fixture-design网站“，”display_name“：”夹具设计“，”score“：0.455164}]，”concepts“：[{”id“：”https://openalex.org/C2780813799，“wikidata”：https://www.wikidata.org/wiki/Q3274237“，”display_name“：”Zero（语言学）“，”level“：2，”score“：0.66175663}，{”id“：”https://openalex.org/C122637931，“wikidata”：https://www.wikidata.org/wiki/Q118084“，”display_name“：”Unit（ring theory）“，”level“：2，”score“：0.59966624}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5834681}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5474014}，{”id“：”https://openalex.org/C2777027219，“wikidata”：https://www.wikidata.org/wiki/Q1284190“，”display_name“：”常量（计算机编程）“，”level“：2，”score“：0.50445235}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.4422396}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.42951116}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3959872}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3604864}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.34252772}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.33474702}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.28366804}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.07306579}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C145420912，“wikidata”：https://www.wikidata.org/wiki/Q853077“，”display_name“：”数学教育“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：3，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://research.tue.nl/en/publications/7010f6f3-6aad-4010-977c-4c7e9d5c644f，“pdf_url”：https://research.tue.nl/files/3343566/674732.pdf“，”source“：null，”license“：null.，”licence_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://pure.tue.nl/ws/files/3343566/674732.pdf，“pdf_url”：https://pure.tue.nl/ws/files/3343566/674732.pdf“，”source“：null，”license“：null，”liccense_id“：nul，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.51，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：15，”referrenced_works“：[”https://openalex.org/W1547562281","https://openalex.org/W1582292473","https://openalex.org/W1966112122","https://openalex.org/W1972475472","https://openalex.org/W1978469611","https://openalex.org/W2105133485","https://openalex.org/W2126737785","https://openalex.org/W2129235856","https://openalex.org/W2129828872","https://openalex.org/W258022877","https://openalex.org/W4210639184","https://openalex.org/W4211008702","https://openalex.org/W4214535918","https://openalex.org/W4285719527","https://openalex.org/W623593394“]，”related_works“：[”https://openalex.org/W629290331","https://openalex.org/W611386996","https://openalex.org/W4313491656","https://openalex.org/W4249605382","https://openalex.org/W3279617","https://openalex.org/W3013650182","https://openalex.org/W2989283631","https://openalex.org/W2800717388","https://openalex.org/W2371343292","https://openalex.org/W2146390824“]，”ngrams_url“：”https://api.openalex.org/works/W2126737785/ngrams（英文）“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“proposes”：[2]，“a”：[3,22]，“rule”：[4,37]，“format”：[5,38]，“for”：[6,21,39]，“Structural”：[7]，“Operational”：[8]，“Semantics”：[9]，“guaranting”：[10]，“that”：[11]，“sequent”：[12]，“constants”：[13]，“act”：[14]，“as”：[15,54,56]，“left”：[16,50]，“or”：[17]，“right”：[18,52]，“zero”：[19]，“elements”：[20,41,58]，“设置“：[23]，”of“：[24,45,49]，”binary“：[25]，”operators。“：[26]，“我们的”：[27]，“设计”：[28]，“方法”：[29]，“是”：[30]，“也是”：[31]，“应用”：[32]，“到”：[33,64]，“重新公式化”：[34]，“an”：[35]，“早期”：[36]，“单位”：[40]，“开发”：[42]，“作者”：[43]，“一些”：[44]，“the”：[46,60,68]，“authors”。“：[47]，”示例“：[48]，”和“：[51]，”零，“：[53]，”well“：[55]，”unit“，：[57]，”from“：[59]，”文献“：[61]，”are“：[62]，”shown“：[63]，”be“：[65]，”checkable“：[66]，”using“：[67]，”provided“：[69]，”formats。“：[70]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2126737785“，”counts_by_year“：[{”年份“：2013，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-06-14T17:13:01.101927“，”created_date“：”2016-06-24“}