{“id”：“https://openalex.org/W1564554868“，”doi“：”https://doi.org/10.1007/978-3-540-89439-1_39“，”title“：”A Logic of Single Indexed Arrays“，”display_name“：”I Logic of single Indexed Arrays”，“publication_year”：2008，“publiation_date”：“2008-01-01”，“ids”：{“openalex”：“https://openalex.org/W1564554868网址“，”doi“：”https://doi.org/10.1007/978-3-540-89439-1_39“，”mag“：”1564554868“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-89439-1_39“，”pdf_url“：空，”源“：{”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://hal.science/hal-01418915/文档“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5054351430“，”display_name“：”Peter Habermehl“，”orcid“：”https://orcid.org/0000-0002-7982-0946}，“机构”：[{“id”：https://openalex.org/I11559806“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure Paris-Saclay“，”ror“：”https://ror.org/00hx6zz33“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I11559806“]}，{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]}，{”id“：”https://openalex.org/I4210094115“，”display_name“：”Laboratoire d'Informatique Algorithmique:Fondements et Applications“，”ror“：”https://ror.org/00pbqgm18“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210094115","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Peter Habermehl“，”raw _affiliation_strings“：[“61 av.du Pr\u00e9sident Wilson，F-94230 Cachan，France and LIAFA，University Paris 7，Case 7014，75205，Paris Cedex 13”，“LSV，ENS Cachan、CNRS、INRIA”]，“affiliations”：[{“raw_affilition_string”：“LSV、ENS Cachan、CNRS，印度“，”机构ID“：[”https://openalex.org/I11559806","https://openalex.org/I1326498283“]}，{”raw_affiliation_string“：”61 av.du Pr\u00e9sident Wilson，F-94230 Cachan，France and LIAFA，University Paris 7，Case 7014，75205，Paris Cedex 13“，”institution_ids“：[”https://openalex.org/I204730241","https://openalex.org/I4210094115“]}]}，{”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“：”设施“，”沿袭“：[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Radu Iosif“，”raw _affiliation_strings“：[“VERIMAG，CNRS，2 av.de Vignate，F-38610，Gi\u00e8res，France”]，“afliations”：[{“raw_affilition_string”：“VERIMAG，CNRS.2 av.de-Vignate，F-38610，Gi\u 00e8RES，France]，”institution_ids“：[“”https://openalex.org/I4210156361","https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086446392“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792“}，”机构“：[]，”国家“：[”捷克“]，”is_corresponding“：false，”raw_author_name“：”Tom\u00e1\u0161 Vojnar“，”raw _ afiliation_strings“：[“FIT BUT，Bo\u017eet\u011bchova 2，CZ-61266，Brno，Czech Republic”]，“afliations”：[{“raw_affiliation_string”：“FIT BUT，Bo\u 017eed\u011bchova 2“机构ID”：[]}]}]，“institution_assertions“：[]，”countries_distinact_count“：2，”institutions_disticant_count”：6，”corresponding_author_ids“：[]]，”correcponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：2.279，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cit”ed_by_count“：26，”引用_规范化_percentile“：{”value“：0.916958，”is_in_top_1_percent“：false，”is_in_top_10_percents“：true}，”cited_by_percentile_year“：{“min”：90，“max”：91}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“558”，“last_page”：“573”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9996，”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/T10126“，”“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/keywords/fragment网站“，”display_name“：”片段（逻辑）“，”分数“：0.68610084}，{”id“：”https://openalex.org/keywords/decidedable-proproblem（https://openalex.org/keywords/decidedable-proproblem）“，”display_name“：”无法确定的问题“，”score“：0.6690866}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.520033}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”display_name“：”可满足性模理论“，”score“：0.511252｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.511184}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合“，”score“：0.508985｝，｛”id“：”https://openalex.org/keywords/pushdown-automaton网站“，”display_name“：”下推自动机“，”score“：0.50212765}，{”id“：”https://openalex.org/keywords/quantifier网站“，”display_name“：”量词（语言学）“，”score“：0.4906477}，{”id“：”https://openalex.org/keywords/prefix“，”display_name“：”前缀“，”score“：0.47628254}，{”id“：”https://openalex.org/keywords/boolean-satifiability问题“，”display_name“：”布尔可满足性问题“，”score“：0.4467877}，{”id“：”https://openalex.org/keywords/satisfiability网站“，”display_name“：”可满足性“，”score“：0.42229313}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.8419206}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.68610084}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.6690866}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.639337}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.62117475}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.54155093}，{”id“：”https://openalex.org/C77944639，“wikidata”：https://www.wikidata.org/wiki/Q751443“，”display_name“：”下推自动机“，”level“：3，”score“：0.50212765}，{”id“：”https://openalex.org/C2778523021，“wikidata”：https://www.wikidata.org/wiki/Q5532504“，”display_name“：”量词（语言学）“，”level“：2，”score“：0.4906477}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.48837417}，{”id“：”https://openalex.org/C141603448，“wikidata”：https://www.wikidata.org/wiki/Q134830“，”display_name“：”前缀“，”级别“：2，”分数“：0.47628254}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.45232755}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.4467877}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.42962918}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.42229313}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.35992312}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.28916663}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.26376882}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.252823}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.15194422}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：6，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-89439-1_39“，”pdf_url“：空，”源“：{”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“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-01418915，“pdf_url”：https://hal.science/hal-01418915/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-01418915/file/Lpar08.pdf，“pdf_url”：https://hal.science/hal-01418915/file/Lpar08.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-01418915/file/Lpar08.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01418915/file/Lpar08.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-01418915/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01418915/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”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.11.157.1708，“pdf_url”：http://www.liafa.jussieu.fr/~haberm/Publications/TR-2008-9.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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.archives-ouvertes.fr/hal-01418915，“pdf_url”：https://hal.science/hal-01418915/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}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1480600454","https://openalex.org/W1511737804","https://openalex.org/W1532358383","https://openalex.org/W1536946401","https://openalex.org/W1556566737","https://openalex.org/W1564554868","https://openalex.org/W1572470107","https://openalex.org/W1589421353","https://openalex.org/W1853345069","https://openalex.org/W1859059663","https://openalex.org/W2000663597","https://openalex.org/W2034104058","https://openalex.org/W2092518806","https://openalex.org/W2096478770","https://openalex.org/W2132083063","https://openalex.org/W2132638915","https://openalex.org/W2154032363","https://openalex.org/W2164822567","https://openalex.org/W2169235184","https://openalex.org/W2170145744","https://openalex.org/W2561675875","https://openalex.org/W2602645338","https://openalex.org/W3181441684","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4384918562","https://openalex.org/W4299640708","https://openalex.org/W2949228942","https://openalex.org/W2604360730","https://openalex.org/W2561011959","https://openalex.org/W2398566420","https://openalex.org/W2125797022","https://openalex.org/W2120230527","https://openalex.org/W1536365843","https://openalex.org/W1490819493“]，”abstract_inverted_index“：｛”We“：[0,22]，”present“：[1]，”a“：[2.18,36,82123131]，”logic“：[3,30121]，”explored“：[4]，”over“：[5]，”integer“：[6]，”arrays“：[7]，”which“：[8]，”allow“：[9]，”difference“：[10,87]，”bound“：[11,88]，”comparisons“：[12]，”between“：[13]，”array“：[14]，”elements“：[15]，“位于”：[16]，“在”：[17]，“常数”：[19]，“大小”：[20]，“窗口。“：[21]，”show“：[23]，”that“：[24128]，”the“：[25,29,56,73,96,99106109113120126]，”satisfiability“：[26]，”problem“：[27]，”for“：[28,33136]，”is“：[31,63123134]，”undestideable“：[32]，”formulas“：[34,51]，”with“：[35,52,86]，”quantifier“：[37,53]，”prefix“：[38]，”{“：[3]，”\ u2203“：[40,46,57,74114]，”，“：[41]，”\u2200“：[42,44,48,59,76116]，”}*“：[43]，”*":[45,47,58,60,75,77,115,117],"*.“：[49]，”For“：[50,69]，”prefixes“：[54]，”in“：[55,72]，”fragment，“：[61,78]，”decidability“：[62]，”established“：[64]，”by“：[65]，”an“：[66]，”automata-theoryal“：[67]，”argument。“：[68]，”each“：[70]，”formula“：[71]，”we“：79]，”can“：[80]，”build“：[81]，”flat“：[83]，”counter“：[84]，”automaton“：[85]，”transition“：[89]，”rules“：[90]，”（FCADBM）“：[91]，”which“：[92]，”tracess“：[93]，”corresponsible“：[94]，”to“：[95]，”models“：[97]，”of“：[98108112119]125130]，“公式。“：[100110]，”The“：[101]，”construction“：[102]，”moduled“，：[104]，”following“：[105]，”syntax“：[107]，”Decitability“：[111]，”fragment“：[118]，”succession“：/124]，”fact“：[127]，”reachability“：[129]，”control“：%132]，”state“：[133]，”decitable“：[135]，”FCADBM.“：[137]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1564554868“，”“counts_by_year”：[{“年份”：2020，”“cited_by_count”：1}，{“年度”：2018，”“引用_by_cunt”：2}，”“年份”“：2017，”“引文_by_cont”“：1}，”“年度”“：2016，”“引文_by-count”“:2}，，”“年”“：2015，”“被引用_by-cunt”“:3}，2012，“cited_by_count”：5}]，“updated_date”：“2024-09-26T08:17:57.297741”，“创建日期”：“2016-06-24"}