{“id”：“https://openalex.org/W2934959668“，”doi“：”https://doi.org/10.1007/978-3-030-17127-8_14“，”title“：”任意域上的分离逻辑的Bernays-Sch\u00f6nfinkel-Ramsey类“，”display_name“：”任何域上的分隔逻辑的Bernalys-Sch\f00f6nninkel-Ram sey类”，“publication_year”：2019，“publiction_date”：“2019-01-01”，“ids”：{“openalex”：“https://openalex.org/W2934959668“，”doi“：”https://doi.org/10.1007/978-3-030-17127-8_14“，”mag“：”2934959668“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-17127-8_14，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-030-7127-8_14.pdf”，“来源”：｛“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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2F978-3-030-17127-8_14.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”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_corresponding“：false，”raw_author_name“：”Mnacho Echenim“，”raw _affiliation_strings“：[“CAPP-Calculs algorithmes programmes et preuves（Laboratoire LIG-B\u00e2timent IMAG-700 avenue Centrale，CS 40700-38058 Grenoble cedex 9-France）”]，“从属关系”：[{“raw_affiliation _string”：“CAPP-Calculs algorithmes programmes et preuves（Laboratoire LIG-B\u00e2timent IMAG-700 avenue Centrale，CS 40700-38058 Grenoble cedex 9-France）“，“institution_ids”：[“https://openalex.org/I4210104430“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A50741431130“，”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“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Radu Iosif“，”raw _affiliation_strings“：[“VERIMAG-IMAG-VERIMAG（VERIMAG\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700，avenue centrale\r\n38401 Saint Martin d\u2019H\u00e 8res-France）”]，“从属关系”：[{“raw_affilition_s”字符串“：”VERIMAG-IMAG-VERIMAG（VERIMAG\r\nB\u00e2timent IMAG\r\nUniversit\u00e9格勒诺布尔阿尔卑斯山\r\n700，中央大道\r\n38401圣马丁d\u2019H\u00e 8res-法国）“，”institution_ids“：[”https://openalex.org/I4210156361","https://openalex.org/I899635006“]}]}，{”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“：”格勒诺布尔信息实验室“，”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“：[“CAPP-Calculs algorithmes programmes et preuves（Laboratoire LIG-B\u00e2timent IMAG-700 avenue Centrale，CS 40700-38058 Grenoble cedex 9-France）”]，“affiliations”：[{“raw_affiliation _string”：“CAPP-Calculs algorithmes programmes et preuves（Laboratoire LIG-B\u00e2timent IMAG-700 avenue Centrale，CS 40700-38058 Grenoble cedex 9-France）“，“institution_ids”：[“https://openalex.org/I4210104430“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：{value“：5000，”“current”：“欧元”，“value_usd“：5392，“出处”：“doaj”}，“fwci”：2.258，“has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：8，”citation_normalized_percentile“：{”value“：0.860933，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，”citted_by_percentile_year“：_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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.9994，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9984，”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/undeditable-problem“，”display_name“：”无法确定问题“，”score“：0.7194594}，{”id“：”https://openalex.org/keywords/fragment网站“，”display_name“：”片段（逻辑）“，”分数“：0.6945902}，{”id“：”https://openalex.org/keywords/satisfiability网站“，”display_name“：”可满足性“，”score“：0.6072748}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.570504}，{”id“：”https://openalex.org/keywords/boolean-satifiability问题“，”display_name“：”布尔可满足性问题“，”score“：0.5158195}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.511466}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.507702}，{”id“：”https://openalex.org/keywords/sequence网站“，”display_name“：”Sequence（biology）“，”score“：0.45817798}]，”concepts“：[{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.7194594}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.7100469}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.6945902}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.6072748}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.5175261}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.5158195}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.50688344}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47493747}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.4592644}，{”id“：”https://openalex.org/C2778112365，“wikidata”：https://www.wikidata.org/wiki/Q3511065“，”display_name“：”Sequence（biology）“，”level“：2，”score“：0.45817798}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.38762015}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.2839194｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.2562698}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.12766299}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-17127-8_14，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-030-17127-8_14.pdf“，”源“：{”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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-02094154，“pdf_url”：https://hal.science/hal-02094154/document，“源”：{“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”：“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-02094154/file/paper_9%20%281%29.pdf，“pdf_url”：https://hal.science/hal-02094154/file/paper_9%20%281%29.pdf，“源”：{“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”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02094154/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02094154/document，“源”：{“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”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02094154/file/paper_9%20%281%29.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02094154/file/paper_9%20%281%29.pdf，“源”：{“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”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3-030-17127-8_14，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-030-17127-8_14.pdf“，”源“：{”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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”sustainable_development_goals“：[｛”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.46}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：15，”referrenced_works“：]”https://openalex.org/W1486095773","https://openalex.org/W1543958520","https://openalex.org/W1549008998","https://openalex.org/W1910824881","https://openalex.org/W1974265510","https://openalex.org/W2025750846","https://openalex.org/W2083905661","https://openalex.org/W2095689360","https://openalex.org/W2137628566","https://openalex.org/W2537376148","https://openalex.org/W2613137572","https://openalex.org/W2786755306","https://openalex.org/W2963734016","https://openalex.org/W4242049669","https://openalex.org/W4243994983“]，”related_works“：[”https://openalex.org/W4384918562","https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2585890227","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W1543051890","https://openalex.org/W1501430220“]，”abstract_inverted_index“：{”abstract“：[0]，”This“：[1]，”paper“：[2]，”investives“：[3]，”the“：[4,60,84114121129132135138154]，”satisfiability“：[5,86110]，”problem“：[6,87]，”for“：[7,22,90106149]，”Separation“：[8,42,56]，”Logic“：[9,43]，”with“：[10,14,25,34]，”k“：[11]，”record“：%12]，”字段，“：[13]，”无限制“：[15]，”嵌套“：[16]，”“：[17,621161231134156164]，”分隔“：[18124]，”连词“：[19]，”和“：[20,72108]，”暗示，“：[21125]，”prenex“：[23]，”formul\u00e6“：[24]，”量词“：[26]，”前缀“：[27]，”$$\\exists“：[28]，”^*\\forall“：[29]，“^*$$”：[30]，”。“：[31,95]，”In“：[32,50]，”类比“：[33]，”一阶“：[35,82]，”逻辑“，：[36,83]，”we“：[3]7,97]，”call“：[38]，”this“：[39]，”fragment“：[40]，”Bernays-Sch\u00f6nfinkel-Ramsey“：[41]，”[“：[44]，”$\\mathsf“：[45,91]，”{BSR}（\\mathsf“：[46,92]，”{SL}^{\\！\\脚本样式“：[47,93]，”{k}}）$$“：[48,94]，”]。“：[49]，”对比“：[51]，”to“：[52,67]，”existing“：[53]，”work“：[54142]，”in“：[55,58,81146]，”Logic，“：[57]，”which“：[59]，”universe“：[61]，”possible“：[63]，”locations“：[64]，”is“：[65,88]，”suspected“：[66]，”be“：[68]，”infinite“：[69]，”both“：[70]，”finited“：[71107]，”无限考虑“：[73109]，“宇宙”：[74]，“是”：[75104159]。“：[76]，“We”：[77]，“show”：[78]，“that”，“：[79]，“difference”：[80]，“（in）finited”：[85]，“undetedable”：[89]，“Then”：[96]，“define”：[98]，“two”：[99]，“non-prival”：[100]，“subsets”：[101]，“there”，“:102]，“the”：[103151]，“decitable”：[105]，“controlling”，“directible”：[111]，“by”：[11216]，““：[113]，”出现次数“：[115133]，”普遍“：[117]，”量化“：[118]，”variables“：[119]，”within“：[120]，”scope“：[122]，”as“：[126128]，”well“：[127]，”polarity“：[130]，”later。“：[136]，“除”：[137]，“理论”：[139]，“兴趣”：[140]，“我们的”：[141]，“有”：[143]，“自然”：[144]，“应用程序”：[145]，“程序”：%147]，“验证”：[148]，“检查”：[150]，“约束”：[152]，“on”：[153]，“形状”：[155]，“a”：[157162]，“数据结构”：[158]，“保留”：[160]，“序列”：[163]，“转变。“：[165]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2934959668”，“counts_by_year”：[｛“year”：2022，“cited_by_count”：2｝，｛“year”：2021，“cited_by_count”：2｝，｛“year”：2020，“cited_by_count”：3｝，｛“year”：2019，“cited_by_count”：1｝]，“updated_date”：“2024-09-18T03:59:45.194546”，“created_date”：“2019-04-11”｝