{“id”：“https://openalex.org/W20459298285“，”doi“：”https://doi.org/10.1006/jsco.1996.0045“，”title“：”On the Modulity of Normal Forms in Rewriting“，”display_name“：”On the Modulity for Normal Forms in Rewriting“，”publication_year“：1996，”publitation_date“：”1996-08-01“，”ids“：{”openalex“：”https://openalex.org/W2045929285“，”doi“：”https://doi.org/10.1006/jsco.1996.0045“，”mag“：”2045929285“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0045“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算期刊“，”issn_l“：”0747-7171“，”issn“：[”0747-7171“，”1095-855X“]，”is_oa“：false，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/jsco.1996.0045“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5048136336“，”display_name“：”Massimo Marchiori“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”MASSIMO MARCHIORI“，”raw _ afiliation_strings“：[“帕多瓦大学纯粹与应用数学系，Via Belzoni 7，Padova，35131，Italy”]，”affiliations“：[{”raw_ afiliation _string“：”意大利帕多瓦大学纯粹与应用数学系，Via Belzoni 7，Padova，35131”，“institution_ids”：[“https://openalex.org/I138689650“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5048136336“]，”对应的机构ID“：[”https://openalex.org/I138689650“]，”apc_list“：{”value“：2770，”currency“：”USD“，”value_USD“：27700，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：1.666，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：7，”cited_by_percentile_year“：”{“min”：77，”max“：78}，“biblio”：{“volume”：“22”，“issue”：“2”，“first_page”“：”143“，”last_page“：”154“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9974，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9974，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9927，“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/T12002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9467，”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/regular-expressions网站“，”display_name“：”正则表达式“，”score“：0.492015}]，”concepts“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.9508257}，{”id“：”https://openalex.org/C2779478453，“wikidata”：https://www.wikidata.org/wiki/Q6889748“，”display_name“：”模块化（生物学）“，”level“：2，”score“：0.9041845}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.80434126}，{”id“：”https://openalex.org/C2777021872，“wikidata”：https://www.wikidata.org/wiki/Q22976830“，”display_name“：”唯一性“，”级别“：2，”分数“：0.6985534}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.6686992}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.6171091}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.61554563｝，｛”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.58758676}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.5640985}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3314969}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.28458297}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.18118098}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14668691}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.060820997｝，｛”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0045“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/11577/2476429，“pdf_url”：https://www.research.unipd.it/bitstream/11577/2476429/1/On%20%20Modularity%20of%20Normal%20Forms%20in%20Rewriting.pdf，“源”：{“id”：https://openalex.org/S4377196283“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I138689650“，”host_organization_name“：”帕多瓦大学“，”host_organization_lineage“：[”https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0045“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.45，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：8，”referrenced_works“：[”https://openalex.org/W1486980090","https://openalex.org/W1553326394","https://openalex.org/W1600655341","https://openalex.org/W2122267814","https://openalex.org/W2126018011","https://openalex.org/W2175539205","https://openalex.org/W2571614197","https://openalex.org/W85569899“]，”related_works“：[”https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W2491573813","https://openalex.org/W2475418661","https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W1569493237","https://openalex.org/W1515515243","https://openalex.org/W1504820687“]，”ngrams_url“：”https://api.openalex.org/works/W2045929285/ngrams“，”“abstract_inverted_index”：{“The”：[0,43]，“last”：[1]，“open”：[2,32]，“problem”：[3]，“converting”：[4]，“The”：[5,8,16,63,72]，“modularity”：[6,73,81]，“of”：[7,11,18,20,59,65,74]，“basic”：[9]，“properties”：[10]，“Term”：[12,40,84]，“Rewriting”：[13,41,85]，“Systems”：[14]，”关注点：[15]，“属性”：[17]，“唯一性”：[19]，“正常”：[21]，“形式”：[22]，“w.r.t.“：[23,76]，”减少“：[24,77]，”（UN\u2192）。“：[25]，”In“：[26]，”this“：[27,31]，”article“：[28]，”we“：[29,69]，”solve“：[30]，”problem“：[33]，”showing“：[34,79]，”that“：[35]，”UN\u2192is“：[36]，”modular“：[37,66]，”for“：[38,52,82]，”left-linear“：[39,83]，”Systems“。“：[42,86]，”小说“：[44]，”\u201cpile“：[45]，”和“：[46,57]，”删除\u201d“：[47]，”技术“：[48]，”这里“：[49]，”引入“：[50]，”允许“：[51]，”相当“：[53]，”a“：[54]，”简短“：[55]，”证明“：[56]，”是“：[58]，”独立“：[60]，”兴趣“：[61]，”in“：[62]，”研究“：[64,71]，”属性。“：[67]，”“此外，”“：[68]，”也“：[70]，”一致性“：[75]，”（CON\u2192），“：[78]，”its“：[80]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2045929285“，”counts_by_year“：[{“年份”：2017，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：1}]，”updated_date“：”2024-06-21T01:59:29.214153“，”created_date:“2016-06-24”}