{“id”：“https://openalex.org/W2988584012“，”doi“：”https://doi.org/10.1007/3-540-45744-5_28“，”title“：”System Abstract:E 0.61“，”display_name“：”系统摘要：E 0.61”，“publication_year”：2001，”publication_date“：”2001-01-01“，”ids“：{”openalex“：”https://openalex.org/W2988584012“，”doi“：”https://doi.org/10.1007/3-540-45744-5_28“，”mag“：”2988584012“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45744-5_28“，”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｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5101604906“，”display_name“：”Stephan Schulz“，”orcid“：”https://orcid.org/0000-0003-3969-5850}，“机构”：[{“id”：https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Stephan Schulz“，”raw _ afiliation_strings“：[“德国慕尼黑理工大学信息研究所\u00e4t M\u00fcnchen”]，”从属关系“：[{”raw _affiliation_string“：”德国慕尼西理工大学信息化研究所\u00fcnchen，德国“，”机构ID“：[”https://openalex.org/I62916508“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5101604906“]，”对应的机构ID“：[”https://openalex.org/I62916508“]，”apc_list“：{“value”：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：3.583，”has_fulltext“：false，”cited_by_count“：34，”citation_normalized_percentile“：{”value“：0.815822，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：fales}，，“max”：90}，“biblio”：{“volume”：空，“issue”：空first_page“：”370“，”last_page“：”375“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10181“，”display_name“：”统计机器翻译与自然语言处理“，”score“：0.998，”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/T10181“，”display_name“：”统计机器翻译与自然语言处理“，”score“：0.998，”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.9955，“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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9864，”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/gas流量计保护“，”display_name“：”燃气表校准仪“，”score“：0.7459265}，{”id“：”https://openalex.org/keywords/literal（https://openalex.org/keywords/literal）“，”display_name“：”Literal（数理逻辑）“，”score“：0.6342642｝，｛”id“：”https://openalex.org/keywords/syntax-based-translation-models网站“，”display_name“：”基于句法的翻译模型“，”score“：0.479675}]，”concepts“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.82799}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.816226｝，｛”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.7894652}，{”id“：”https://openalex.org/C159718280，“wikidata”：https://www.wikidata.org/wiki/Q5526353“，”display_name“：”燃气表校准仪“，”level“：3，”score“：0.7459265}，{”id“：”https://openalex.org/C2780882242，“wikidata”：https://www.wikidata.org/wiki/Q14235582“，”display_name“：”文字（数学逻辑）“，”level“：2，”score“：0.6342642}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.60548425}，{”id“：”https://openalex.org/C81917197，“wikidata”：https://www.wikidata.org/wiki/Q628760“，”display_name“：”Selection（genetic algorithm）“，”level“：2，”score“：0.59987617}，{”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q17299295“，”display_name“：”多样性（控制论）“，”level“：2，”score“：0.5741173}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推理“，”level“：2，”score“：0.464188｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.43602887}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.25560996}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.1406262}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45744-5_28“，”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“，”Spring er 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”：[{“display_name”：“和平、正义和强大的制度”，“id”：”https://metadata.un.org/sdg/16“，”score“：0.51}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：10，”referrenced_works“：【”https://openalex.org/W1517086500","https://openalex.org/W1523376837","https://openalex.org/W1543601803","https://openalex.org/W1582978759","https://openalex.org/W1768790486","https://openalex.org/W1772968073","https://openalex.org/W2037085273","https://openalex.org/W205063686","https://openalex.org/W2136771436","https://openalex.org/W3020984105“]，”related_works“：[”https://openalex.org/W783488073","https://openalex.org/W4246350535","https://openalex.org/W4238632608","https://openalex.org/W3083050876","https://openalex.org/W2969536091","https://openalex.org/W2491573813","https://openalex.org/W1976200187","https://openalex.org/W1875958796","https://openalex.org/W1780472831","https://openalex.org/W1561644379“]，”abstract_inverted_index“：{”We“：[0,69]，”describe“：[1,93]，”the“：[2,9,30,34,50,64,75,79,82,89,98]，”main“：[3]，”characteristics“：[4]，”of“：[5,8,27,52,61,66,74,81]，”version“：[6]，”0.61“：[7]，”E“：[10,14,28]，”equational“：[11]，”the定理“：[12]，”provert.“：[13]，”is“：[15,29,40]，“基于”：[16]，“on”：[17,88]，“叠加”：[18]，“（with”：[19]，“literal”：[20]，“选择）“：[21]，”和“：[22,46,56,77]，”重写。“：[23]，”A“：[24]，”特别“：[25]，”强度“：[26]，”能力“：[31]，”到“：[32]，”控制“：[33]，”证明“：[35]，”搜索“：[36]，”非常“：[37，44]，”好。“：[38]，“This”：[39]，“reflected”：[41]，“by”：[42,57,84]，“a”：[43,58]，“powerful”：[45]，“flexible”：[47]，“interface”：[48]，“for”：[49,63,97]，“specification”：【51】，“clause”：【53】，“selection”：[P4,65]，“functions”：【55】，“wide”：【59】，“variety”：【60】，“fuctions”：【62】，“infersion”：【67】，“literals”●●●●。“：[68]，”讨论“：[70]，”一些“：[71]，”重要“：[72]，”方面“：[73]，”实现“：[76]，”演示“：[78]，”性能“：[80]，”证明“：[83]，”呈现“：[85]，”实验“：[86]，”结果“：[87]，”TPTP。“：[90]，”最后，“：[91]，”我们“：[92]，”我方“：[94]，”未来“：[95]，”计划“：[96]，”系统。“：[99]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2988584012“，”counts_by_year“：[{”年份“：2020，”cited_by_count“：1}，{”年度“：2015，”cited_by_count”：1}]，”updated_date“：”2024-09-19T16:25:04.681231“，”created_date:“2019-11-22”}