{“id”：“https://openalex.org/W2118416409“，”doi“：”https://doi.org/10.2168/lmcs-4（4:11）2008“，”title“：”嵌套词的第一顺序和时序逻辑“，”display_name“：”巢词的第一次序和时序逻辑”，“publication_year”：2008，“publiation_date”：“2008-11-25”，“ids”：{“openalex”：“https://openalex.org/W2118416409“，”doi“：”https://doi.org/10.2168/lmcs-4（4:11）2008“，”mag“：”2118416409“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-4（4:11）2008”，“pdf_url”：“https://lmcs.episciences.org/782/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”“：”“计算机科学中的逻辑方法”“，”https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://lmcs.episciences.org/782/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5065059795“，”display_name“：”Rajeev Alur“，”orcid“：”https://orcid.org/0000-0003-1733-7083}，“机构”：[{“id”：https://openalex.org/I69737025“，”display_name“：”智利大学“，”ror“：”https://ror.org/047gc3g35“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I69737025“]}，{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”countries“：[”CL“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Rajeev Alur“，“raw_affiliation_strings”：[”爱丁堡大学“，”马萨诸塞大学爱丁堡分校“，”宾夕法尼亚大学PUC智利大学“]，“affiliations”：[{”raw_affiliation_string“：”马萨诸塞大学爱丁堡分校“，”institution_ids“：[]}，{”raw_affiliation_string“：”宾夕法尼亚大学PUC智利大学“，”institution_id“：[”https://openalex.org/I69737025“]}，{”raw_affiliation_string“：”爱丁堡大学“，”institution_ids“：[”https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5011691423“，”display_name“：”Marcelo Arenas“，”orcid“：”https://orcid.org/0000-0003-3678-1868}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}，{”id“：”https://openalex.org/I69737025“，”display_name“：”智利大学“，”ror“：”https://ror.org/047gc3g35“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I69737025“]}]，”国家“：[”CL“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Marcelo Arenas“，”raw _affiliation_strings“：[“爱丁堡大学”，”爱丁堡马萨诸塞大学“，”宾夕法尼亚大学PUC智利大学“]，“affiliations”：[{“raw_affilition_string”：“爱丁伯格大学”，“institution_ids”：[”https://openalex.org/I98677209“]}，{”raw_affiliation_string“：”爱丁堡麻省大学“，”institution_ids“：[]}https://openalex.org/I69737025“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5051683347“，”display_name“：”Pablo Barcel\u00f3“，”orcid“：”https://orcid.org/0000-0003-2293-2653}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}，{”id“：”https://openalex.org/I69737025“，”display_name“：”智利大学“，”ror“：”https://ror.org/047gc3g35“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I69737025“]}]，”国家“：[”CL“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Pablo Barcelo“，”raw _affiliation_strings“：[“爱丁堡大学”，”爱丁堡马萨诸塞大学“，”宾夕法尼亚大学PUC智利大学“]，“affiliations”：[{“raw_affilition_string”：“爱丁伯格大学”，“institution_ids”：[”https://openalex.org/I98677209“]}，{”raw_affiliation_string“：”爱丁堡麻省大学“，”institution_ids“：[]}https://openalex.org/I69737025“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5003946901“，”display_name“：”Kousha Etessami“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}，{”id“：”https://openalex.org/I69737025“，”display_name“：”智利大学“，”ror“：”https://ror.org/047gc3g35“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I69737025“]}]，”countries“：[”CL“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Kousha Etessami“，“raw_affiliation_strings”：[”爱丁堡大学“，”马萨诸塞大学爱丁堡分校“，”宾夕法尼亚大学PUC智利大学“]，“afliations”：[{”raw_affiliation_string“：”爱丁伯格大学“，“institution_ids”：[“https://openalex.org/I98677209“]}，{”raw_affiliation_string“：”爱丁堡麻省大学“，”institution_ids“：[]}https://openalex.org/I69737025“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5053065200“，”display_name“：”Neil Immerman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}，{”id“：”https://openalex.org/I69737025“，”display_name“：”智利大学“，”ror“：”https://ror.org/047gc3g35“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I69737025“]}]，”国家“：[”CL“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Neil Immerman“，”raw _affiliation_strings“：[“爱丁堡大学”，”爱丁堡马萨诸塞大学“，”宾夕法尼亚大学PUC智利大学“]，“affiliations”：[{“raw_affiliation _string”：“爱丁伯格大学”，“institution_ids”：[”https://openalex.org/I98677209“]}，{”raw_affiliation_string“：”爱丁堡麻省大学“，”institution_ids“：[]}https://openalex.org/I69737025“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5069883356“，”display_name“：”Leonid Libkin“，”orcid“：”https://orcid.org/0000-0002-6698-2735}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}，{”id“：”https://openalex.org/I69737025“，”display_name“：”智利大学“，”ror“：”https://ror.org/047gc3g35“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I69737025“]}]，”countries“：[”CL“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Leonid Libkin“，“raw_affiliation_strings”：[”爱丁堡大学“，”马萨诸塞大学爱丁堡分校“，”宾夕法尼亚大学PUC智利大学“]，“affiliations”：[{”raw_affiliation_string“：”爱丁伯格大学“，“institution_ids”：[“https://openalex.org/I98677209“]}，{”raw_affiliation_string“：”爱丁堡麻省大学“，”institution_ids“：[]}https://openalex.org/I69737025“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：{”value“：0”，“currencry”：“USD”，“value_USD:0，”provenance“：”doaj“}，“fwci”：2.731，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count“：24，”cited_by_percentle_year“：｛”min“：90，”max“：91｝，”biblio“：｛”volume“：”volume 4，Issue 4“，”Issue“：null，”first_page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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.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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.550639}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.528486}，{“id”：“https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.50096}]，”concepts“：[{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.75957686}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”片段（逻辑）“，”级别“：2，”分数“：0.5549357}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5536193}，{”id“：”https://openalex.org/C2776937656，“wikidata”：https://www.wikidata.org/wiki/Q2229669“，”display_name“：”嵌套（进程）“，”level“：2，”score“：0.5359374}，{”id“：”https://openalex.org/C10300020，“wikidata”：https://www.wikidata.org/wiki/Q1978426“，”display_name“：”嵌套集合模型“，”level“：3，”score“：0.48652807}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.48051533}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.47685704}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.46332854}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45641476}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.45382106}，{”id“：”https://openalex.org/C56049555，“wikidata”：https://www.wikidata.org/wiki/Q1276570“，”display_name“：”EXPTIME“，”level“：4，”score“：0.4518329}，{”id“：”https://openalex.org/C198008173，“wikidata”：https://www.wikidata.org/wiki/Q1040040“，”display_name“：”计算树逻辑“，”level“：3，”score“：0.44513214}，{”id“：”https://openalex.org/C1306188，“wikidata”：https://www.wikidata.org/wiki/Q4060687“，”display_name“：”嵌套循环联接“，”level“：2，”score“：0.4436993}，{”id“：”https://openalex.org/C163797641，“wikidata”：https://www.wikidata.org/wiki/Q2067937“，”display_name“：”树状结构“，”level“：3，”score“：0.43072042｝，｛”id“：”https://openalex.org/C186644900，“wikidata”：https://www.wikidata.org/wiki/Q194152“，”display_name“：”Parsing“，”level“：2，”score“：0.4188775}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.41687804}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.416217}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.40752682}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.38380325｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3664345}，{”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.3125784}，{”id“：”https://openalex.org/C197855036，“wikidata”：https://www.wikidata.org/wiki/Q380172“，”display_name“：”二叉树“，”level“：2，”score“：0.28348976}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.25412428}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.18946517}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.16775349}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14789006}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.08685833}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C510870499，“wikidata”：https://www.wikidata.org/wiki/Q47607“，”display_name“：”SQL“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C191897082，“wikidata”：https://www.wikidata.org/wiki/Q11467“，”display_name“：”冶金“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：9，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-4（4:11）2008”，“pdf_url”：“https://lmcs.episciences.org/782/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”“：”“计算机科学中的逻辑方法”“，”https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://doaj.org/article/2ec30fa1e3fa44c4b54fcef3c29ebff0“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，”type“：”repository“}”，“license”：nullis_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”https://arxiv.org/abs/0811.0537，“pdf_url”：https://arxiv.org/pdf/0811.0537，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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”：true，“landing_page_url”：“https://www.pure.ed.ac.uk/ws/files/14013989/lics07_final.pdf，“pdf_url”：https://www.pure.ed.ac.uk/ws/files/14013989/lics07_final.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”display_name“：”爱丁堡研究总管（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/20.500.11820/699710f7-528d-4d7a-b8fb-7781a0aabb85，“pdf_url”：https://www.research.ed.ac.uk/files/17540034/Alur_Arenas_ET_AL_2008_First_Order_and_Temporal_Logics_for_Nested_Words.pdf，“源”：{“id”：https://openalex.org/S4306400321“，”display_name“：”爱丁堡研究总管（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/20.500.11820/acc9ecb2-fcc9-4fb5-82c9-22d7b3a4387a，“pdf_url”：https://www.research.ed.ac.uk/files/14013989/lics07_final.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”display_name“：”爱丁堡研究总管（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://www.pure.ed.ac.uk/ws/files/17540034/Alur_Arenas_ET_AL_2008_First_Order_and_Temporal_Logics_for_Nested_Words.pdf，“pdf_url”：https://www.pure.ed.ac.uk/ws/files/17540034/Alur_Arenas_ET_AL_2008_First_Order_and_Temporal_Logics_for_Nested_Words.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”display_name“：”爱丁堡研究总管（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.367.2682，“pdf_url”：网址：http://www.dcc.uchile.cl/~pbarcelo/lics07.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}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.448550/arxiv.0810.0537“，”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.2168/lmcs-4（4:11）2008”，“pdf_url”：“https://lmcs.episciences.org/782/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”“：”“计算机科学中的逻辑方法”“，”https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W2118416409","https://openalex.org/W3100906898网址“]，”referenced_works_count“：6，”referrenced_works“：[”https://openalex.org/W1484039100","https://openalex.org/W1556566737","https://openalex.org/W1691700263","https://openalex.org/W2131886132","https://openalex.org/W2151033407","https://openalex.org/W2151670874“]，”related_works“：[”https://openalex.org/W925486019","https://openalex.org/W4299312496","https://openalex.org/W4287076279","https://openalex.org/W2404907747网址","https://openalex.org/W2126897484","https://openalex.org/W2111351089","https://openalex.org/W2045826397","https://openalex.org/W2026191634","https://openalex.org/W1551901662","https://openalex.org/W1490074134“]，”ngrams_url“：”https://api.openalex.org/works/W2118416409/ngrams网站“，”“abstract_inverted_index”：{“嵌套”：[0]，“单词”：[1,21160173]，“是”：[2,48,58]，“a”：[3,68,72,75,78104168]，“结构化”：[4]，“模型”：[5138]，“of”：[6,26,51,62,86,89103135144181]，“执行”：[7]，“路径”：[8]，“in”：[9,83129132141]，“过程”：[10]，“程序”：[11]，“反射”：[12]，“他们的”：[13]，“呼叫”：[14]，“和”：[15,29,43,53112123139165]，“return“：[16]，”嵌套“：[17113]，”结构。“：[18]，”有限“：[19]，”嵌套“：[20,45159172]，”也“：[22150]，”捕获“：[23]，”该“：[24,84101110133136142145162178]，”结构“：[25]，”解析“：[27]，”树“：[28]，“其他”：[30,95]，”树状结构“：[31]，”数据“：[32]，”例如“：[33]，”作为“：[34]，”XML。“：[35]，“我们”：[36]，“提供”：[37]，“新”：[38]，“暂时”：[39169]，“逻辑”：[40,57]，“对于”：[41171177]，“有限”：[42]，“无限”：[44]，“单词”，“：[46]，“其中”：[47174]，“自然”：[49]，“扩展”：[50]，“LTL，”：[52]，“证明”：[54154]，“that”：[55107119124155]，“these”：[56]，“一阶”：[59156]，“表达完整。“：[60]，”One“：[61]，”them“：[63]，”is“：[64,98121149175]，”based“：[65,99]，”on“：[66,74100]，”adding“：[67]，”within\“：[69]，”moden“：[70]，”evaluation“：[71]，”formula“：[73147]，”subord“：[76]，”to“：[77]，”logic“：[79157170]，”CaRet“：[80]，”previound“：[81]，”研究“：[82]，”上下文“：[85]，”验证“：[87]，”属性“：[88]，”递归“：[90]，”状态“：[91]，”机器“：[92]，”（RSM）。“：[93]，”The“：[94]，”logic“：[96]，”NWTL“：[97]，”concept“：[102]，”summary“：[105]，”path“：[106]，”uses“：[108]，”both“：[109]，”linear“：[111]，”structures。“：[114]，”对于“：[115]，”NWTL“：[1116146]，”我们“：[117153166]，”显示“：[118]，”可满足性“：[120]，”EXPTIME-complete“：[122]，”模型检查“：[125]，”can“：[126]，”be“：[127]，”done“：[128]，”time“：[130]，”多项式“：[131]，”大小“：[134143]，”RSM“：[137]，”指数“：[140]，”（和“：[148]，“EXPTIME-complete）。“：[151]，”“Finally，”“：[152]，”over“：[158]，”has“：[161]，”three-variable“：[163]，”property，”：[164]，”present“：[167]，”complete“：[176]，”two-variable”：[179]，”fragment“：[180]，”first order。“：[182]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2118416409“，”counts_by_year“：[{”year“:2023，”cited_by_count“：3}，{”year“：2022，”cited_by_count”：2}，”{“year”：2021，”citecd_by_count“：1}，“{”年“：2020，”citesd_by_count“:2}”，{“年份”：2018，”ciped_by_cunt“:4}，年份“：2013，”cited_by_count“：3}，{“年份”：2012，”ciped_by_cunt“：2}]，”updated_date“：”2024-06-26T22:32:22.405625“，”创建日期“：”2016-06-24“}