{“id”：“https://openalex.org/W1587116809“，”doi“：”https://doi.org/10.1007/3-540-61735-3_7“，”title“：”Unravelings and ultra properties“，”display_name“：”解开和超属性“，”publication_year“：1996，”publiation_date“：”1996-01-01“，”ids“：{”openalex“：”https://openalex.org/W1587116809“，”doi“：”https://doi.org/10.1007/3-540-61735-3_7“，”mag“：”1587116809“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-61735-3_7“，”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“：3.286，”has_fulltext“：false，”cited_by_count“：35，”cited_by_percentile_year“：{“min”：90，“max”：91}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“107”，“last_page”：“121”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9903，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9831，”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.514621}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.503655}]，”concepts“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.9733577}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.75115645}，{”id“：”https://openalex.org/C2779478453，“wikidata”：https://www.wikidata.org/wiki/Q6889748“，”display_name“：”模块化（生物学）“，”level“：2，”score“：0.690246}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.654363}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.64391136}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.54109156}，{”id“：”https://openalex.org/C558772884，“wikidata”：https://www.wikidata.org/wiki/Q1508564“，”display_name“：”Graph rewriting“，”level“：3，”score“：0.53480804}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.43623197}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39440778}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.23628542}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.1110073}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.0777114}，{”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“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-61735-3_7“，”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”：24，“referenced_works“：[”https://openalex.org/W1489240819","https://openalex.org/W1513368649","https://openalex.org/W1514627950","https://openalex.org/W1520909274","https://openalex.org/W1573332872","https://openalex.org/W1578181970","https://openalex.org/W1608934502","https://openalex.org/W1850081057","https://openalex.org/W1855803369","https://openalex.org/W1967979575","https://openalex.org/W2005604519","https://openalex.org/W2017284475","https://openalex.org/W2018227989","https://openalex.org/W2031825596","https://openalex.org/W2031948276","https://openalex.org/W2050677448","https://openalex.org/W2061404638","https://openalex.org/W2070558135","https://openalex.org/W2078222019","https://openalex.org/W2110001428","https://openalex.org/W2149257851","https://openalex.org/W2167316540","https://openalex.org/W3022794709","https://openalex.org/W4230022350“]，”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/W2154047167","https://openalex.org/W1761458962","https://openalex.org/W1515515243","https://openalex.org/W1504820687“]，”ngrams_url“：”https://api.openalex.org/works/W1587116809/ngrams网站“，”“abstract_inverted_index”：{“Conditional”：[0]，“rewriting”：[1,22,47,53]，“is”：[2]，“universal”：[3]，“recognized”：[4]，“as”：[5]，“being”：[6]，“much”：[7,19]，“more”：[8]，“complex”：[9]，[15]，“我们”：[16,94]，“研究”：[17103]，“如何”：[18,76,96]，“的”：[20,31,62,87105111]，“条件“：[21,45]，”可以“：[23]，”是“：[24]，”自动“：[25,42107]，”推断“：[26]，”来自“：[27]，”the“：[28,67,71]，”simpler“：[29]，”理论“：[30]，”We“：[34,74]，”引入“：[35]，”a“：[36,44,51,63,99109]，”新“：[37112]，”tool“：[38]，”调用“：[39]，”分解“：[40]，“到”：[41,59,77,83102]，“翻译”：[43]，“术语”：[46,52]，“系统”：[48,54]，“（CTRS）”：[49]，“转换为“：[50]，”（TRS）。“：[55]，”An“：[56]，”unraveling“：[57]，”enables“：[58]，”inferal“：[60]，”properties“：[61,79]，”CTRS“：[64]，”by“：[65]，”studing“：66]，”responsible“：[68,72]，”ultra properties:[69]，“using”：[70]，“TRS.”：[73]，”show“：[75,95]，”rediscover“：[78]，”like“：[80]，”decreasingness“：[81]，“and”：[82]，“give”：[84]，“nice”：[85]，“proof”：[86]，“some”：[88]，“existing”：[89]，“结果“：[90]，”on“：[91]，”CTRSs。“：[92]，”“此外，”：[93]，“分解”：[97]，“提供”：[98]，“有价值”：[100]，“工具”：[101]，“模块性”：[104]，“CTRS”：[106]，“给予”：[108]，“众多”：[110]，“结果”。“：[113]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1587116809“，”“counts_by_year”：[{“年份”：2019，”“cited_by_count”：1}，{“年度”：2017，”“cited_by_cunt”：2}，}“年”：2015，”“cited_by_count”“：2}，{”“年”“：2014，”“引用_by_cont”：4}，”“年份”“：2012，”“被引用_by-count”“:2}]，”“更新日期”：“2024-06-20T22:33:16.068867”，”“创建日期”：”“2016-06-24”}