{“id”：“https://openalex.org/W2050626079“，”doi“：”https://doi.org/10.1016/j.apal.2004.04.005“，”title“：”决定多项式时间内某些项重写系统的合流“，”display_name“：”确定多项式时间内的某些项重写体系的合流”，“publication_year”：2004，“publiation_date”：“2004-12-01”，“ids”：{“openalex”：“https://openalex.org/W2050626079“，”doi“：”https://doi.org/10.1016/j.apal.2004.04.005“，”mag“：”2050626079“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.04.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5061131539“，”display_name“：”Guillem Godoy“，”orcid“：null}，”institutions“：[]，”countries“：[”ES“]，”is_corresponding“：false，”raw_author_name“:”Guillem Godoy“，”raw _affiliation_strings“：【”西班牙巴塞罗那Jordi Girona 1加泰罗尼亚理工大学“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5086308451“，”display_name“：”Ashish Tiwari“，”orcid“：”https://orcid.org/0000-0002-5153-2686}，“机构”：[{“id”：https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}，{”id“：”https://openalex.org/I4210099336“，”display_name“：”Menlo学校“，”ror“：”https://ror.org/01240pn49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210099336“]｝]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Ashish Tiwari“，”raw_affiation_strings“：[”SRI International，Menlo Park，CA，USA“]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5050592031“，”display_name“：”Rakesh Verma“，”orcid“：”https://orcid.org/0000-0002-7466-7823}，“机构”：[{“id”：https://openalex.org/I44461941“，”display_name“：”休斯顿大学“，”ror“：”https://ror.org/048sx0r50“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I44461941“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Rakesh Verma“，”raw _ afiliation_strings“：[“美国德克萨斯州休斯顿大学计算机科学系”]}]“countries _ distinct_count”：2，”institutions _ disting_count“：3，”corresponding_author_ids“：]”https://openalex.org/A5086308451“]，”对应的机构ID“：[”https://openalex.org/I1298353152","https://openalex.org/I4210099336“]，”apc_list“：{”value“：3390，”currency“：”USD“，”value_USD“：3390'，”provenance“：”doaj“}，”apc _payed“：{'value'：3390]，”curency“：”美元“，”value_USD”：3390`，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：7，“citected_by_percentile_year”：{“min”：81，“max”：82}，“biblio”：{“volume”：“130”，“issue”：“1-3”，“first_page”：“33”，“last_page”：”59“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9993，”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.9976，“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/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.53008}]，”concepts“：[{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.99164045}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.92902064}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.8078377}，{”id“：”https://openalex.org/C110546421，“wikidata”：https://www.wikidata.org/wiki/Q1315869“，”display_name“：”Arity“，”level“：2，”score“：0.79487056}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.745476｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.59305423}，{”id“：”https://openalex.org/C9019067，“wikidata”：https://www.wikidata.org/wiki/Q43260“，”display_name“：”多项式“，”level“：2，”score“：0.53290564}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.5080021}，{”id“：”https://openalex.org/C2780841128，“wikidata”：https://www.wikidata.org/wiki/Q5073781“，”display_name“：”表征（材料科学）“，”level“：2，”score“：0.4919083}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.39549917}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.32843924}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.32795137}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.2034201}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.134769}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”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/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”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/C171250308，“wikidata”：https://www.wikidata.org/wiki/Q11468“，”display_name“：”Nanotechnology“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.04.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“和平、正义和强大的制度”，“id”：”https://metadata.un.org/sdg/16“，”score“：0.59}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W146361780","https://openalex.org/W1527996124","https://openalex.org/W1693995122","https://openalex.org/W1963677040","https://openalex.org/W1967551428","https://openalex.org/W1981798416","https://openalex.org/W1990705256","https://openalex.org/W2000346568","https://openalex.org/W2001793399","https://openalex.org/W2014030742","https://openalex.org/W2036269369","https://openalex.org/W2036985061","https://openalex.org/W2037163667","https://openalex.org/W2047447540","https://openalex.org/W2086747974","https://openalex.org/W2153131284","https://openalex.org/W4248547811“]，”related_works“：[”https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W2475418661","https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W16617677","https://openalex.org/W1515515243","https://openalex.org/W1504820687","https://openalex.org/W1501093754“]，”ngrams_url“：”https://api.openalex.org/works/W2050626079/ngrams网站“，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”a“：[2,27,60,72,79]，”characterized“：[3,22]，”of“：[4,17,35,47,71]，”confluent“：[5,34,48]，”for“：[6,14,31,49]，”term“：[7,37,53]，”rewriting“：[8,18,54]，”systems“：[9]，”which“：[10]，”is“：[11,23,78]，”then“：[12]，“精炼”：[13,21]，“特殊”：[15]，“类”：[16]，“系统”：[19,39,55]，“The”：[20,40,56]，“使用“：[24]，”to“：[25]，”get“：[26]，”多项式“：[28,61]，”time“：[29,62]，”algorithm“：[30]，”deciming“：[32]，”the“：[33,45,65,68,76]，”ground“：[36]，”rewrite“：[38]，”same“：[41]，”approach“：[C2]，”also“：%43]，”shows“：[44]，”descitability“：[46]，”shall“：[50]，”and“：[51]，“线性”：[52]，“决策”：[57]，“过程”：[58]，“具有”：[59]，“复杂性”：[63]，“低于”：[64]假设“：[66]，”that“：[67]，”maximum“：[69]，”arity“：[70]，”function“：[73]，”symbol“：[74]，”in“：[75]，”signature“：[77]，”constant。“：[80]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2050626079”，“counts_by_year”：[｛“year”：2017，“cited_by_count”：1｝，｛“year”：2014，“cited_by_count”：1｝]，“updated_date”：“2024-05-10T04:30:41.625571”，“created_date”：“2016-06-24”｝