{“id”：“https://openalex.org/W1765188294“，”doi“：”https://doi.org/10.3233/fi-2013-855“，”title“：”A Resolution Calculus for First-order Schemata“，”display_name“：”A Resolution Calculus of First-有序模式“，”publication_year“：2013，”publiation_date“：”2013-01-01“，”ids“：{”openalex“：”https://openalex.org/W1765188294“，”doi“：”https://doi.org/10.3233/fi-2013-855“，”mag“：”1765188294“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2013-855“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S39012697“，”“display_name”“：”“Fundamental informaticae”“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexd_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://hal.science/hal-00933896/document网站“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5017246972“，”display_name“：”Vincent Aravantinos“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”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“：”Vincent Aravantinos“，”raw _affiliation_strings“：【”LIG/CNRS，法国格勒诺布尔。Vincent.Aravantinos@imag.fr“]，”affiliations“：[{”raw_affiliation_string“：”LIG/CNRS，法国格勒诺布尔。Vincent.Aravantinos@imag.fr“，”institution_id“：[”https://openalex.org/I899635006","https://openalex.org/I1294671590","https://openalex.org/I4210104430“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”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“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Mnacho Echenim“，”raw _affiliation_strings“：[“LIG/Grenoble INP-Ensimag，France。Mnacho.Echenim@imag.fr“]，”affiliations“：[{”raw_affiliation_string“：”LIG/Grenoble INP-Ensimag，法国。Mnacho.Echenim@imag.fr“，”institution_id“：[”https://openalex.org/I899635006","https://openalex.org/I4210104430","https://openalex.org/I106785703“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5079985573“，”display_name“：”Nicolas Peltier“，”orcid“：”https://orcid.org/0000-0002-8943-7000}，“机构”：[{“id”：https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”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 _affiliation_strings“：【”LIG/CNRS，法国格勒诺布尔。尼古拉斯·佩尔蒂尔@imag.fr“]，”affiliations“：[{”raw_affiliation_string“：”LIG/CNRS，法国格勒诺布尔。尼古拉斯·佩尔蒂尔@imag.fr“，”institution_id“：[”https://openalex.org/I899635006","https://openalex.org/I1294671590","https://openalex.org/I4210104430“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：4，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：16，“cited_by_percentile_year”：{“min”：90，”max“：91}，”biblio“：{”volume“：“125“，”问题“：“2”，”第一页“：“101”，”最后一页“：”133“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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.9996，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9965，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.502181｝]，”concepts“：[｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.70752233}，{”id“：”https://openalex.org/C138268822，“wikidata”：https://www.wikidata.org/wiki/Q1051925“，”display_name“：”分辨率（逻辑）“，”级别“：2，”分数“：0.5924253}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.50526124}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.44784725}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42018735}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.32663715}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.18617555}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.18278322}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：7，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2013-855“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S39012697“，”“display_name”“：”“Fundamental informaticae”“，”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-00932856“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-00933896，“pdf_url”：https://hal.science/hal-00933896/document网站，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00932856“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00933896/file/Aravantinos-Echenim-Peltier_FI_2013.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00933896/file/Aravantinos-Echenim-Peltier_FI_2013.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-00933896/file/Aravantinos-Echenim-Peltier_FI_2013.pdf，“pdf_url”：https://hal.science/hal-00933896/file/Aravantinos-Echenim-Peltier_FI_2013.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-overtes.fr/hal-00933896/文档，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00933896/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-00933896，“pdf_url”：https://hal.science/hal-00933896/文档，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”score“：0.51，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”refernced_works“：[”https://openalex.org/W1541001066","https://openalex.org/W1550776561","https://openalex.org/W1552596904","https://openalex.org/W1552843312","https://openalex.org/W1557130751","https://openalex.org/W1561293563","https://openalex.org/W1563887142","https://openalex.org/W1566399786","https://openalex.org/W1588462485","https://openalex.org/W1966647497","https://openalex.org/W2033074970","https://openalex.org/W2037085273","https://openalex.org/W2052434414","https://openalex.org/W2095943001","https://openalex.org/W2100738443","https://openalex.org/W2171522258","https://openalex.org/W2736286271","https://openalex.org/W64610251“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2042127053","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“]，”ngrams_url“：”https://api.openalex.org/works/W1765188294/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“device”：[1]，“a”：[2]，“resolution”：[3]，“calculations”：[4,29,37]，“that”：[5,27]，“tests”：[6]，“the”：[7,49,62,69]，“satisfiability”：[8,50]，“of”：[9,12,21,61]，“infinite”：[10]，“families”：[11]，“clause”：[13,16,23]，“sets，”：[14,24]，“调用”：[15]，“集合”：[17]，“模式”：[18,57]，“对于”：[19]，“模型”：[20]，“命题”：[22]we“：[25]，“证明”：[26]，“这个”：[28]，“是”：[30,38,46,52,65]，“声音”，：[31]，“反驳”：[32]，“完成”：[33]，“和”：[34]，“终止”。“：[35]，“The”：[36,58]，“extended”：[39]，“to”：[40]，“first order”：[41]，“子句，”：[42]，“for”：[43,55]，“which”：[44]，“termination”：[45]，“lost”：[47]，“since”：[48]，“problem”：[51]，“not”：[53]，“semi-destinable”：[54]，“non-propositional”：[56]，“expressivery”：[59]，“power”：60]，“considered”：[63,71]，“逻辑”：[64]，“严格”：[66]，“大于”：[67]，“小于”：[68]，“一”：[70]，“在“：[72]，”我们的“：[73]，”上一个“：[74]，”工作“：[75]}，”引用by_api_url“：”https://api.openalex.org/works？filter=cites:W1765188294“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：1'，{”“年份”“：2020，”“cited_by-count”“：1}.，{年”：2019，“cited_by_cont”：2}，“年份”“：2013，”cited_by_count“：3}]，“updated_date”：“2024-06-17T04:52:55.103177”，“创建日期”：“2016-06-24"}