{“id”：“https://openalex.org/W2786272565“，”doi“：”https://doi.org/10.29007/n7rd网站“标题”：“我们几乎什么都不知道！l但我们可以学习吗？“，”display_name“：“我们几乎什么都不知道！l但我们可以学习吗？“，”publication_year“：2018，”publication_date“：”2018-01-23“，”ids“：｛”openalex“：”https://openalex.org/W2786272565“，”doi“：”https://doi.org/10.29007/n7rd网站“，”mag“：”2786272565“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.29007/n7rd网站，“pdf_url”：https://easychair.org/publications/open/6kgF“，”源“：｛”id“：”https://openalex.org/S4220651395“，”display_name“：”EPiC series in computing“，”issn_l“：”2398-7340“，”isn“：[”2398-8340“]，”is_oa“：false，”is_noaj“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[].，“type”：“journal”}，“license”：null ed版本“，”is_accepted“：true，”is_published“：true}，”type“：“文章”，”type_crossref“：”procesdings-article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：真，”oa_status“：”青铜“，”oa_url“：”https://easychair.org/publications/open/6kgF“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A500435125“，”display_name“：”Stephan Schulz“，”orcid“：”https://orcid.org/0000-0003-2896-4488}，“机构”：[{“id”：https://openalex.org/I108806672“，”display_name“：”Baden-Wuertemberg合作州立大学“，”ror“：”https://ror.org/02xdzy536“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I108806672“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Stephan Schulz“，”raw _ afiliation_strings“：[“DHBW Stuttgart”]，”affiliations“：[{”raw _affiliation_string“：”DHBW Suttgarts“，”institution_ids“：[https://openalex.org/I108806672“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A500435125“]，”对应的机构ID“：[”https://openalex.org/I108806672“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：0，”citation_normalized_percentile“：{”value“：0.05，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{“min”：0，“max”：62}，“biblio”：{“volume”：null，“first_page”：空，“last_page”：空}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9901，”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.9901，”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/keywords/euristics“，”display_name“：”启发式“，”score“：0.72355354}，{”id“：”https://openalex.org/keywords/nothing“，”display_name“：”Nothing“，”score“：0.5614698}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.477018}，{”id“：”https://openalex.org/keywords/formal-proof（https://openalex.org/keywords/formal-proof）“，”display_name“：”形式证明“，”score“：0.47153813}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.74916357}，{”id“：”https://openalex.org/C127705205，“wikidata”：https://www.wikidata.org/wiki/Q5748245“，”display_name“：”启发式“，”level“：2，”score“：0.72355354}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.6332545}，{”id“：”https://openalex.org/C136815107，“wikidata”：https://www.wikidata.org/wiki/Q154242“，”display_name“：”Nothing“，”level“：2，”score“：0.5614698}，{”id“：”https://openalex.org/C66882249，“wikidata”：https://www.wikidata.org/wiki/Q169336“，”display_name“：”同质“，”level“：2，”score“：0.4975095}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.47411278}，{”id“：”https://openalex.org/C94461902，“wikidata”：https://www.wikidata.org/wiki/Q2762418“，”display_name“：”形式证明“，”level“：3，”score“：0.47153813}，{”id“：”https://openalex.org/C28719098，“wikidata”：https://www.wikidata.org/wiki/Q4946“，”display_name“：”Point（geometry）“，”level“：2，”score“：0.46198803}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41893417}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.38029787}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.3583421｝，｛”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.2726586}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.21725658}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.1539993}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：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/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”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“：true，”landing_page_url“：”https://doi.org/10.29007/n7rd网站，“pdf_url”：https://easychair.org/publications/open/6kgF“，”源“：｛”id“：”https://openalex.org/S4220651395“，”display_name“：”EPiC series in computing“，”issn_l“：”2398-7340“，”isn“：[”2398-8340“]，”is_oa“：false，”is_noaj“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[].，“type”：“journal”}，“license”：null ed版本“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.29007/n7rd网站，“pdf_url”：https://easychair.org/publications/open/6kgF“，”源“：｛”id“：”https://openalex.org/S4220651395“，”display_name“：”EPiC series in computing“，”issn_l“：”2398-7340“，”isn“：[”2398-8340“]，”is_oa“：false，”is_noaj“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[].，“type”：“journal”}，“license”：null ed版本“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：14，”referrenced_works“：【”https://openalex.org/W148846224","https://openalex.org/W1584553031","https://openalex.org/W1781094","https://openalex.org/W1881432009","https://openalex.org/W2037085273","https://openalex.org/W2063042596","https://openalex.org/W2101234009","https://openalex.org/W2109042184","https://openalex.org/W2271840356","https://openalex.org/W246020316","https://openalex.org/W2578089424","https://openalex.org/W2962882571","https://openalex.org/W2963376030","https://openalex.org/W3005443171“]，”related_works“：[”https://openalex.org/W4382406376","https://openalex.org/W3011492772","https://openalex.org/W2808813869","https://openalex.org/W2800570524","https://openalex.org/W2499122376","https://openalex.org/W2375097772","https://openalex.org/W2315519183","https://openalex.org/W2216420239","https://openalex.org/W2109915140","https://openalex.org/W2103493327“]，”abstract_inverted_index“：{”The“：[0]，”maximate“：[1]，”source“：[2]，”of“：[3,18,74123]，”progress“：[4]，”in“：[5,9120]，”automated“：[6,34]，”The理“：[7]，”证明“：[8]，”The“：[10,16,72121124]，”last“：[11]，”30“：[12]，”years“：[13]，”has“：[14]，”been“：[15]，”development“：[17]，“更好”：[19]，“搜索”：[20109]，“启发式”，：[21]，“通常”：[22]，“基于”：[23]，“关于“：[24]，“开发者”：[25]，“经验”：[26]，“和”：[27,65,68,80,82,90103108111]，“实证”：[28]，“评估”：[29]，“但”：[30]，“日益”：[31]，“也”：[32]，“使用”：[33]，“优化”：[35]，“技术”。“：[36]，”尽管“：[37]，”这“：[38,87]，”进步“：[39]，”我们“：[40,99113]，”仍然“：[41]，”知道“：[42]，”非常“：[43]，”很少“：[44]，”关于“：[45]，”证明“：[46106125]，”搜索。“：[47126]，”We“：[48]，”have“：[49，92]，”most“：[50]，”failed“：[51]，”to“：[52，85，95116]，”identify“：[53]，”good“：[54]，”features“：[55]，”for“：[56，62]，”characteristing“：[57]，”homogeneous“：[58]，”problem“：[59]，”classes“：[60]，”or“：[61]，”identification“：[63]，”interest“：[64]，”relevant“：[66]，“条款”：[67]，“公式”。“：[69]，“我”：[70]，“提议”：[71]，“挑战”：[73]，“带来”：[75]，“一起”：[76]，“归纳”：[77]，“技术”：[78,84]，“（泛化”：[79]，“学习”：[81]，“演绎”：[83]，“攻击”：[86]，“问题”。“：[88]，“硬件”：[89]，“软件”：[91]，“最终”：[93]，“进化”：[94]，“a”：[96]，“点”：[97]，“那”：[98]，“能”：[100114]，“合理”：[101]，“代表”：[102]，“分析”：[104]，“大”：[105]，“搜索”：[107]，“决策”：[110]，“其中”：[112]，“希望”：[115]，“实现”：[117]，“订单tude“：[118]，“改进”：[119]，“效率”：[122]}，“cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2786272565“，”counts_by_year“：[]，”updated_date“：”2024-09-18T03:39:18.871495“，”created_dates“：”2018-02-23“}“