{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:24Z","timestamp":1750309224474,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["85256563","414325841"],"award-info":[{"award-number":["85256563","414325841"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662125","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["From Quantifier Depth to Quantifier Number: Separating Structures with k Variables"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2422-9435","authenticated-orcid":false,"given":"Harry","family":"Vinall-Smeeth","sequence":"first","affiliation":[{"name":"Institute for Theoretical Computer Science, Technische Universit\u00e4t Ilmenau, Ilmenau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/772062.772064"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/S00037-002-0172-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/509907.509975"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/S00493-004-0036-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/375827.375835"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-319-10428-7_14"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3294052.3319693"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-662-47672-7_13"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1137\/1.9781611974782.21"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/3195257"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.2178\/JSL\/1203350790"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/BF01305232"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/3450263"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.48550\/ARXIV.2301.13329"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/2559946"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/2902251.2902279"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/48014.48016"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.2307\/2271711"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3152770"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/LICS52264.2021.9470756"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.4230\/LIPICS.MFCS.2022.48"},{"volume-title":"On some classifications of relationship systems","author":"Fra\u00efss\u00e9 Roland","unstructured":"Roland Fra\u00efss\u00e9. 1954. On some classifications of relationship systems. University of Algiers.","key":"e_1_3_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1007\/3-540-48224-5_27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.2307\/420954"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1007\/S004939970004"},{"doi-asserted-by":"publisher","unstructured":"Martin Grohe Moritz Lichter and Daniel Neuen. 2023. The Iteration Number of the Weisfeiler-Leman Algorithm. In LICS. 1--13. 10.1109\/LICS56636.2023.10175741","key":"e_1_3_2_1_26_1","DOI":"10.1109\/LICS56636.2023.10175741"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.2168\/LMCS-1(1:6)2005"},{"key":"e_1_3_2_1_28_1","volume-title":"proceedings of the 11th conference on \"Advances in Modal Logic,\" held in Budapest","author":"Hella Lauri","year":"2016","unstructured":"Lauri Hella and Miikka Vilander. 2016. The succinctness of first-order logic over modal logic via a formula size game. In Advances in Modal Logic 11, proceedings of the 11th conference on \"Advances in Modal Logic,\" held in Budapest, Hungary, August 30 - September 2, 2016, Lev D. Beklemishev, St\u00e9phane Demri, and Andr\u00e1s Mat\u00e9 (Eds.). College Publications, 401--419. http:\/\/www.aiml.net\/volumes\/volume11\/Hella-Vilander.pdf"},{"volume-title":"First Order Expressibility as a New Complexity Measure. Ph. D. Dissertation","author":"Immerman Neil","unstructured":"Neil Immerman. 1980. First Order Expressibility as a New Complexity Measure. Ph. D. Dissertation. Cornell University, USA.","key":"e_1_3_2_1_29_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1016\/0022-0000(81)90039-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1016\/0022-0000(82)90011-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1007\/978-1-4612-4478-3_5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1137\/0403021"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1007\/978-3-662-07003-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/BF02122698"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1007\/978-1-4612-4176-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1145\/800070.802186"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1145\/212433.212474"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.48550\/ARXIV.2311.15885"}],"event":{"sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"],"acronym":"LICS '24","name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Tallinn Estonia"},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662125","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:09Z","timestamp":1750290249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":39,"alternative-id":["10.1145\/3661814.3662125","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662125","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}