{“id”：“https://openalex.org/W3097128303网址“，”doi“：”https://doi.org/10.1007/s40593-020-00222-2网址“，”title“：”Hilbert-Style公理证明导师中提示和反馈的生成和使用“，”display_name“：”在Hilbert-Style公理学证明导师中暗示和反馈的产生和使用“”publication_year“：2020，”publication_date“：”2020-11-06“，”ids“：{”openalex“：”https://openalex.org/W3097128303“，”doi“：”https://doi.org/10.1007/s40593-020-00222-2网址“，”mag“：”3097128303“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s40593-020-00222-2网址，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s40593-020-00222-2.pdf，“源”：{“id”：https://openalex.org/S171267539“，”display_name“：”《国际人工智能教育杂志》“，”issn_l“：”1560-4292“，”isn“：[”1560-4282“，”1560-4306“]，”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“，”Springr Science+Business Media“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/s40593-020-00222-2.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5071517121“，”display_name“：”Josje Lodder“，”orcid“：”https://orcid.org/0000-0003-0568-7844}，“机构”：[{“id”：https://openalex.org/I7876267“，”display_name“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Josje Lodder“，”raw _ afiliation_strings“：[“荷兰赫尔伦开放大学科学学院”]，”affiliations“：[{”raw _affiliation_strong“：”荷兰赫尔伦公开大学科学学院“，”institution_ids“：[https://openalex.org/I7876267“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5040746546“，”display_name“：”Bastiaan Heeren“，”orcid“：”https://orcid.org/0000-0001-6647-6130}，“机构”：[{“id”：https://openalex.org/I7876267“，”display_name“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Bastiaan Heeren“，”raw _affiliation_strings“：[“荷兰赫尔伦开放大学科学学院”]，”affiliations“：[{”raw _affiliation_string“：”荷兰赫尔伦公开大学科学学院“，”institution_ids“：[https://openalex.org/I7876267“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5011892251“，”display_name“：”Johan Jeuring“，”orcid“：”https://orcid.org/0000-0001-5645-7681}，“机构”：[{“id”：https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}，{”id“：”https://openalex.org/I7876267“，”display_name“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]｝]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Johan Jeuring“，”raw_affiation_string“：[”荷兰乌得勒支大学信息与计算科学系“，”荷兰赫伦开放大学理学院“]，”附属机构“：[{”raw_affiation_string“：”荷兰乌得勒支乌得勒支特大学信息与计算科学系“，“institution_ids”：[“https://openalex.org/I193662353“]}，{”raw_affiliation_string“：”荷兰赫尔伦开放大学科学学院“，”institution_ids“：[”https://openalex.org/I7876267“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5042973778“，”display_name“：”Wendy Neijenhuis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I7876267“，”display_name“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Wendy Neijenhuis“，”raw _ afiliation_strings“：[“荷兰赫尔伦开放大学科学学院”]，”affiliations“：[{”raw _affiliation_string“：”荷兰赫尔伦公开大学科学学院“，”institution_ids“：[https://openalex.org/I7876267“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5071517121“]，”对应的机构ID“：[”https://openalex.org/I7876267“]，”apc_list“：{”value“：2190，”currency“：”EUR“，”value_usd“：2790，”provenance“：”doaj“}，”apc _payed“：”{“value”：2190、”current“：”欧元“，”value_usd”：2790、“provenance”：“doaj”}、“fwci”：0.135、“has_fulltext”：false、“cited_by_count”：2、“citation_normalized_percentile”：{“value”：0.520623、“is_in_top_1_perce”nt“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：70，”max“：74}，“biblio”：{“volume”：“31”，“issue”：“1”，“first_page:”99“，”last_page“：”133“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T11902“，”display_name“：”智能辅导系统的有效性“，”score“：0.9994，”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/T11902“，”“display_name”：“智能教学系统的有效性”，“score”：0.9994，“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.9926，“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.9922，“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/proof-assistant网站“，”display_name“：”校对助理“，”score“：0.55096817}，{”id“：”https://openalex.org/keywords/internigent-tutoring-systems“，”display_name“：”智能教学系统“，”score“：0.521059}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.520688}，{”id“：”https://openalex.org/keywords/student-modeling网站“，”display_name“：”学生建模“，”score“：0.502229}，{”id“：”https://openalex.org/keywords/proof-complexity网站“，”display_name“：”证明复杂性“，”score“：0.48479834}，{”id“：”https://openalex.org/keywords/tutor网站“，”display_name“：”TUTOR“，”score“：0.42140928}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.9303942}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6973091}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.595127｝，｛”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.55096817}，{”id“：”https://openalex.org/C105605280，“wikidata”：https://www.wikidata.org/wiki/Q7249999“，”display_name“：”证明复杂性“，”level“：3，”score“：0.48479834}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.46064973｝，｛”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.45485333}，{”id“：”https://openalex.org/C2778371403，“wikidata”：https://www.wikidata.org/wiki/Q7672049“，”display_name“：”TUTOR“，”level“：2，”score“：0.42140928}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35724336}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2611612}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.21738166}，{”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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s40593-020-00222-2网址，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s40593-020-00222-2.pdf，“源”：{“id”：https://openalex.org/S171267539“，”display_name“：”《国际人工智能教育杂志》“，”issn_l“：”1560-4292“，”isn“：[”1560-4282“，”1560-4306“]，”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“，”Springr Science+Business Media“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s40593-020-00222-2网址，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s40593-020-00222-2.pdf，“源”：{“id”：https://openalex.org/S171267539“，”display_name“：”《国际人工智能教育杂志》“，”issn_l“：”1560-4292“，”isn“：[”1560-4282“，”1560-4306“]，”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“，”Springr Science+Business Media“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.8}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：49，”referrenced_works“：【”https://openalex.org/W145923646","https://openalex.org/W1487936617","https://openalex.org/W1514405275","https://openalex.org/W1521372188","https://openalex.org/W1571809455","https://openalex.org/W1679534293","https://openalex.org/W1765180305","https://openalex.org/W1970209023","https://openalex.org/W1976154879","https://openalex.org/W1983352506","https://openalex.org/W2011781104","https://openalex.org/W2045190325","https://openalex.org/W2064430731","https://openalex.org/W2068100625","https://openalex.org/W2069105008","https://openalex.org/W2073911647","https://openalex.org/W2089745666","https://openalex.org/W2105505307网址","https://openalex.org/W2115486496","https://openalex.org/W2123951646","https://openalex.org/W2124804141","https://openalex.org/W2128065396","https://openalex.org/W2135995390","https://openalex.org/W2136208491","https://openalex.org/W2138777938","https://openalex.org/W2144732342","https://openalex.org/W2163640453","https://openalex.org/W2337547430","https://openalex.org/W2501992847","https://openalex.org/W2528641039","https://openalex.org/W2578033914","https://openalex.org/W2594134321","https://openalex.org/W278209763","https://openalex.org/W2809514990","https://openalex.org/W2912176082","https://openalex.org/W2950525618","https://openalex.org/W2951855880","https://openalex.org/W3008084236","https://openalex.org/W3161587981","https://openalex.org/W4232485711","https://openalex.org/W4233336709","https://openalex.org/W4242302023","https://openalex.org/W4251228600","https://openalex.org/W4292003697","https://openalex.org/W4298236051","https://openalex.org/W563832593","https://openalex.org/W604272734","https://openalex.org/W72413812","https://openalex.org/W767947605“]，”related_works“：[”https://openalex.org/W3083108005","https://openalex.org/W2950379217","https://openalex.org/W2731252258","https://openalex.org/W2493932858","https://openalex.org/W2269124212","https://openalex.org/W2265565896","https://openalex.org/W2141223844","https://openalex.org/W2115401928","https://openalex.org/W2093910552","https://openalex.org/W2002184363“]，”abstract_inverted_index“：{”abstract“：[0]，”This“：[1]，”paper“：[2]，”descriptes“：[3]，”logax“：[4,28,63,83108]，”，“：[5]，”an“：[6]，”interactive“：[7]，”tutoring“：[8]，”tool“：[9]，”that“：[10,49,67]，”gives“：[11]，”hints“：[12,33123]，”and“：[13,44,47,93]，”feedback“：[14]，”to“：[15,31,58126]，”a“：[16,21,72,76,96]，”student“：[17,45,77]，”who“：[18]，”逐步“：[19]，”构造“：[20]，”Hilbert-style“：[22]，”公理“：[23]，”证明“：[24]，”in“：[25,99]，”命题“：[26]，”逻辑。“：[27]，”生成“：[29]，”证明“：[30,40,43,55]，”计算“：[32]，”反馈。“：[35，94]，”我们“：[36]，”比较“：[37]，”这些“：[38]，”生成“：[39，54，81]，”与“：[41]，”专家“：[42，61]，”解决方案“：[46]，”结论“：[48]，”the“：[50，53，80100103114128]，”quality“：[51]，”of“：[52，6010102105113]，”is“：[56]，”compatible“：[57]，”证明。“：[62]，”认可“：[64]，”大多数“：[65]，”步骤“：[66,89]，”学生“：[68118125]，”采取“：[69]，”当“：[70]，”构造“：[71]，”证明。“：[73]，”Even“：[74]，”if“：[75]，”diverses“：[78]，”from“：[79]，”solution“，”：[82]，”still“：[84]，”provides“：[85]，”hints“：[86]，”including“：[87]，”next“：[88]，”or“：[90]，”reachable“：[91]，”subgoals“，”:[92]，”With“：[95]，”fellow“：[97]，”improviders“：[98]，”design“：[101]，“set”：[104]，“buggy”：[106120]，“rules”，“：[107]”，“will”：[109]，“cover”：[110]，“about”：[111]，“80%”：[112]，“错误“：[115]，”犯“：[116]，”由“：[117119]，”规则。“：[121]，”The“：[122]，”help“：[124]，”complete“：[127]，”练习。“：[129]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3097128303“，”counts_by_year“：[{”年“：2023，”引用_by_count“：2}]，”更新日期“：”2024-09-19T19:37:07.066241“，”创建日期“：“2020-11-09”}