{“id”：“https://openalex.org/W3091716098“，”doi“：”https://doi.org/10.1016/j.ipl.2021.106169“，”title“：“对于具有未建立归纳规则的符号堆分离逻辑Formul\u00e6，蕴涵无法确定”，“display_name”：“对于带有未建立归纳规律的符号堆隔离逻辑Formul \u00e，蕴涵不可确定”，”publication_year“：2022，”publitation_date“：”2022-01-01“，”ids“：{”openalex“：”https://openalex.org/W3091716098“，”doi“：”https://doi.org/10.1016/j.ipl.2021.106169“，”mag“：”3091716098“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.pl.2021.106169，“pdf_url”：http://manuscript.elsevier.com/S0020019021000843/pdf/S00200190210 00843.pdf，“源”：{“id”：https://openalex.org/S147953040“，”display_name“：”信息处理字母“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”http://manuscript.elsevier.com/S0020019021000843/pdf/S00200190210 00843.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：null}，”institutions“：[{”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“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Mnacho Echenim“，”raw _ afiliation_strings“：[“格勒诺布尔信息实验室”]，”从属关系“：[{”raw _affiliation_string“：”格勒诺尔信息实验室“，”institution_ids“：[https://openalex.org/I4210104430“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5074143130“，”display_name“：”Radu Iosif“，”orcid“：”https://orcid.org/00000-0003-3204-3294}，“机构”：[{“id”：https://openalex.org/I4210156361“，”display_name“：”Verimag“，”ror“：”https://ror.org/05afmzm11“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Radu Iosif“，”raw _affiliation_strings“：[“VERIMAG”]，”从属关系“：[{”raw _affiliation_string“：”VERIMAG”，“institution_ids”：[“https://openalex.org/I4210156361“]}]}，{”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/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“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Nicolas Peltier“，”raw _affiliation_strings“：[“Calculs algorithmes programmes et preuves”，“Laboratoire d'Informationque de Grenoble”]，“affiliations”：[{“raw_affilition_string”：“Laboratorie d'Information de Grenobles”，“institution_ids”：[”https://openalex.org/I4210104430“]}，{”raw_affiliation_string“：”Calculs algorithmes programmes et preuves“，”institution_ids“：[]}]}]“，”countries_distiction_count“：1，”instistations_disticent_count”：2“，”corresponding_author_ids”：[]“，“correspounding_institution_ids”：[]，“apc_list”：{“value”：2200，“currency”：“USD”，“value_USD”：2201，“provenance”：“doaj”}，“”apc_payd“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：67}，”biblio“：{“volume”：“173”，”issue“：null，”first_page“：”106169“，”last_page“：“106169”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.9982，”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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9976，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.576304}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”display_name“：”可满足模理论“，”score“：0.513416}]，”concepts“：[{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.94944036}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.8030441}，{”id“：”https://openalex.org/C134752490，“wikidata”：https://www.wikidata.org/wiki/Q374182“，”display_name“：”逻辑结果“，”level“：2，”score“：0.7246051}，{”id“：”https://openalex.org/C21563000，“wikidata”：https://www.wikidata.org/wiki/Q484511“，”display_name“：”归纳推理“，”level“：2，”score“：0.56276464}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.4706335}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.43640786}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41979802}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.36119333}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33946103}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.25593472｝]，”mesh“：[]，”locations_count“：9，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ipl.2021.106169，“pdf_url”：http://manuscript.elsevier.com/S0020019021000843/pdf/S00200190210 00843.pdf，“源”：{“id”：https://openalex.org/S147953040“，”display_name“：”信息处理字母“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-03416093，“pdf_url”：https://hal.science/hal-03416093/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”：true，“landing_page_url”：“https://hal.science/hal-02951859，“pdf_url”：https://hal.science/hal-02951859/document“，”source“：null，”license“：null.，”licence_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://hal.science/hal-03416093“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.archives-ouvertes.fr/hal-03416093/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-03416093/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“：”other oa“，”license_id“：”https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-03416093/file/IPL.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-03416093/file/IPL.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”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-03416093/file/IPL.pdf，“pdf_url”：https://hal.science/hal-03416093/file/IPL.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”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-02951859v1/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02951859v1/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”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.archives-overtes.fr/hal-02951859v1/file/PC_undec.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02951859v1/file/PC_undec.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”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ipl.2021.106169，“pdf_url”：http://manuscript.elsevier.com/S0020019021000843/pdf/S00200190210 00843.pdf，“源”：{“id”：https://openalex.org/S147953040“，”display_name“：”信息处理字母“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”score“：0.44，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：2，”referrenced_works“：【”https://openalex.org/W2028357390","https://openalex.org/W4256027310“]，”related_works“：[”https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2962928105","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2170336571","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W2020140696","https://openalex.org/W1485718948“]，”ngrams_url“：”https://api.openalex.org/works/W3091716098/ngrams网站“，”“abstract_inverted_index”：{“蕴涵”：[0]，“是”：[1,38,44]，“不可判定”：[2,39]，“in”：[3]，“一般”：[4]，“for”：[5,52]，“分隔”：[6]，“（SL）”：[7]，“逻辑”：[8]，“formul\u00e6”：[9]，“with”：[10]，“归纳”：[11,24]，“定义”：[12]，“但”：[13]，“it”：[14]，“has”：[15]，“been”：[16]，“show”：[17]，“to”：[18]，“be”：[19]，“decitable”：[20]，“[1]”：[21]，“if”：[22,40]，““：[23,41]，”规则“：[25]，”满足“：[26]，”三“：[27]，”条件“：[28]，”即“：[29]，”进度“：[30]，”连通“：[31]，”和“：[32]，”建立。“：[33]，“We”：[34]，“show”：[35]，“that”：[36]，“entailment”：[37]，“later”：[42]，“condition”：[43]，“droped”：[45]，“sous”：[46]，“drawing”：[47]，“a”：[48]，“much”：[49]，“clear”：[50]，“frontient”：[51]，“（un）decidability。“：[53]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3091716098“，”counts_by_year“：[]，”updated_date“：”2024-06-17T23:15:59.255286“，”创建日期“：”2020年10月8日“}