{“id”:“https://openalex.org/W4205770087“,”doi“:”https://doi.org/10.1016/j.jlamp.2022.100748“,”title“:”Tarski关系代数在树上的幂“,”display_name“:”Tarski关系代数在树上的幂”,“publication_year”:2022,“publiction_date”:“2022-04-01”,“ids”:{“openalex”:“https://openalex.org/W4205770087“,”doi“:”https://doi.org/10.1016/j.jlamp.2022.100748“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1016/j.jlamp.2022.100748,“pdf_url”:http://manuscript.elsevier.com/S2352220822000013/pdf/S235222082200013.pdf,“源”:{“id”:https://openalex.org/S4210169521“,”“display_name”:“\u0098The \u009cJournal of logical and algebral methods in programming/Journal for logical and argebral methods in rogramming”,“issn_l”:“2352-2208”,“isn”:[“2352-22028”,“2352-2216”],“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“:”acceptedVersion“,”is_accepted“:true,”is_published“:false},”type“:”article“,”type_crossref“:”期刊文章“,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:true,”oa_status“:”青铜“,”oa_url“:”http://manuscript.elsevier.com/S2352220822000013/pdf/S235222082200013.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5009839886“,”display_name“:”Johan Hellings“,”orcid“:”https://orcid.org/0000-0001-7453-8944},“机构”:[{“id”:https://openalex.org/I878454856“,”display_name“:”哈塞尔大学“,”ror“:”https://ror.org/04nbhqj75“,”country_code“:”BE“,”type“:“教育”,”世系“:[”https://openalex.org/I878454856“]},{”id“:”https://openalex.org/I98251732“,”display_name“:”麦克马斯特大学“,”ror“:”https://ror.org/02fa3aq29“,”country_code“:”CA“,”type“:“教育”,”世系“:[”https://openalex.org/I98251732“]}],”countries“:[”BE“,”CA“],”is_corresponding“:true,”raw_author_name“:”Jelle Hellings“,“raw_affiliation_strings”:[”Hasselt University,Martelarenlaan 42,3500,Hasselt,Belgium“,”麦克马斯特大学,1280 Main St.W.,Hamilton,ON L8S 4L7,Canada“],“affiliations”:[{”raw_affiliation_string“:”Hasselt University,Martelarenlaan 42,3500,Hasselt,Belgium哈塞尔特大学”,“institution_ids”:[“https://openalex.org/I878454856“]},{”raw_affiliation_string“:”麦克马斯特大学,1280 Main St.W.,Hamilton,ON L8S 4L7,Canada“,”institution_ids“:[”https://openalex.org/I98251732“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5047960393“,”display_name“:”Yuqing Wu“,”orcid“:”https://orcid.org/0009-0001-1409-6993},“机构”:[{“id”:https://openalex.org/I177881444“,”display_name“:”波莫纳学院“,”ror“:”https://ror.org/0074grg94“,”country_code“:”US“,”type“:“教育”,”世系“:[”https://openalex.org/I177881444“]}],”countries“:[”US“],”is_corresponding“:false,”raw_author_name“:”Yuqing Wu“,”raw _affiliation_strings“:【”美国加利福尼亚州克莱蒙特东六街185号波莫纳学院“】,”affiliations“:[{”raw _affiliation_string“:”美国加利福尼亚洲克莱蒙特东六大街185号波莫纳学院”,“institution_ids”:[”https://openalex.org/I177881444“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5016874794网址“,”display_name“:”Marc Gyssens“,”orcid“:”https://orcid.org/0000-0002-5197-2817},“机构”:[{“id”:https://openalex.org/I878454856“,”display_name“:”哈塞尔大学“,”ror“:”https://ror.org/04nbhqj75“,”country_code“:”BE“,”type“:“教育”,”世系“:[”https://openalex.org/I878454856“]}],”countries“:[”BE“],”is_corresponding“:false,”raw_author_name“:”Marc Gyssens“,”raw _affiliation_strings“:【”Hasselt University,Martelarenlaan 42,3500,Hasselt,Belgium“】,”affiliations“:[{”raw _affiliation_string“:”Hassett University、Martelarennaan 42,3500、Hasselt、Belgiumbium“,”institution_ids“:[“https://openalex.org/I878454856“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5019309676“,”display_name“:”Dirk Van Gucht“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210119109“,”display_name“:”印第安纳大学布卢明顿分校“,”ror“:”https://ror.org/02k40bc56“,”country_code“:”US“,”type“:“教育”,”世系“:[”https://openalex.org/I4210119109","https://openalex.org/I592451“]}],”国家“:[”美国“],”is_corresponding“:false,”raw_author_name“:”Dirk Van Gucht“,”raw _affiliation_strings“:[“印第安纳大学,919 E 10th St.,Bloomington,IN 47408,USA”],”affiliations“:[{”raw _affiliation_string“:”印第安纳大学https://openalex.org/I4210119109“]}]}],”countries_disticont_count“:3,”institutions_disticent_count”:4,”corresponding_author_ids“:[”https://openalex.org/A5009839886“],”对应机构_ids“:[”https://openalex.org/I878454856","https://openalex.org/I98251732“],”apc_list“:{”value“:2810,”currency“:”USD“,”value_USD“:2810',”provenance“:”doaj“},”apc _payed“:null,”fwci“:null',”has_fulltext“:false,”cited_by_count“:0,”cited_by_percentile_year“:{“min”:0,“max”:66},“biblio”:{“volume”:“126”,“issue”:null、“first_page”:“100748”,“last_page”:”100748“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10317“,”display_name“:”数据流管理系统和技术“,”score“:0.9994,”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.9994,“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/T10215“,”display_name“:”语义Web和本体开发“,”score“:0.9988,”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/T11596“,”“display_name”:“分布式约束优化问题和算法”,“score”:0.9973,“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/keywords/spacial-reasoning网站“,”display_name“:”Spatial Reasoning“,”score“:0.527223},{”id“:”https://openalex.org/keywords/temoral-reasoning网站“,”display_name“:”时态推理“,”score“:0.525618}],”concepts“:[{”id“:”https://openalex.org/C2776809875,“wikidata”:https://www.wikidata.org/wiki/Q1375963“,”display_name“:”Converse“,”level“:2,”score“:0.69733584},{”id“:”https://openalex.org/C64543145,“wikidata”:https://www.wikidata.org/wiki/Q162942“,”display_name“:”十字路口(航空)“,”level“:2,”score“:0.6453775},{”id“:”https://openalex.org/C10282146,“wikidata”:https://www.wikidata.org/wiki/Q5965969“,”display_name“:”关系代数“,”level“:5,”score“:0.63932186},{”id“:”https://openalex.org/C2780213375,“wikidata”:https://www.wikidata.org/wiki/Q16340“,”display_name“:”XPath“,”level“:4,”score“:0.5843949},{”id“:”https://openalex.org/C25343380,“wikidata”:https://www.wikidata.org/wiki/Q277521“,”display_name“:”关系(数据库)“,”级别“:2,”分数“:0.56947416},{”id“:”https://openalex.org/C2777735758,“wikidata”:https://www.wikidata.org/wiki/Q817765“,”display_name“:”Path(computing)“,”level“:2,”score“:0.5470463},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.53668904},{”id“:”https://openalex.org/C192028432,“wikidata”:https://www.wikidata.org/wiki/Q845739“,”display_name“:”查询语言“,”level“:2,”score“:0.5161356},{”id“:”https://openalex.org/C195818886,“wikidata”:https://www.wikidata.org/wiki/Q5421724“,”display_name“:”表现力“,”level“:2,”score“:0.49854136},{”id“:”https://openalex.org/C113174947,“wikidata”:https://www.wikidata.org/wiki/Q2859736“,”display_name“:”树(集合论)“,”level“:2,”score“:0.45561063},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.34757972},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.33912474},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.32215706},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.31178772},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.27633968},{”id“:”https://openalex.org/C207764348,“wikidata”:https://www.wikidata.org/wiki/Q7858706“,”display_name“:”二元布尔代数“,”level“:4,”score“:0.22106299},{”id“:”https://openalex.org/C77088390,“wikidata”:https://www.wikidata.org/wiki/Q8513“,”display_name“:”数据库“,”级别“:1,”分数“:0.16912305},{”id“:”https://openalex.org/C8797682,“wikidata”:https://www.wikidata.org/wiki/Q2115“,”display_name“:”XML“,”level“:2,”score“:0.13244921},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.111524284},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.104074776},{”id“:”https://openalex.org/C55348073,“wikidata”:https://www.wikidata.org/wiki/Q595926“,”display_name“:”XML验证“,”level“:3,”score“:0.0},{”id“:”https://openalex.org/C2524010,“wikidata”:https://www.wikidata.org/wiki/Q8087“,”display_name“:”Geometry“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C127413603,“wikidata”:https://www.wikidata.org/wiki/Q11023“,”display_name“:”工程“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C169171071,“wikidata”:https://www.wikidata.org/wiki/Q5449241“,”display_name“:”过滤代数“,”level“:3,”score“:0.0},{”id“:”https://openalex.org/C146978453,“wikidata”:https://www.wikidata.org/wiki/Q3798668“,”display_name“:”航空航天工程“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C111919701,“wikidata”:https://www.wikidata.org/wiki/Q9135“,”display_name“:”操作系统“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:2,”location“:[{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1016/j.jlamp.2022.100748,“pdf_url”:http://manuscript.elsevier.com/S2352220822000013/pdf/S235222082200013.pdf,“源”:{“id”:https://openalex.org/S4210169521“,”display_name“:”\u0098\u009c编程中的逻辑和代数方法期刊/编程中的逻辑和代数方法期刊“,”issn_l“:”2352-2208“,”issn“:[”2352-2208“,”2352-2216“],”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“:”acceptedVersion“,”is_accepted“:true,”is_published“:false},{”is_oa“:true,”landing_page_url“:”https://hdl.handle.net/1942/37014,“pdf_url”:https://documentserver.uhasselt.be//bitstream/1942/37014/2/foiks2018_1_paper.pdf,“源”:{“id”:https://openalex.org/S4306401926“,”display_name“:”文档服务器@UHasselt(UHasselt)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I878454856“,”“host_organization_name”:“哈塞尔大学”,“host_organization_lineage”:[“https://openalex.org/I878454856“],”host_organization_lineage_names“:[”Hasselt University“],“type”:“repository”},“license”:“other-oa”,“licence_id”:“https://openalex.org/licenses/other-oa网站“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false}],”best_oa_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1016/j.jlamp.2022.100748,“pdf_url”:http://manuscript.elsevier.com/S2352220822000013/pdf/S235222082200013.pdf,“源”:{“id”:https://openalex.org/S4210169521“,”“display_name”:“\u0098The \u009cJournal of logical and algebral methods in programming/Journal for logical and argebral methods in rogramming”,“issn_l”:“2352-2208”,“isn”:[“2352-22028”,“2352-2216”],“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“:”acceptedVersion“,”is_accepted“:true,”is_published“:false},”sustainable_development_goals“:[{”display_name“:”素质教育“,”id“:”https://metadata.un.org/sdg/4“,”score“:0.46}],”grants“:[{”funder“:”https://openalex.org/F4320306076“,”“funder_display_name”:“国家科学基金会”,“award_id”:“NSF 1606557”}],“数据集”:[],“版本”:[],“referenced_works_count”:27,“referrenced_works”:[”https://openalex.org/W109947125","https://openalex.org/W142969493","https://openalex.org/W1489366126","https://openalex.org/W1971852817","https://openalex.org/W2003517056","https://openalex.org/W2006006495","https://openalex.org/W2009700100","https://openalex.org/W2034956447","https://openalex.org/W2117430100","https://openalex.org/W2137935204","https://openalex.org/W2159701549","https://openalex.org/W2160442532","https://openalex.org/W2260768249","https://openalex.org/W2294034341","https://openalex.org/W26118888112","https://openalex.org/W2799879129","https://openalex.org/W2912517684","https://openalex.org/W2913348687","https://openalex.org/W2913712509","https://openalex.org/W2914436866","https://openalex.org/W2962721563","https://openalex.org/W2984129959","https://openalex.org/W4242725984","https://openalex.org/W4255608936","https://openalex.org/W4291309677","https://openalex.org/W4302937682","https://openalex.org/W891387922“],”related_works“:[”https://openalex.org/W2950897092","https://openalex.org/W2900197532","https://openalex.org/W2743317844","https://openalex.org/W2159701549","https://openalex.org/W2038650947","https://openalex.org/W2025908040","https://openalex.org/W1964605444","https://openalex.org/W1608399088","https://openalex.org/W1601244756","https://openalex.org/W158654455“],”ngrams_url“:”https://api.openalex.org/works/W4205770087/ngrams网站“,”“abstract_inverted_index”:{“Fragments”:[0],“of”:[1,8,29,34,76121],“Tarski’s”:[2],“relation”:[3,35],“algebration”:[4,36],“form”:[5],“the”:[6,17,30,73,77122142],“basis”:[7],“many”:[9],“multively”:[10],“graph”:[11],“and”:[12,67,95109184201],“tree”:[13],“query”:[14,78],“语言”:[15],“包括”:[16],“常规”:[18],“路径”:[19,93,99183],“查询,“:[20],”XPath,“:[21],”SPARQL。“:[23],“令人惊讶”:[24],“然而,”:[25180],“a”:[26,51,60138148],“系统”:[27,52],“研究”:[28,71],“相对”:[31143],“表达”:[32,74113128144159192],“权力”:[33,75114193],“碎片”:[37150195],“on”:[38101133],“树”:[39],“有”:[40],“没有”:[41],“尚未”:[42],“已经”:[43],“承担”。“:[44],”In“:[45],”this“:[46],”work“:[47],”we“:[C8,82104136162170],”perform“:%49],”suse“:[50],”study“。“:[53],“我们的”:[54],“方法”:[55],“是”:[56],“到”:[57194],“开始”:[58],“从”:[59],“基本”:[61],“片段”:[62],“其中”:[63169],“仅”:[64],“允许”:[65],“组合”:[66],“联合”。“:[68],“我们”:[69],“然后”:[70],“如何”:[72],“语言”:[79],“更改”:[80],“如果”:[81],“添加”:[83],“多样性”:[84199],“逆向”:[85],“投影”:[86],“共投影”,“:[87200],“交集”:[88],“和/或”:[89],“差异”:[90],“两者”:[91182],“for”:[92115]141147168181],“queries”:[94100132],“Boolean”:[96131185],“查询。“:[97],“For”:[98130],“labeled”:[102134],“trees”,:[103135167],“found”:[105172],“that”:[106],“adding”:[107119152188],“intersection”:[108],“difference”:[110189],“yields”:[1111126156],“more”:[1112127158191],“some”:[116],“fragments,”:[117],“while”:+118],“one”:%120],“other”:/123],“operators”:%124],“总是”:[125],“力量。“:[129160],”获取“:[137],”类似“:[139],”图片“:[140],”功率“:[145],”排除“:[146],”少数“:[149],”其中“:[151],”逆“:[153],”或“:[154],”投影“:[155],”否“:[157],”另外,“:[161],”还“:[163],”研究“:[164],”查询“:[165],”未标记“:[166],”有“:[171],“多个”:[173],“冗余”。“:[174],”一“:[175],”具有挑战性“:[176],”问题“:[177],”保留“:[178],”开放“:[179],”查询:“:[186],”做“:[187],”屈服“:[190],”包含“:[196],”在“:[197],”最小“:[198],”相交?“:[202]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W4205770087“,”counts_by_year“:[],”updated_date“:”2024-06-26T08:30:04.632969“,”created_date:“2022-01-26”}“