｛“id”：“https://openalex.org/W1556133358“，”doi“：”https://doi.org/10.1007/978-3-642-04772-5_27“，”title“：”证明助理中的差异结构建模：分级案例“，”display_name“：”在证明助理中建模差异结构：分级案例”，”publication_year“：2009，”publiation_date“：”2009-01-01“，”ids“：{”openalex“：”https://openalex.org/W1556133358“，”doi“：”https://doi.org/10.1007/978-3-642-04772-5_27“，”mag“：”1556133358“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-04772-5_27“，”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、”is_core“：true、”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/A5080472921“，”display_name“：”Jes\u00fas Aransay“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I168974976“，”display_name“：”拉里奥哈大学“，”ror“：”https://ror.org/0553yr311“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I168974976“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Jes\u00fas Aransay“，”raw _affiliation_strings“：[“Departmento de Matem\u00e1ticas y Computaci\u00f3n，La Rioja大学，Logro\u00f1o，La Rioja，西班牙”]，“afliations”：[{“raw_affiliation _string”：“西班牙La Rioja，Logro\u00f1o，拉里奥哈大学，Departamento de Matem\u00e1ticas y Computaci\u00f3n“，”institution_ids“：[”https://openalex.org/I168974976“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5001738258“，”display_name“：”C\u00e9sar Dom\u00ednguez“，”orcid“：”https://orcid.org/0000-0002-2912-5582}，“机构”：[{“id”：https://openalex.org/I168974976“，”display_name“：”拉里奥哈大学“，”ror“：”https://ror.org/0553yr311“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I168974976“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”C\u00e9sar Dom\u00ednguez“，”raw _ afiliation_strings“：[“Departamento de Matem\u00e ticas y Computaci\u00f3n，La Rioja大学，Logro\u00f1o，La Rioja，西班牙”]，“afiliations”：[{“raw_affiliation_string”：“西班牙La Rioja，Logro\u00f1o，拉里奥哈大学，Departamento de Matem\u00e1ticas y Computaci\u00f3n“，”institution_ids“：[”https://openalex.org/I168974976“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：null，“fwci”：1.002，“has_fulltext”：false，“cited_by_count”：4，“cited_by_percentle_year”：｛“min”：80，“max”“：81｝，”书目“：｛”volume“：null，”issue“：nul，”first_page“：”203“，”last_page“：”210“}，”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“：”人工智能“}，”字段“：{”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“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9911，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9893，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/hever-algebraic-structures（https://openalex.org/关键字/高代数结构）“，”display_name“：”高等代数结构“，”score“：0.535425}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.500973}]，”concepts“：[{”id“：”https://openalex.org/C137212723，“wikidata”：https://www.wikidata.org/wiki/Q1948412“，”display_name“：”Morphism“，”level“：2，”score“：0.6674847}，{”id“：”https://openalex.org/C2777759810，“wikidata”：https://www.wikidata.org/wiki/Q149316“，”display_name“：”引理（植物学）“，”level“：3，”score“：0.6597685}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6120239}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”level“：2，”score“：0.5984921｝，｛”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.59788555}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.48530668}，{”id“：”https://openalex.org/C94461902，“wikidata”：https://www.wikidata.org/wiki/Q2762418“，”display_name“：”形式证明“，”level“：3，”score“：0.4826932}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.47675785}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.46929508}，{”id“：”https://openalex.org/C182419690，“wikidata”：https://www.wikidata.org/wiki/Q205464“，”display_name“：”代数结构“，”level“：2，”score“：0.44536275}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2964372}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2692742}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23391053}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.2023867}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.15605327}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.061157852}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C46757340，“wikidata”：https://www.wikidata.org/wiki/Q43238“，”display_name“：”禾本科“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442网址“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-04772-5_27“，”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、”is_core“：true、”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”：9，“referenced_works“：[”https://openalex.org/W1525943315","https://openalex.org/W1821564862","https://openalex.org/W1986402635","https://openalex.org/W1992656112","https://openalex.org/W2027737519","https://openalex.org/W2051578513","https://openalex.org/W2091253243","https://openalex.org/W2107791334","https://openalex.org/W4292003697“]，”related_works“：[”https://openalex.org/W4295798319","https://openalex.org/W3044960660","https://openalex.org/W3026697850","https://openalex.org/W2491370528","https://openalex.org/W2225376631","https://openalex.org/W2031433674","https://openalex.org/W2017200838","https://openalex.org/W1854197585","https://openalex.org/W183809628","https://openalex.org/W1819460135“]，”ngrams_url“：”https://api.openalex.org/works/W1556133358/ngrams“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1]，“work”：[2]，“we”：[3]，“propose”：[4]，“a”：[5,55]，“representation”：[6]，“of”：[7,19,33,42,48,58]，“graded”：[8]，“algorited”：[9]，“structures”：[10]，“and”：[11,27]，“morphism”：[12]，“over”：[13]，“them”：[14]，[15]，“In”：[16,22,36,63]，“the”：[17,23,40,43,46,59]，“field”：[18]，“Homological”：[20]，“Algebra”：[21]，“证明”：[24,57]，“助手”：[25]，“伊莎贝尔”：[26]，“考证”：[28]，“我们”：[29]，“提供”：[30]，“特殊”：[31]，“实例”：[32]，“这些”：[34]，“表示”：[35,50]，“两者”：[37,64]，“系统”：[38]，“显示”：[39]，“正确性”：[41]，“表述”：[44]，“此外”：[45]，“充分性”：【47】，“这样的“：[49]，”是“：[51]，”说明了“：[52]，”由“：[53]，”发展中“：[54]，“正式”：[56]，“普通”：[60]，“扰动”：[61]，“引理”：[62]，“系统”：[65]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1556133358“，”counts_by_year“：[{”年“：2013，”cited_by_count“：1}]，”更新日期“：”2024-07-01T13:09:41.504407“，”创建日期“：“2016-06-24”}