{“id”：“https://openalex.org/W1553326394“，”doi“：”https://doi.org/10.1007/3-540-59200-8_43“，”title“：”重新访问完整性模块“，”display_name“：”再次访问完整性的模块“，“publication_year”：1995，”publication_date“：”1995-01-01“，”ids“：{”openalex“：”https://openalex.org/W1553326394“，”doi“：”https://doi.org/10.1007/3-540-59200-8_43“，”mag“：”1553326394“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-59200-8_43网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”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“：[“意大利帕多瓦大学纯粹与应用数学系”]，”affiliations“：[{”raw _affiliation_strong“：”意大利帕多娃大学纯粹与运用数学系”，“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“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：5.669，”has_fulltext“：false，”cited_by_count“：10，”cited_by_percentile_year“：{“min”：80，“max”：81}，“biblio”：{“volume”：null、“issue”：nul，“first_page”：“2”，“lastage”：“10”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12029“，”display_name“：”基于DNA的计算和数据存储“，”score“：0.9965，”subfield“：{”id“：”https://openalex.org/subfields/1312“，”display_name“：”分子生物学“}，”字段“：{”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}，”主题“：[{”id“：”https://openalex.org/T12029“，”display_name“：”基于DNA的计算和数据存储“，”score“：0.9965，”subfield“：{”id“：”https://openalex.org/subfields/1312“，”display_name“：”分子生物学“}，”字段“：{”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9908，“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9869，”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/model-checking“，”display_name“：”模型检查“，”score“：0.475388}]，”concepts“：[{”id“：”https://openalex.org/C2779478453，“wikidata”：https://www.wikidata.org/wiki/Q6889748“，”display_name“：”模块化（生物学）“，”level“：2，”score“：0.9229007}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”级别“：2，”分数“：0.81785｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.80653036}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.798112}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5037722}，{”id“：”https://openalex.org/C9652623，“wikidata”：https://www.wikidata.org/wiki/Q190109“，”display_name“：”字段（数学）“，”级别“：2，”分数“：0.4402822}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.41976386}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4090071}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.19811964}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.06287107}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-59200-8_43“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：4，“referenced_works“：[”https://openalex.org/W1486980090","https://openalex.org/W1967979575","https://openalex.org/W1997816727","https://openalex.org/W2122267814“]，”related_works“：[”https://openalex.org/W4205908955","https://openalex.org/W2622168976","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W2120204135","https://openalex.org/W2105713543","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W1577544887","https://openalex.org/W1573537275“]，”ngrams_url“：”https://api.openalex.org/works/W1553326394/ngrams“，”“abstract_inverted_index”：{“One”：[0]，“of”：[1,8,17,44,60,72,88]，“the”：[2,6,15,57,70,75,82]，“key”：[3]，“results”：[4]，“in”：[5,28,68,84]，“field”：[7]，“modularity”：[9,16,71,87]，“for”：[10,19,90]，“Term”：[11]，“Rewriting”：[12]，“Systems”：[13]，“is”：[14,33,48,51,78]，“完整性”：[18]，“左线性”：[20,91]，“TRS”：[21]，“建立”：[22]，“依据”：[23]富山，“：[24]，“Klop”：[25]，“and”：[26,36,54,62,92]，“Barendregt”：[27]，“[TKB89]。“：[29]，”The“：[30]，”proof“：[31]，”然而，“：[32]，”quite“：[34]，”long“：[35]，”involved。“：[37]，”In“：[38]，”this“：[39,45]，”paper“，：[40]，”a“：[41]，”new“：%42]，”proof“：[43,77]，”basic“：[46]，”result“：47,83]，”given“：[P9]，”which“：[50]，”both“：[52]，”short“：[53]，”easy，“：[55]，”employing“：[56]，”powerful“：[58]，”technology“：[59]，”\u2018pile“：[61]，“delete\u2019”：[63]，“already”：[64]，“used”：[65]，“with”：[66,94]，“success”：[67]，“proving”：[69,86]UN\u2192.“：[73]，”此外，“：[74]，”相同“：[76]，”显示“：[79]，”到“：[80,96]，”扩展“：[81]，”[TKB89]“：[85]，”终止“：[89]，”一致“：[93]，”尊重“：[95]，”减少“：[97]，”TRS。“：[98]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1553326394“，”counts_by_year“：[]，”updated_date“：”2024-06-20T22:22:00.704843“，”创建日期“：”2016-06-24“}