{“id”：“https://openalex.org/W4376653962“，”doi“：”https://doi.org/10.48550/arxiv.2305.08419“，”title“：”带有归纳定义谓词的分离逻辑中的可追溯和不可处理的蕴涵问题“，”display_name“：”具有归纳定义谓语的分离逻辑的可追溯与不可处理蕴涵问题”，“publication_year”：2023，“publitation_date”：“2023-01-01”，“ids”：{“openalex”：“https://openalex.org/W4376653962“，”doi“：”https://doi.org/10.48550/arxiv.2305.08419“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2305.08419“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”type“：”预印本“，”type_crossref“：”发布的内容“，”indexed_in“：[”arxiv“，”datacite“]，”open_access“：｛”is_oa“：true，”oa_status“：”green“，”oa_url“：”https://arxiv.org/abs/2305.08419“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5010578735“，”display_name“：”Mnacho Echenim“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Echenim，Mnacho“，”raw_affiation_strings“：[]，”affiliations“：[]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5079985573“，”display_name“：”Nicolas Peltier“，”orcid“：”https://orcid.org/0000-0002-8943-7000“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”佩尔蒂埃，尼古拉斯“，”raw _ afiliation_strings“：[]，“隶属关系”：[]}]，“countries _ distinct_count”：0，“institutions _ disting_count“：0，”corresponding_author_ids“：[].，”correcponding_institution_ids“cited_by_count”：0，“cited_by_percentile_year“：{“min”：0，“max”：77}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9942，”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.9942，”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.9917，“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.9914，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.574132}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.556972}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.54071}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.521607}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.517736}]，”concepts“：[{”id“：”https://openalex.org/C134752490，“wikidata”：https://www.wikidata.org/wiki/Q374182“，”display_name“：”逻辑结果“，”level“：2，”score“：0.81169367}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.76872814}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5682761}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5163078}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.5088608}，{”id“：”https://openalex.org/C16221470，“wikidata”：https://www.wikidata.org/wiki/Q846564“，”display_name“：”连接范式“，”level“：2，”score“：0.4285928}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.37901717}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36587855}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3468716}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.27246216}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.21902642}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2305.08419“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.2305.08419“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，”type“：”metadata“｝，”license“：null，”license_id“：null，”version“：null｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2305.08419“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”score“：0.47，”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W4256618828","https://openalex.org/W4253208712","https://openalex.org/W31439402","https://openalex.org/W3132641048","https://openalex.org/W2805502594","https://openalex.org/W2786691313","https://openalex.org/W2187752589","https://openalex.org/W2020521331","https://openalex.org/W1973480752","https://openalex.org/W101162712“]，”ngrams_url“：”https://api.openalex.org/works/W4376653962/ngrams网站“，”abstract_inverted_index“：｛”我们“：[0.40]，”建立“：[1]，”各种“：[2]，”复杂性“：[3,91]，”结果“：[4]，”对于“：[5,64]，”the“：[6,30,35,38,52101105]，”蕴涵“：[7]，”问题“：[8106]，”介于“：[9]，”公式“：[10]，”in“：[11,60,87]，”分离“：[12]，”逻辑“：[13]，”with“：[14]，“用户定义”：[15]，“谓词”：[16,69]，“表示”：[17]，“递归”：[18]，“数据“：[19]，”结构。“：[20]，”The“：[21]，”considered“：[22]，”fragments“：[23]，”are“：[24,46,70,94]，”characterized“：[25]，”by“：[26,56,72]，”syntaxic“：[27]，”conditions“：[28103]，”on“：[29,42]，”inductived“：[31,75]，”rules“：[32,54]，”that“：[33,97]，”define“：[34]，”semantics“：[36]，”of“：[37100]，”谓词●●●●。“：[39]，”焦点“：[41]，”所谓的“：[43,73]，”P-rules，“：[44]，”其中“：[45]，”类似“：[47]，”到“：[48]，”（但“：[49]，”更简单“：[50]，”比）“：[51]，”PCE“：[53]，”引入“：[55]，”Iosif“：[57]，”et“：[58]，”al。“：[59]，”2013.“：[61]，”特别是“：[63]，“a”：[65,79]，“specific”：[66]，“fragment”：[67]，“where”：[68]，“defined”：[71]，“loc-determistic”：[74]，“rules”：[76]，“我们”：[77]，“设计”：[78]，“声音”：[80]，“和”：[81]，“完成”：[82]，“循环”：[83]，“证明”：[84]，“过程”：[85]，“运行”：[86]，“多项式”：[88]，“时间”：[89]，“多个”：[90]，“下限”：[92]，“界限”：[93]，“提供”，“：[95]，“显示”：[96]，“任何”：[98]，“放松”：[99]，“规定”“：[102]，”makes“：[104]，”顽固。“：[107]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4376653962“，”counts_by_year“：[]，”updated_date“：”2024-06-18T14:51:18.093212“，”created_date:“2023-05-17”}“