{“id”：“https://openalex.org/W1976808588网址“，”doi“：”https://doi.org/10.2168/lmcs-2（3:2）2006”，“title”：“未排名树的逻辑：概述”，“display_name”：“尚未排名树的逻辑学：概述”、“publication_year”：2006，“publication_date”：“2006-07-26”，“ids”：{“openalex”：“https://openalex.org/W1976808588网址“，”doi“：”https://doi.org/10.2168/lmcs-2（3:2）2006“，”mag“：”1976808588“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（3:2）2006“，”pdf_url“：”https://lmcs.episciences.org/2244/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“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“：”diamond“，”oa_url“：”https://lmcs.episciences.org/2244/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5069883356“，”display_name“：”Leonid Libkin“，”orcid“：”https://orcid.org/0000-0002-6698-2735“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Leonid Libkin“，”raw关联字符串“：[”信息学院“]，”从属关系“：[{”raw_affiliation_string“：”信息学院https://openalex.org/A5069883356“]，”corresponding_institution_ids“：[]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payd”：null，”fwci“：3.689，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：54，”citation_normalized_percentile“:{”value“：0.943825，”is_in_top_1_percent“：false，”is_ in_top_ _10_percent“：true}，”引用_by_percentile_year“：{”min“：94，”max“：95}，”biblio“：{”volume“：”volume“，第2卷，第3期“，”Issue“：null，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.9967，“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.9946，”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/tree-automaton（https://openalex.org/keywords/tree-automaton）“，”display_name“：”树自动机“，”score“：0.6249695｝，｛”id“：”https://openalex.org/keywords/tree网站“，”display_name“：”树（集合论）“，”score“：0.5552322}，{”id“：”https://openalex.org/keywords/xml“，”display_name“：”XML“，”score“：0.504123}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6740685｝，｛”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6539222}，{”id“：”https://openalex.org/C2778583254，“wikidata”：https://www.wikidata.org/wiki/Q2872598网址“，”display_name“：”树自动机“，”level“：3，”score“：0.6249695}，{”id“：”https://openalex.org/C8797682，“wikidata”：https://www.wikidata.org/wiki/Q2115“，”display_name“：”XML“，”level“：2，”score“：0.5661694}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.5552322}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.55445915}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3142581}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.21270534}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.11753765}]，”mesh“：[]，”locations_count“：7，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（3:2）2006“，”pdf_url“：”https://lmcs.episciences.org/2244/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“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“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：false，”landing_page_url“：”https://doaj.org/article/3dcb96708b364d049f25db9360aa2874“，”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/cs/0606062，“pdf_url”：https://arxiv.org/pdf/cs/0606062，“源”：{“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.research.ed.ac.uk/en/publications/19933431-6bbe-469f-a1e2-fc9a2c6a1c18，“pdf_url”：https://www.research.ed.ac.uk/files/17841017/Libkin_2006_Logics_for_Unranked_Trees_An_Overview.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”：“cc-by-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://www.pure.ed.ac.uk/ws/files/17841017/Libkin_2006_Logics_for_Unranked_Trees_An_Overview.pdf，“pdf_url”：https://www.pure.ed.ac.uk/ws/files/17841017/Libkin_2006_Logics_for_Unranked_Trees_An_Overview.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”：“cc-by-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nd“，”版本“：”提交版本“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：null，”pdf_url“：”https://arxiv.org/pdf/cs/060662v1.pdf，“源”：{“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”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.cs/0606062“，”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-2（3:2）2006“，”pdf_url“：”https://lmcs.episciences.org/2244/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“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“：[{”display_name“：”素质教育“，”score“：0.51，”id“：”https://metadata.un.org/sdg/4“}]，”拨款“：[{”资助者“：”https://openalex.org/F4320334593“，”“funder_display_name”：“加拿大自然科学与工程研究委员会”，“award_id”：null}]，“数据集”：[]，“版本”：[“https://openalex.org/W1976808588网址","https://openalex.org/W3099443173“]，”referenced_works_count“：100，”referrenced_works“：[”https://openalex.org/W100744576","https://openalex.org/W1489366126","https://openalex.org/W1494939852","https://openalex.org/W1504467106","https://openalex.org/W1505425738","https://openalex.org/W1514546616","https://openalex.org/W1515534319","https://openalex.org/W1525848106","https://openalex.org/W1528001973","https://openalex.org/W1539395461","https://openalex.org/W1540080689","https://openalex.org/W1540516609","https://openalex.org/W1545354279","https://openalex.org/W1558791089","https://openalex.org/W1558832481","https://openalex.org/W1573343649","https://openalex.org/W1579407214","https://openalex.org/W1583633027","https://openalex.org/W1593799327","https://openalex.org/W1619948012","https://openalex.org/W1684503074","https://openalex.org/W1755189310","https://openalex.org/W1786858813","https://openalex.org/W1816620374","https://openalex.org/W1856962451","https://openalex.org/W1884776593","https://openalex.org/W1905633503","https://openalex.org/W1965144055","https://openalex.org/W1970599921","https://openalex.org/W1980992394","https://openalex.org/W1982213843","https://openalex.org/W1988662949","https://openalex.org/W1990483472","https://openalex.org/W1996177377","https://openalex.org/W200063938","https://openalex.org/W2004485491","https://openalex.org/W2005868161","https://openalex.org/W2020437202","https://openalex.org/W2023251419","https://openalex.org/W2027519504","https://openalex.org/W2028357390","https://openalex.org/W2029752177","https://openalex.org/W2035020702","https://openalex.org/W2038925304","https://openalex.org/W2044842674","https://openalex.org/W2052432706","https://openalex.org/W2053455078","https://openalex.org/W2056665285","https://openalex.org/W2059078591","https://openalex.org/W2060444615","https://openalex.org/W2066585576","https://openalex.org/W2067464091","https://openalex.org/W2070632872","https://openalex.org/W2073663206","https://openalex.org/W2074385562","https://openalex.org/W2078015341","https://openalex.org/W2080135984","https://openalex.org/W2096693597","https://openalex.org/W2098171268","https://openalex.org/W2102446786","https://openalex.org/W2103115610","https://openalex.org/W2108138932","https://openalex.org/W2113885315","https://openalex.org/W2114240051","https://openalex.org/W2122225808","https://openalex.org/W2122408999","https://openalex.org/W2124876285","https://openalex.org/W2131742729","https://openalex.org/W2134826526","https://openalex.org/W2137931097","https://openalex.org/W2142707270","https://openalex.org/W2143011759","https://openalex.org/W2156720842","https://openalex.org/W2158212536","https://openalex.org/W2160120224","https://openalex.org/W2160442532","https://openalex.org/W2162199371","https://openalex.org/W2162583406","https://openalex.org/W2165587117","https://openalex.org/W2167998587","https://openalex.org/W2170477095","https://openalex.org/W2170933628","https://openalex.org/W225164430","https://openalex.org/W2292993340","https://openalex.org/W2294034341","https://openalex.org/W2296095876","https://openalex.org/W2570220284","https://openalex.org/W270849871","https://openalex.org/W2913344232","https://openalex.org/W2913459036","https://openalex.org/W2949965047","https://openalex.org/W4205178514","https://openalex.org/W4210596830","https://openalex.org/W4214836455","https://openalex.org/W4231443958","https://openalex.org/W4240244556","https://openalex.org/W4255551208","https://openalex.org/W431269274","https://openalex.org/W615227492","https://openalex.org/W74282808“]，”related_works“：[”https://openalex.org/W3174875281","https://openalex.org/W3021510591","https://openalex.org/W2953470554","https://openalex.org/W2738050628","https://openalex.org/W2610542549","https://openalex.org/W2253092483","https://openalex.org/W1626184434","https://openalex.org/W1582302366","https://openalex.org/W1548463674","https://openalex.org/W1518712796“]，”abstract_inverted_index“：{”标签“：[0]，”未分类“：[1,91]，”树“：[2,52]，”是“：[3,31]，”使用“：[4]，”作为“：[5]，”a“：[6,86]，”模型“：[7]，”的“：[8,51,56,88]，”XML“：[9]，”文档“：[10]，”和“：[11,42,73,78]，”逻辑“：[12]，”语言“：[13]，”for“：[14]3,34,38,59,90]，“他们”：[15]，“已经”：[16,27]，“被”：[17]，“研究”：[18]，“积极”：[19]，“超过”：[20]，“该”：[21,54]，“过去”：[22]，“几个”：[23]，“年份”：[24]，“这样”：[25]，“逻辑”：[26,63,89]，“不同”：[28]，“目的：”：[29]，“一些”：[30,37,43]，“更好”：[32]，“适合”：[33]，“提取”：[35]，“数据”：[36]，“表达”：[39]，“导航”：[40]，“属性，”：[41,69]，“制造”：[44]，“it”：[45]，“简单”：[46]，“到”：[47,53]，“关联”：[48]，“复杂”：[49]，“属性”：[50]，“存在”：[55]，“树”：[57]，“自动机”：[58,71]，“那些”：[60]，“属性。”：[61]，“此外，”：[62]，“不同”：[64]，“显著”：[65]，“in”：[66]，“它们的”：[67,70,74]，“模型检查”：[68]，“模式”：[72]，“行为”：[75]，“on”：[76]，“有序”：[77]，“无序”：[79]，“树木。”：[00,92]，“in”：[81]，“this”：[82]，“paper”：[83]，“we”：[84]，“present”：[85]，“survey”：[87]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1976808588“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：1'，{”“年份”:2018，”：2012，“cited_by_count”：5}]，“updated_date”：“2024-09-08T17:52:32.601419”，“创建日期”：“2016-06-24"}