{“id”：“https://openalex.org/W2023447392“，”doi“：”https://doi.org/10.1016/j.entcs.2006.11.042“，”title“：”Rewrite-Based Decision Procedures“，”display_name“：”重写决策程序“，”publication_year“：2007，”publiation_date“：”2007-07-01“，”ids“：{”openalex“：”https://openalex.org/W2023447392“，”doi“：”https://doi.org/10.1016/j.entcs.2006.11.042“，”mag“：”2023447392“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2006.11.042“，”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“：”爱思唯尔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}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2006.11.042“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5082604888“，”display_name“：”Maria Paola Bonacina“，”orcid“：”https://orcid.org/0000-0001-9104-2692}，“机构”：[{“id”：https://openalex.org/I119439378“，”display_name“：”维罗纳大学“，”ror“：”https://ror.org/039bp8j42“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I119439378“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Maria Paola Bonacina“，”raw _ affiliation_strings“：[“意大利维罗纳大学信息学研究生部\u00e0 degli Studi di Verona，Ca’Vignal 2，Strada Le Grazie 15，37134 Verona”]，”从属关系“：[{”raw _affiliation_string“：”意大利维罗纳大学信息学院（University\u00e0 degli Studi di Verona，Ca’Vignal 2，Strada Le Grazie 15，37134）https://openalex.org/I119439378“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I119439378“，”display_name“：”维罗纳大学“，”ror“：”https://ror.org/039bp8j42“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I119439378“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Mnacho Echenim“，”raw _ affiliation_strings“：[“信息技术学院，加州维格纳大学\u00e0 degli Studi di Verona，Ca’Vignal 2，Strada Le Grazie 15，37134 Verona，Italy”]，”从属关系“：[{”raw _affiliation_string“：”意大利维罗纳大学信息学院（University\u00e0 degli Studi di Verona，Ca’Vignal 2，Strada Le Grazie 15，37134）https://openalex.org/I119439378“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5082604888","https://openalex.org/A5010578735“]，”对应的机构ID“：[”https://openalex.org/I119439378","https://openalex.org/I119439378“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：8，”cited_by_percentile_year“：{”min“：83，”max“：84}，”biblio“：{”volume“：“174”，“issue”：“11”，“first_page”：“27”，“last_page”：“45”}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“”id“：”https://openalex.org/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T10317“，”display_name“：”数据流管理系统和技术“，”score“：0.9986，”subfield“：｛”id“：”https://openalex.org/subfields/1705“，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9962，”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.996，“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/satisfiability模块理论“，”display_name“：”可满足性模理论“，”score“：0.554889｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.5346569}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.45919856}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3326984}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.33245453}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2006.11.042“，”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“：”爱思唯尔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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2006.11.042“，”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“：”爱思唯尔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/16“，”score“：0.82，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：5，”referrenced_works“：[”https://openalex.org/W1585533089","https://openalex.org/W2027211529","https://openalex.org/W2156915267","https://openalex.org/W2158995961","https://openalex.org/W2259817465“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W3002753104","https://openalex.org/W2748952813","https://openalex.org/W2142036596","https://openalex.org/W2077600819","https://openalex.org/W2072657027","https://openalex.org/W2061531152","https://openalex.org/W2042127053","https://openalex.org/W2007980826","https://openalex.org/W1979597421“]，”ngrams_url“：”https://api.openalex.org/works/W2023447392/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“rewrite-based”：[1,77,81,94]，“approach”：[2]，“to”：[3,71,80,92]，“satisfailability”：[4]，“module”：[5]，“theorys”：[6]，“composes”：[7]，“of”：[8,34,41,68,76102114]，“using”：[9]，“generic”：[10]，“theroem-proving”：[11]，“strategies”：[12]，“for”：[13,97]，“一阶”：[14]，“逻辑”：[15]，“with”：[16104108119]，“equality.”：[17]，“如果“：[18]，”一“：[19]，”可以“：[20,53]，”证明“：[21]，”那“：[22,51]，”an“：[23]，”推理“：[24]，”系统“：[25,52]，”生成“：[26]，”有限“：[27]，”多“：[28]，“子句”：[29]，“from”：[30]，“the”：[31,73]，“presentation”：[32]，“T”：[33,58]，“a”：[35,38,57,6,6 6]，“理论”：[36]，“和”：[37112121]，“有限”：[39117]，“集合”：[40,67]，“基础”：[42]，“单位”：[43]，“子句”，“：[44]，”然后是“：[45]，”任意“：[46]，”公平“：[47]，”策略“：[48]，”基于“：[49]，”on“：[50]，”be“：[54]，”used“：[55]，”as“：[56]，”-satisfiability“：[59]，”procedure。“：[60]，”In“：[61]，”this“：[62]，”paper“：[63]，”we“：/64]，”inroduce“：[65]，”sufficient“：[69]，”conditions“：[70]，”generalized“：[72]，”entire“：[74]，”framework“：%75]，”T-satisfiability“：[78]，”procedures“[79,96]，”T-decision“：[82,95]，”程序“。“：[83]，”这些“：[84]，”条件“：[85]，”集体“：[86]，”术语“：[87]，”子rm-inactivity，“：[88]，”将“：[89]，”允许“：[90]，”我们“：[91]，”获得“：[93]，”几个“：[98]，”理论“：[99]，”即“：[100]，”那些“：[101]，”等式“：[103]，”未解释“：[105]，”函数“：[106]，”数组“：[107]，“or”：[109]，“without”：[110]，“extensionality”：[11120]，“two”：[113]，“其“：[115]，”扩展“：[116]，”集合“：[118]，”递归“：[122]，”数据“：[123]，”结构。“：[124]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2023447392“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2019，”cited_by_count”：1}]，”更新日期“：”2024-06-14T14:46:28.775708“，”创建日期“：“2016-06-24”}