｛“id”：“https://openalex.org/W2286209847“，”doi“：”https://doi.org/10.1007/3-540-36078-6_25“，”title“：”使用\u03a9MEGA:\u221a2的证据开发不合理“，”display_name“：”使用\u03a9MEGA:\u221a2的证据开发不合理“，”publication_year“：2002，”publication_date“：”2002-01-01“，”ids“：｛”openalex“：”https://openalex.org/W2286209847“，”doi“：”https://doi.org/10.1007/3-540-36078-6_25“，”mag“：”2286209847“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-36078-6_25“，”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/A5044203427“，”display_name“：”J\u00f6rg Siekmann“，”orcid“：”https://orcid.org/0000-0001-6398-3284}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”J.Siekmann“，”raw _ afiliation_strings“：[“FR 6.2 Informatik，University \u00e4t des Saarlandes，66041，Saarbr\u00fccken，Germany”]，”从属关系“：[{”raw _affiliation_string“：”FR 6.2 Information，University\u00e 4t des-Saarlands _id“：[”https://openalex.org/I91712215“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055110324“，”display_name“：”Christoph Benzm\u00fcller“，”orcid“：”https://orcid.org/0000-0002-3392-3093}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”C.Benzm\u00fcller“，”raw _ afiliation_strings“：[“FR 6.2 Informatik，University \u00e4t des Saarlandes，66041，Saarbr\u00fc cken，Germany”]，”从属关系“：[{”raw _affiliation_strong“：”FR 6.2 Information，University\u00e 4t des-Saarlands，66042，Saarbr \u00f cken，德国”，“机构ID“：[”https://openalex.org/I91712215“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5042127703“，”display_name“：”Armin Fiedler“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]｝]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”A.Fiedler“，”raw_affiation_strings“：[”FR 6.2 Informatik，Universit \u00e4t des Saarlandes，66041，Saarbr\u00fccken，Germany“]，”附属机构“：[｛”raw_affiation_string“：”FR 6.2 Informatik，Universit \u00e4t des Saarlandes，66041，Saarbr\u00fccken，Germany“，”institution_ids“：[”https://openalex.org/I91712215“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5024969724“，”display_name“：”Andreas Meier“，”orcid“：”https://orcid.org/0000-0002-3135-9310}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”A.Meier“，”raw _affiliation_strings“：[“FR 6.2 Informatik，University\u00e4t des Saarlandes，66041，Saarbr\u00fccken，Germany”]，”afliations“：[{”raw _affiliation_string“：”FR 6.2 Information，University \u00e 4t des-Saarlands，66041,Saarbr/u00fcken，Gerarmany“，”institution_i ds“：[”https://openalex.org/I91712215“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5067887566“，”display_name“：”Martin Pollet“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”M.Pollet“，”raw _affiliation_strings“：[“FR 6.2 Informatik，University\u00e4t des Saarlandes，66041，Saarbr\u00fccken，Germany”]，“afliations”：[{“raw_affilition_string”ds“：[”https://openalex.org/I91712215“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.645，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：78，“最大”：79}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”367“，”last_page“：”387“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9987，“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.9987，“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/T11697“，”display_name“：”科学计算中的浮点运算“，”score“：0.995，”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/T13523“，”display_name“：”数学信息检索与搜索“，”score“：0.9946，”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/selection-logic“，”display_name“：”Separation Logic“，”score“：0.453725}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.71438915}，{”id“：”https://openalex.org/C94931360，“wikidata”：https://www.wikidata.org/wiki/Q607728“，”display_name“：”无理数“，”level“：2，”score“：0.7046123}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.6817224}，{”id“：”https://openalex.org/C173613240，“wikidata”：https://www.wikidata.org/wiki/Q1150675“，”display_name“：”计算机辅助证明“，”level“：3，”score“：0.61671877}，{”id“：”https://openalex.org/C2776542497，“wikidata”：https://www.wikidata.org/wiki/Q5266672“，”display_name“：”开发（拓扑）“，”级别“：2，”分数“：0.56958055}，{”id“：”https://openalex.org/C2777019708，“wikidata”：https://www.wikidata.org/wiki/Q1412340“，”display_name“：”非理性“，”level“：3，”score“：0.5427814}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4694711}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.46859995}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3835058}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38156134}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.3526116}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34582898｝，｛”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534“，”display_name“：”数理经济学“，”level“：1，”score“：0.33138257}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3303113}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2264624}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.16816291}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.15820307}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/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}，{”id“：”https://openalex.org/C201717286，“wikidata”：https://www.wikidata.org/wiki/Q938185“，”display_name“：”合理性“，”级别“：2，”分数“：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/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-36078-6_25“，”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“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：28，”referenced_works“：[”https://openalex.org/W148335431","https://openalex.org/W1481747501","https://openalex.org/W1492530167","https://openalex.org/W1537031268","https://openalex.org/W1544731171","https://openalex.org/W1581769579","https://openalex.org/W1589439023","https://openalex.org/W1600415698","https://openalex.org/W1605409994","https://openalex.org/W1612963278","https://openalex.org/W1659048632","https://openalex.org/W1768790486","https://openalex.org/W1862526895","https://openalex.org/W1996404651","https://openalex.org/W2022796917","https://openalex.org/W2032943731","https://openalex.org/W2034155940","https://openalex.org/W2042236049","https://openalex.org/W2092690557","https://openalex.org/W2286209847","https://openalex.org/W24799999086","https://openalex.org/W2487666141","https://openalex.org/W2577557087","https://openalex.org/W2977967499","https://openalex.org/W3021771792","https://openalex.org/W4229979102","https://openalex.org/W4248598332","https://openalex.org/W4292003697“]，”related_works“：[”https://openalex.org/W46383765","https://openalex.org/W4389683414","https://openalex.org/W425029988","https://openalex.org/W2401297194","https://openalex.org/W2392439378","https://openalex.org/W2381515689","https://openalex.org/W2362263755","https://openalex.org/W2195589646","https://openalex.org/W2079936830","https://openalex.org/W2026699385“]，”ngrams_url“：”https://api.openalex.org/works/W2286209847/ngrams网站“，”“abstract_inverted_index”：{“Freek”：[0]，“Wiedijk”：[1]，“proposed”：[2]，“the”：[3,7,45,52,57,64,68,85,95102]，“knowled”：[4]，“the理论”：[5,18,25]，“about”：[6]，“非理性”：[8]，“of”：[9,22,42,47,56,67,84,97104]，“\u221a2”：[10]，“as”：[11,59,88,90]，“a”：[12,20105]，“案例”：[13]，“研究”：[14]，“和”：[15100]，“使用”：[16]，“本”：[17,78,98108]，“对于“：[19,61,94107]，”比较“：[21]，”十五“：[23]，”（交互式）“：[24]，”证明“：[26]，”系统“：[27]，”哪个“：[28]，”是“：[29]，”问“：[30]，”到“：[31,73]，”存在“：[32,81]，”他们的“：[33]，”解决方案“：[34]，”，（参见“：[35]，”[48]）。“：[36]，“This”：[37]，“represents”：[38]，“an”：[39,82]，“important”：[40]，“shift”：[41]，“emphasis”：[43]，“in”：[44,63]，“field”：[46]，“automated”：[48]，“deduction”：[49]，“away”：[50]，“from”：[51]，“something”：[53]，“artificative”：[54]，“problems”：[55]，“past”：[58]，“resented”：“60]，”example，“：[62]，”测试“：[65]，”设置“：[66]，”TPTP“：[69]，”库“：[70]，”[45]“：[71]，”返回“：[72]，“真实”：[74]，“数学”：[75]，“挑战”。：[76]，“在”：[77]，“论文”：[79,99]，“我们”：[80]，“概述”：[83]，“\u03a9mega”：[86]，“系统”：[87]，“远”：[89]，“它”：[91]，“是”：[92]，“相关”：[93]，“目的”：[96]，“显示”：[101]，“发展”：[103]，“证明”：[106]，“定理”。“：[109]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2286209847“，”counts_by_year“：[{”年“：2013，”cited_by_count“：1}]，”更新日期“：”2024-06-27T08:37:09.216188“，”创建日期“：“2016-06-24”}