{“id”：“https://openalex.org/W1417197267“，”doi“：”https://doi.org/10.1007/978-3-319-21401-6_21“，”title“：”Quantifier-Free等式逻辑和素蕴涵生成“，”display_name“：”Quantifier-Free等式逻辑与素蕴涵产生“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W1417197267“，”doi“：”https://doi.org/10.1007/978-3-319-21401-6_21“，”mag“：”1417197267“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21401-6_21“，”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/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：”https://orcid.org/0000-0001-5765-0758}，“机构”：[{“id”：https://openalex.org/I4210104430“，”display_name“：”格勒诺布尔信息实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]｝]，”国家“：[”FR“]，”is_correresponsing“：false，”raw_author_name“：”Mnacho Echenim“，”raw_affiation_strings“：[”法国格勒诺布尔格勒诺布尔信息学实验室“]，”附属机构“：[｛”raw_affiation_string“：”法国格勒诺布尔格勒诺布尔信息学实验室“，”institution_ids“：[”https://openalex.org/I4210104430“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5079985573“，”display_name“：”Nicolas Peltier“，”orcid“：”https://orcid.org/0000-0002-8943-7000}，“机构”：[{“id”：https://openalex.org/I4210104430“，”display_name“：”格勒诺布尔信息实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Nicolas Peltier“，”raw _ afiliation_strings“：【”Grenoble Informatics Laboratory，Grenoble，France“】，”affiliations“：[{”raw _affiliation_strong“：”Grenoblel Informatics Laboratoryhttps://openalex.org/I4210104430“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5057556247“，”display_name“：”Sophie Touret“，”orcid“：”https://orcid.org/0000-0002-6070-796X}，“机构”：[{“id”：https://openalex.org/I4210104430“，”display_name“：”格勒诺布尔信息实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Sophie Torret“，”raw _ afiliation_strings“：[“法国格勒诺布尔格勒诺布信息实验室”]，”affiliations“：[{”raw _affiliation_string“：”法国格勒诺布尔格勒诺布信息实验室“，”institution_ids“：[https://openalex.org/I4210104430“]}]}]，”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.752，”has_fulltext“：false，”cited_by_count：7，”citation_normalize d_percentile“：{”value“：0.672691，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“311”，“last_page”：“325”}，，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”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/T11010“，”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.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/T10215“，”display_name“：”语义Web和本体开发“，”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/keywords/equational-logic网站“，”display_name“：”等式逻辑“，”score“：0.53462034}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.518297}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.515681}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.508175｝，｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.505059}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.504943}，{”id“：”https://openalex.org/keywords/first order逻辑“，”display_name“：”一阶逻辑“，”score“：0.42840925｝，｛”id“：”https://openalex.org/keywords/相关性“，”display_name“：”相关性（定律）“，”score“：0.424405}]，”concepts“：[{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.5838794}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.56329936}，{”id“：”https://openalex.org/C154564781，“wikidata”：https://www.wikidata.org/wiki/Q5384236“，”display_name“：”等式逻辑“，”level“：3，”score“：0.53462034}，{”id“：”https://openalex.org/C184992742，“wikidata”：https://www.wikidata.org/wiki/Q7243229“，”display_name“：”素数（序理论）“，”level“：2，”score“：0.4998822}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.49244627}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.42840925}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42782646}，{”id“：”https://openalex.org/C158154518，“wikidata”：https://www.wikidata.org/wiki/Q7310970“，”display_name“：”相关性（法律）“，”level“：2，”score“：0.424405}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.40960288｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.34216595}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3360929}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.24499431}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.11907053}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.11436224}，{”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“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21401-6_21“，”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}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01363987“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01363987“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”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.52}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：30，”referrenced_works“：【”https://openalex.org/W1505068091","https://openalex.org/W1507112684","https://openalex.org/W15652953","https://openalex.org/W1573992413","https://openalex.org/W1583295953","https://openalex.org/W1602903215","https://openalex.org/W1780472831","https://openalex.org/W1795691572","https://openalex.org/W1883762151","https://openalex.org/W1973279396","https://openalex.org/W1980250820","https://openalex.org/W2038745317","https://openalex.org/W2047315525","https://openalex.org/W2054939514","https://openalex.org/W2074150360","https://openalex.org/W2084417024","https://openalex.org/W2097412459","https://openalex.org/W2144078201","https://openalex.org/W2154984259","https://openalex.org/W2159595840","https://openalex.org/W2167258402","https://openalex.org/W2171687149","https://openalex.org/W2332496214","https://openalex.org/W2561675875","https://openalex.org/W2583369873","https://openalex.org/W2902556429","https://openalex.org/W3041591766","https://openalex.org/W32130834","https://openalex.org/W4230919050","https://openalex.org/W52563601“]，”related_works“：[”https://openalex.org/W4251249278","https://openalex.org/W38237202","https://openalex.org/W3124623193","https://openalex.org/W2811206835","https://openalex.org/W2159511425","https://openalex.org/W2072882694","https://openalex.org/W2019751493","https://openalex.org/W2019408598","https://openalex.org/W1596879787","https://openalex.org/W155019843“]，”abstract_inverted_index“：{”An“：[0]，”algorithm“：[1]，”for“：[2108]，”generating“：[3]，”prime“：[4,52]，”indires“：[5,42,53]，”of“：[6,8,43,47,51,54,64,77100]，”set“：[7,76]，”equalational“：[9]，”ground“：[10]，”子句“：[11,29,79]，”is“：[12,88]，”presented.“：[13]，”It“：[14]，“包含”：[15]，“in”：[16,80103]，“扩展”：[17]，“the”：[18,44,98]，“standard”：[19]，“叠加“：[20]，“微积分”：[21]，“with”：[22]，“rules”：[23]，“that”：[24,36]，“allow”：[25]，“attaching”：[26]，“hypervisions”：[27,35]，“to”：[28,30,38,74,90105]，“perform”：[31]，“additional”：[32]，“references”。“：[33]，”The“：[34,49]，”lead“：[37]，”a“：[39,55]，”反驳“：[40]，”representation“：[41,75]，”original“：[45]，”set“：[46,50,57]，”子句。“：[48]，”子句“：[56]，”can“：[58]，”thus“：[59]，”be“：[60,91]，”getated“：[61]，”by“：[62]，”saturation“：[63]，”this“：[65]，”set。“：[66]，“数据”：[67]，“结构”：[68]，“和”：[69,83,93]，“算法”：[70]，“是”：[71]，“也是”：[72]，“设计”：[73]，“约束”：[78]，“an”：[81]，“高效”：[82]，“简洁”：[84]，“方式”。“：[85]，”我们的“：[86]，”方法“：[87102]，”已证明“：[89]，”正确“：[92]，”完成。“：[94]，“实用”：[95]，“实验”：[96]，“显示”：[97]，“相关性”：[99]，“我们的”：[101]，“比较”：[104]，“现有”：[106]，“方法”：[107]，“命题”：[109]，“或”：[110]，“一阶”：[111]，“逻辑”。“：[112]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1417197267“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：4}，{“年度”：2018，”ciped_by_cunt“：1}，”{“年”：2017，”cited_by_count”：2}]，”updated_date“：”2024-08-20T05:47:11.405467“，”created_dates“：”2016-06-24“}