{“id”：“https://openalex.org/W1575172482“，”doi“：”https://doi.org/10.1007/978-3-642-04617-9_37“，”title“：”呈现具有自适应粒度的校对“，”display_name“：”呈现具有自适应粒度的校对“，”publication_year“：2009，”publication_date“：”2009-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1575172482“，”doi“：”https://doi.org/10.1007/978-3-642-04617-9_37“，”mag“：”1575172482“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-04617-9_37“，”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/A5050429096“，”display_name“：”马文·席勒“，”兽人“：”https://orcid.org/0000-0003-4036-3730}，“机构”：[{“id”：https://openalex.org/I33256026“，”display_name“：”德国人工智能研究中心“，”ror“：”https://ror.org/01ayc5b57“，”“country_code”“：”DE“，”type“：”非营利性“，”世袭“：[”https://openalex.org/I33256026“]｝]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”马文·席勒“，”raw_affiation_strings“：[”德国人工智能研究中心（DFKI），德国不来梅“]，”附属机构“：[｛”raw_affiation_string“：”德国人工智能研究中心（DFKI），德国不来梅“，”institution_ids“：[”https://openalex.org/I33256026“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5055110324“，”display_name“：”Christoph Benzm\u00fcller“，”orcid“：”https://orcid.org/0000-0002-3392-3093}，“机构”：[{“id”：https://openalex.org/I4210087065“，”display_name“：”德国国际大学“，”ror“：”https://ror.org/000jzpp78“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I4210087065“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Christoph Benzm\u00fcller“，”raw _ afiliation_strings“：[“德国布鲁塞尔国际大学”]，”affiliations“：[{”raw _affiliation_strong“：”德国布鲁塞尔国际学院”，“institution_ids”：[“https://openalex.org/I4210087065“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.668，“has_fulltext”：false，“cited_by_count”：4，“cited_by_by_percent”ile_year“：{“最小”：79，“最大”：81}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”289“，”last_page“：”297“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9993，“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.9993，“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/T13523“，”display_name“：”数学信息检索与搜索“，”score“：0.9862，”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.9807，“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/math-question-answering“，”display_name“：”数学问答“，”score“：0.503548}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.94336635}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8451426}，{”id“：”https://openalex.org/C177774035，“wikidata”：https://www.wikidata.org/wiki/Q1246948“，”display_name“：”粒度“，”级别“：2，”分数“：0.833791}，{”id“：”https://openalex.org/C2777601897，“wikidata”：https://www.wikidata.org/wiki/Q3409113“，”display_name“：”演示（产科）“，”级别“：2，”分数“：0.57545686}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.5410617}，{”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019“，”display_name“：”概念证明“，”level“：2，”score“：0.50006795}，{”id“：”https://openalex.org/C2780451532，“wikidata”：https://www.wikidata.org/wiki/Q759676“，”display_name“：”Task（project management）“，”level“：2，”score“：0.48604995}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.45430335}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.36368552}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.36157873}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35758397｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0878053}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C187736073，“wikidata”：https://www.wikidata.org/wiki/Q2920921“，”display_name“：”管理“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C126838900，“wikidata”：https://www.wikidata.org/wiki/Q77604“，”display_name“：”放射学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-04617-9_37“，”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.79，“id”：“https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：【”https://openalex.org/W1491058778","https://openalex.org/W1604938182","https://openalex.org/W1830526418","https://openalex.org/W1848687280","https://openalex.org/W1860929026","https://openalex.org/W2125055259","https://openalex.org/W2147771191","https://openalex.org/W4206424342“]，”related_works“：[”https://openalex.org/W4385763783","https://openalex.org/W4295798319","https://openalex.org/W353523607","https://openalex.org/W3100311625","https://openalex.org/W3012710117","https://openalex.org/W2953172612网址","https://openalex.org/W2809147512","https://openalex.org/W1819460135","https://openalex.org/W1598473030","https://openalex.org/W1585401881“]，”ngrams_url“：”https://api.openalex.org/works/W1575172482/ngrams“，”“abstract_inverted_index”：{“When”：[0]，”数学家“：[1]，”“present”：[2,27,68]，”证明“：[3,28110]，”他们“：[4]，”通常“：[5,29]，”适应“：[6]，”其“：[7,10,19]，”解释“：[8]，”to“：[9,14,54,74]，”说教“：[11]，”目标“：[12]，”和“：[13,57,71]，”the“：[15,83105]，”（假设）“：[16]，“知识”：[17,81]，“的”：[18,34108115]，“收件人”：[20]，“现代”：[21]，“自动”：[22106]，“定理”：[23]，“证明程序”：[24]，“in”：[25]，“对比度”：[26]，，“at”：[30111]，“a”：[31,69]，“固定”：[32]，“级别”：[33114]，“细节”：[35]，“（也称为：[36]，“调用”：[37]，“粒度）。”：[38]，“经常”：[39]，“这些”：[40]，“表示”：[41]，“是”：[42102]，“既不是”：[43]，“有意”：[44]，“也不是”：%45]，“适合”：[46]，“用于”：[47,82104]，“人类”：[48]，“使用。”：[49]，“A”：[50]，“挑战”：[51]，“因此”：[52]，“是”：[53]，“开发”：[55]，“用户-”：[56]，“目标适应性”：[58]，“证明”：[59，75，93]，“呈现”：[60，76]，“技巧”：[61]，“那”：[62]，“服从”：[63]，“共同”：[64]，“数学”：[65]，“实践”：[66]，“我们”：[67]，“灵活”：[70]，“自适应”：[72]，“方法”：[73]，“基于”：[77]，“基于”：[78]，“分类。”：[79]，“专家”：[80]，“分类”：[84]，“任务”：[85]，“可以”：[86]，“是”：[87]，“手工创作”：[88]，“或”：[89]，“提取”：[90]，“来自”：[91]，“注释”：[92]，“示例”：[94]，“通过”：[95]，“机器”：[96]，“学习”：[97]，“技术。”：[98]，“The”：[99]，“获取”：[100]，“模型”：[101]，“就业”：[103]，“世代”：[107]，“进一步”：[109]，“an”：[112]，“适应”：[113]，“粒度”：[116]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1575172482“，”counts_by_year“：[{”年份“：2018，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：1}]，”更新日期“：”2024-07-07T23:05:15.192893“，”创建日期“：“2016-06-24”}