{“id”：“https://openalex.org/W1534695534“，”doi“：”https://doi.org/10.1016/j.apal.2011.11.009“，”title“：”分隔基本重现的基本逻辑“，”display_name“：”分割基本重现的基础逻辑“，“publication_year”：2011，“publiation_date”：“2011-12-16”，“ids”：{“openalex”：“https://openalex.org/W1534695534网址“，”doi“：”https://doi.org/10.1016/j.apal.2011.11.009“，”mag“：”1534695534“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.apal.2011.11.009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”“display_name”：“纯逻辑与应用逻辑年鉴”，“issn_l”：“0168-0072”，“isn”：[“0168-0072”，“1873-2461”]，“is_oa”：false，“is-in_doaj”：false，“is_core”：true，“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“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.apal.2011.11.009“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5021239614“，”display_name“：”Giorgi Japaridze“，”orcid“：”https://orcid.org/0000-0002-7514-4282“｝，”机构“：[｛”id“：”https://openalex.org/I7863295“，”display_name“：”维拉诺瓦大学“，”ror“：”https://ror.org/02g7kd627“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I7863295“]}，{”id“：”https://openalex.org/I154099455“，”display_name“：”山东大学“，”ror“：”https://ror.org/0207yh398“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I154099455“]}]，”国家“：[”CN“，”US“]，”is_corresponding“：true，”raw_author_name“：”Giorgi Japaridze“，”raw _ afiliation_strings“：[“维拉诺瓦大学计算科学系，800 Lancaster Avenue，Villanova，PA 19085，USA”，“山东大学计算机科学与技术学院，山东省济南市顺化中路25101号，中国”]，“affiliations“：[{”raw_affiliation_string“：”维拉诺瓦大学计算科学系，800 Lancaster Avenue，Villanova，PA 19085，USA“，”institution_ids“：[”https://openalex.org/I7863295“]}，{”raw_affiliation_string“：”山东大学计算机科学与技术学院，山东省济南市顺化中路，邮编：25101“，”institution_ids“：[”https://openalex.org/I154099455“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5021239614“]，”对应的机构ID“：[”https://openalex.org/I7863295","https://openalex.org/I154099455“]，”apc_list“：{”value“：3390，”currency“：”USD“，”value_USD“：33900，”provenance“：”doaj“}，”apc _payd“：null，”fwci“：1.638，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：8，”citation_normalized_percentile“：{”value y_percentile_year“：{”最小“：83，”最大“：84}，”书目“：{”volume“：”163“，”issue“：”3“，”first_page“：”377“，”last_page“：“389”}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“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/T10126“，”“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9991，”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.9972，”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/branking“，”display_name“：”分支（聚合物化学）“，”score“：0.6722075}，{”id“：”https://openalex.org/keywords/computability网站“，”display_name“：”Computability“，”score“：0.594693}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.571991}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.533759}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.525057}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.521966}]，”concepts“：[{”id“：”https://openalex.org/C142399903，“wikidata”：https://www.wikidata.org/wiki/Q1128796“，”display_name“：”不可数集合“，”level“：3，”score“：0.90508354}，{”id“：”https://openalex.org/C110729354，“wikidata”：https://www.wikidata.org/wiki/Q185478“，”display_name“：”可数集合“，”level“：2，”score“：0.84440774}，{”id“：”https://openalex.org/C152062344，“wikidata”：https://www.wikidata.org/wiki/Q818888“，”display_name“：”Computability“，”level“：2，”score“：0.6763496}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6723105}，{”id“：”https://openalex.org/C206175624，“wikidata”：https://www.wikidata.org/wiki/Q595731“，”display_name“：”分支（聚合物化学）“，”level“：2，”score“：0.6722075}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.51407397}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.3561728}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3265279}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.053702474}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128（网址：https://www.wikidata.org/wiki/Q12128）“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”Composite material“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：3，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.apal.2011.11.009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”“display_name”：“纯逻辑与应用逻辑年鉴”，“issn_l”：“0168-0072”，“isn”：[“0168-0072”，“1873-2461”]，“is_oa”：false，“is-in_doaj”：false，“is_core”：true，“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“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1007.1324，“pdf_url”：https://arxiv.org/pdf/1007.1324，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1007.1324“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.apal.2011.11.009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”“display_name”：“纯逻辑与应用逻辑年鉴”，“issn_l”：“0168-0072”，“isn”：[“0168-0072”，“1873-2461”]，“is_oa”：false，“is-in_doaj”：false，“is_core”：true，“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“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W1534695534“]，”referenced_works_count“：22，”referrenced_works“：[”https://openalex.org/W1484853361","https://openalex.org/W1490922036","https://openalex.org/W1589830330","https://openalex.org/W166325604","https://openalex.org/W1794149593","https://openalex.org/W1906710615","https://openalex.org/W1964882086","https://openalex.org/W1968811614","https://openalex.org/W1980921829","https://openalex.org/W1985872645","https://openalex.org/W1996605832","https://openalex.org/W2000183812","https://openalex.org/W2015274054","https://openalex.org/W2072873942","https://openalex.org/W2121000477","https://openalex.org/W2126691354","https://openalex.org/W3098537093","https://openalex.org/W3098668213","https://openalex.org/W3105515882","https://openalex.org/W3106146678","https://openalex.org/W4213193997","https://openalex.org/W4253236060“]，”related_works“：[”https://openalex.org/W4297571715","https://openalex.org/W4242301765","https://openalex.org/W3139954723","https://openalex.org/W3019662020","https://openalex.org/W2600675026","https://openalex.org/W2512721618","https://openalex.org/W2480446702","https://openalex.org/W2100222222","https://openalex.org/W2058498852","https://openalex.org/W1519257018“]，”abstract_inverted_index“：{”This“：[0]，”paper“：[1]，”shows“：[2]，”that“：[3]，”even“：[4]，”at“：[5]，”the“：[6,10]，”most“：[7]，”basic“：[8]，”level“：[9]，”parallel“：[11]，”countable“：[12]，”branching“：[13,16]，”and“：[14]，“uncountable”：[15]，“recurrences”：[17]，“of”：[18]，“Computability”：[19]，“Logic”：[20]，“（参见“：[21]，”http://www.cis.upenn.edu/~giorgi/cl.html）“：[22]，”验证“：[23]，”不同“：[24]，”原则。“：[25]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1534695534“，”“counts_by_year”：[{“年份”：2019，”“cited_by_count”：1}，{“年度”：2017，”“cited_by_cunt”：2}，}“年”：2015，”“cited_by_count”“：1}，”“年份”“：2013，”“icted_by-count”“:1}，，”“年”“：2012，”“cuited_by_count“：2}]，”“updated_date”：“2024-09-26T17:18:59.339678”，”“创建日期”：“2016-06-24”}