{"id":"https://openalex.org/W4396892660","doi":"https://doi.org/10.1145/3651143","title":"Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fra\u00efss\u00e9 Games for FC","display_name":"Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fra\u00efss\u00e9 Games for FC","publication_year":2024,"publication_date":"2024-05-10","ids":{"openalex":"https://openalex.org/W4396892660","doi":"https://doi.org/10.1145/3651143"},"language":"en","primary_location":{"id":"doi:10.1145/3651143","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651143","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3651143","source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3651143","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021277810","display_name":"Sam M. Thompson","orcid":"https://orcid.org/0000-0002-3476-6739"},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Sam M. Thompson","raw_affiliation_strings":["Loughborough University, Loughborough, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-3476-6739","affiliations":[{"raw_affiliation_string":"Loughborough University, Loughborough, United Kingdom","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078139232","display_name":"Dominik D. Freydenberger","orcid":"https://orcid.org/0000-0001-5088-0067"},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dominik D. Freydenberger","raw_affiliation_strings":["Loughborough University, Loughborough, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-5088-0067","affiliations":[{"raw_affiliation_string":"Loughborough University, Loughborough, United Kingdom","institution_ids":["https://openalex.org/I143804889"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021277810"],"corresponding_institution_ids":["https://openalex.org/I143804889"],"apc_list":null,"apc_paid":null,"fwci":0.9986,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77238164,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2","issue":"2","first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12135","display_name":"Fuzzy Systems and Optimization","score":0.9661999940872192,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9575999975204468,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/spanner","display_name":"Spanner","score":0.8603290319442749},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.5439789295196533},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40617749094963074},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3924066424369812},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.126901775598526},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.07547485828399658}],"concepts":[{"id":"https://openalex.org/C2779585601","wikidata":"https://www.wikidata.org/wiki/Q4049850","display_name":"Spanner","level":2,"score":0.8603290319442749},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.5439789295196533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40617749094963074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3924066424369812},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.126901775598526},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.07547485828399658}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3651143","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651143","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3651143","source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3651143","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651143","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3651143","source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3546660147","display_name":null,"funder_award_id":"EP/T033762/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6307531835","display_name":null,"funder_award_id":"EP/T033762/1","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4396892660.pdf"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1489366126","https://openalex.org/W1586417893","https://openalex.org/W1964874178","https://openalex.org/W1979656308","https://openalex.org/W2035314514","https://openalex.org/W2053013024","https://openalex.org/W2085467680","https://openalex.org/W2110367654","https://openalex.org/W2141456009","https://openalex.org/W2616567161","https://openalex.org/W2733628661","https://openalex.org/W2883227679","https://openalex.org/W2890631112","https://openalex.org/W3013397275","https://openalex.org/W3192733234","https://openalex.org/W4210843940"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2949889395","https://openalex.org/W4297623464","https://openalex.org/W2162831161","https://openalex.org/W2126497992","https://openalex.org/W2082551413","https://openalex.org/W3197005352","https://openalex.org/W2079518702","https://openalex.org/W3127121181"],"abstract_inverted_index":{"Despite":[0],"considerable":[1],"research":[2],"on":[3],"document":[4],"spanners,":[5,70],"little":[6],"is":[7],"known":[8],"about":[9],"the":[10,30,38,73,76,89],"expressive":[11,90],"power":[12,91],"of":[13,37,40,75,92],"generalized":[14,54,68],"core":[15,55,69,93],"spanners.":[16,56,94],"In":[17,57],"this":[18],"paper,":[19],"we":[20,51,59,83],"use":[21],"Ehrenfeucht-Fra\u00efss\u00e9":[22],"games":[23],"to":[24,53],"obtain":[25],"general":[26],"inexpressibility":[27,46,77],"lemmas":[28,44],"for":[29,48],"logic":[31],"FC":[32,49],"(a":[33],"finite":[34],"model":[35],"variant":[36],"theory":[39],"concatenation).":[41],"Applying":[42],"these":[43],"give":[45,60],"results":[47],"that":[50,63],"lift":[52],"particular,":[58],"several":[61],"relations":[62],"cannot":[64],"be":[65],"selected":[66],"by":[67],"thus":[71],"demonstrating":[72],"effectiveness":[74],"lemmas.":[78],"As":[79],"an":[80],"immediate":[81],"consequence,":[82],"also":[84],"gain":[85],"new":[86],"insights":[87],"into":[88]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}