｛“id”：“https://openalex.org/W2003959831“，”doi“：”https://doi.org/10.1016/0304-3975（90）90078-v“，”title“：“计算机代数中的代数简化：自下而上算法分析”，”display_name“：”计算机代数中代数简化：自底向上算法分析“，”publication_year“：1990，”publiction_date“：”1990-08-01“，”ids“：{”openalex“：”https://openalex.org/W2003959831“，”doi“：”https://doi.org/10.1016/0304-3975（90）90078-v“，”mag“：”2003959831“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（90）90078-v“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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.1016/0304-3975（90）90078-v“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5056962566“，”display_name“：”Rafael Monroy Casas“，”orcid“：null}“，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Rafael-Casas“，“raw_affiliation_strings”：[]“，”affiliations“：]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5009669219“，”display_name“：”Mar\u00eda In\u00e9s Fern\u00e1ndez Camacho“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Mar\u00eda In\u00e9s Fern\u00e1ndez Camacho“，”raw_affiation_strings“：[]，”affiliations“：[]｝，”author_position“：”last“，”author“：”id“：”https://openalex.org/A5058311487“，”display_name“：”Jean\u2010Marc Steyaert“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Jean-Marc Steyart“，”raw _affiliation_strings“：]，”affiliations“：【】}“，”contries_distiction_count“：0，”instations_distition_count”：0，“corresponding_author_ids”：【】，“correcponding_institution_ids“：【]，“apc_list”：{“value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：1.711，”has_fulltext“：false，”cited_by_count“：8，”cited_by_percentile_year“：{”min“：79，”max“：80}，“biblio”：{“volume”：“74”，“issue”：“3”，“first_page”：“273”，”“last_page”：”298“}”，“is_re”traced“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9911，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9911，“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.9892，“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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9892，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.531593}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.526208}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.517255}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.50327}]，”concepts“：[{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.6353296}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.5780614}，{”id“：”https://openalex.org/C110812573，“wikidata”：https://www.wikidata.org/wiki/Q175515“，”display_name“：”符号计算“，”level“：2，”score“：0.5174349}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.49492115}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4668259}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.46190625}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.13631144}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（90）90078-v“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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/2117/189026，“pdf_url”：https://upcommons.upc.edu/bitstream/2117/189026/1/1400008434.pdf，“源”：{“id”：https://openalex.org/S4306402641“，”display_name“：”LA Referencia（Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4383465926“，”“host_organization_name”：“LA参考”，“host_ordanization_lineage”：[“https://openalex.org/I4383465926“]，”host_organization_lineage_names“：[”LA Referencia“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（90）90078-v“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”issn“：[”0304-3975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1860030085","https://openalex.org/W1983188796","https://openalex.org/W2003295303","https://openalex.org/W2049817705","https://openalex.org/W2053713419","https://openalex.org/W2070361291","https://openalex.org/W655501358“]，”related_works“：[”https://openalex.org/W250593332","https://openalex.org/W2485420135","https://openalex.org/W2188428054","https://openalex.org/W2133396672","https://openalex.org/W2118921095","https://openalex.org/W2076597547","https://openalex.org/W2047821213","https://openalex.org/W2032816783","https://openalex.org/W190919245","https://openalex.org/W171076485“]，”ngrams_url“：”https://api.openalex.org/works/W2003959831/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,73]，“consider”：[1]，“a”：[2,33128163]，“class”：[3,22]，“of”：[4,14,93104]，“simplization”：[5]，“algorithms”：[6,30]，“for”：[7]，“代数”：[8]，“and”：[9,46,53,87]，“逻辑”：[10]，“expressions”：[11129156219]，“which”：[12107]，”是“：[13]，“systemic”：[15]，“使用”：[16]，“in”：[17,32,70,98119]，“计算机”：[18]，“代数“：[19]，”系统。“：[20]，”此“：[21]，”是“：[23,60,82117]，”基本“：[24]，”特征“：[25]，”由“：[26]，”the“：[27,38,43,49,57,71,90,94100105114]，”fact“：[28]，”that“：[29,75]，”operate“：[31]，”bottom-up“：[34]，”recursived“：[35]，”way“：[36]，”on“：[37,51]，”expressions“：[39]，”即“：[40]，“start”：[41]，“from”：[42]，“atomic”：[44]，“terms\u2014constants”：[45]，“变量\u2014和“：[47]，”执行“：[48]，”简化“：[50]，”较大“：[52,54]，”术语“：[55]，”直到“：[56]，”整体“：[58]，”表达式“：[59]，”最终“：[61]，”继续；“：[62]，”否“：[63189245]，”回溯“：[64]，”或“：[65]，”迭代“：[66]，”进程“：[67]，”应该“：[68]，”干预“：[69]，”简化。“：[72]，”show“：[74]，”under“：[76]，”these“：[77]，”quite“：[78]，”general“：[79244]，”subsidents“，”：[80]，”it“：[81]，”possible“：[83206]，”to“：[84109]，”analyze“：[85]，”excise“，”:[86]，“almost”：[88]，“automatically”：[89]，“average”：[91101]，“size”：[92]，“resulting”：[95]，“expressions\u2014the”：[96]，“增益”：[97]，“空格\u2014和”：[99]，“时间”：[102]，“复杂性“：[103]，”过程“：[106]，”发生“：[108]，”是“：[110]，”线性“：[111]，”，“：[112235]，”而“：[113]，”最坏情况“：[115]，”行为“：[116]，”不是“：[118]，”一般。“：[120]，”考虑“：[121]，”una“：[122]，”class“：[123143]，”d'algorismes“：[124]，”de“：[125140194197208217]，”simplificaci\u00f3“：[126188]，”per“：[127]，”代数“：[130]，”i“：[131170211]，”l\u00f2giques“：[132]，”q“：[133149181199231237]，“s\u00f3n”：[134]，”d“\u00fas”：[135]，“sistem\u00e0tic”：[136]，“en”：[137186222227240243]，“sistemes“：[138]，“d'\u00e0lgebra”：[139]，“computaci\u00f3.”：[141]，“Aquesta”：%142]，“est\u00e 0”：[144]，“caracterizada”：[145]，“b\u00escament”：[146]，“pel”：[147]，“fet”：[148]，“els”：[150]，“seus”：[151]，“算法”：[152]，“operen”：[153]，“sobre”：[154174]，“les”：[155218]，“duna”：[157]，“manera”：[158209]，“recursiva”：[P59]，“cencent”：[160]，“（bottom-up），”：[161]，“\u00e9s”：[162205]，“dir”：[164]，“parteixen”：[166]，“dels”：/167]，“termes”：[168175]，“at\u00f2mics\u2014constants”：[169]，“variables\u2014i”：[171]，“efectuen”：%172]，“simplifications”：%173]，“cada”：[176]，“cop”：[177]，“m\u00e9s”:[178]，“grans”：[179]，“fins”“：[180]，”processen“：[182]，”finalments“：[183]，”l'expressions\u00f3“：[184]，”completeta；“：[185]，”la“：[187214224]，“干预”：[190]，“进程”：[191]，“迭代词”：[192]，“o”：[193]，“回溯。”：[195]，“Posem”：[196]，“manifest”：[198]，“sota”：[200]，“aquestes”：[201]，“hip\u00f2tesis”：[202]，“fora”：[203]，“generals”：[204]，“analitzar”：[207]，“precisa”：[210]，“准”：[212]，“autom\u00e0tica，”：[213]，“longitud”：[215]，“mitjana”：[216226]，“resultants\u2014el”：[220]，“guany”：[221]，“espai\u2014i”：[223]，“complexitat”：[225]，“temps”：[228]，“del”：229]，“proc\u00e9s，”：[230]，“resulta”：[232]，“ser”：/233]，“lineal”：[234]，“mentre”：[236]，“el”：[238241]，“comportation”：[239]，“cas-pitjor”：[242]，“ho”：[246]，“\u00e9s.”：[247]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2003959831”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：1｝，｛“year”：2014，“cited_by_count”：1｝]，“updated_date”：“2024-07-04T06:39:04.417372”，“created_date”：“2016-06-24”｝