{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T12:56:12Z","timestamp":1755694572616,"version":"3.30.2"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T00:00:00Z","timestamp":1726099200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T00:00:00Z","timestamp":1726099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s10817-024-09710-9","type":"journal-article","created":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T11:03:56Z","timestamp":1726139036000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Single-Set Cubical Categories and Their Formalisation with a Proof Assistant"],"prefix":"10.1007","volume":"68","author":[{"given":"Philippe","family":"Malbos","sequence":"first","affiliation":[]},{"given":"Tanguy","family":"Massacrier","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,12]]},"reference":[{"issue":"1","key":"9710_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1006\/aima.2001.2069","volume":"170","author":"FA Al-Agl","year":"2002","unstructured":"Al-Agl, F.A., Brown, R., Steiner, R.: Multiple categories: the equivalence of a globular and a cubical approach. Adv. Math. 170(1), 71\u2013118 (2002)","journal-title":"Adv. Math."},{"issue":"4","key":"9710_CR2","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1017\/S0960129521000347","volume":"31","author":"C Angiuli","year":"2021","unstructured":"Angiuli, C., Brunerie, G., Coquand, T., Harper, R., Hou, K.-B., Licata, D.R.: Syntax and models of cartesian cubical type theory. Math. Struct. Comput. Sci. 31(4), 424\u2013468 (2021)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9710_CR3","unstructured":"Ara, D., Burroni, A., Guiraud, Y., Malbos, P., M\u00e9tayer, F., Mimram, S.: Polygraphs: From Rewriting to Higher Categories. London Mathematical Society Lecture Note Series (2024). arXiv:2312.00429"},{"issue":"2","key":"9710_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10817-013-9284-7","volume":"52","author":"C Ballarin","year":"2014","unstructured":"Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reason. 52(2), 123\u2013153 (2014)","journal-title":"J. Autom. Reason."},{"issue":"6","key":"9710_CR5","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1007\/s10817-019-09537-9","volume":"64","author":"C Ballarin","year":"2020","unstructured":"Ballarin, C.: Exploring the structure of an algebra text with locales. J. Autom. Reason. 64(6), 1093\u20131121 (2020)","journal-title":"J. Autom. Reason."},{"key":"9710_CR6","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive theorem proving and program development. Coq\u2019Art: The Calculus of Inductive Constructions. Foreword by G\u00e9rard Huet and Christine Paulin-Mohring. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2004)","DOI":"10.1007\/978-3-662-07964-5"},{"key":"9710_CR7","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.tcs.2015.01.035","volume":"574","author":"M Bezem","year":"2015","unstructured":"Bezem, M., Coquand, T.: A Kripke model for simplicial sets. Theoret. Comput. Sci. 574, 86\u201391 (2015)","journal-title":"Theoret. Comput. Sci."},{"key":"9710_CR8","unstructured":"Bezem, M., Coquand, T., Huber, S.: A model of type theory in cubical sets. In: 19th International Conference on Types for Proofs and Programs, LIPIcs, vol. 26. Leibniz Int. Proc. Inform., pp. 107\u2013128. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern (2014)"},{"issue":"2","key":"9710_CR9","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10817-018-9472-6","volume":"63","author":"M Bezem","year":"2019","unstructured":"Bezem, M., Coquand, T., Huber, S.: The univalence axiom in cubical sets. J. Autom. Reason. 63(2), 159\u2013171 (2019)","journal-title":"J. Autom. Reason."},{"key":"9710_CR10","unstructured":"Bordg, A., Paulson, L.C., Li, W.: Grothendieck\u2019s schemes in algebraic geometry. Arch. Formal Proofs (2021)"},{"issue":"1","key":"9710_CR11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(81)90080-3","volume":"22","author":"R Brown","year":"1981","unstructured":"Brown, R., Higgins, P.J.: Colimit theorems for relative homotopy groups. J. Pure Appl. Algebra 22(1), 11\u201341 (1981)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"9710_CR12","first-page":"371","volume":"22","author":"R Brown","year":"1981","unstructured":"Brown, R., Higgins, P.J.: The equivalence of $$\\infty $$-groupoids and crossed complexes. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 22(4), 371\u2013383 (1981)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"issue":"3","key":"9710_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0022-4049(81)90018-9","volume":"21","author":"R Brown","year":"1981","unstructured":"Brown, R., Higgins, P.J.: On the algebra of cubes. J. Pure Appl. Algebra 21(3), 233\u2013260 (1981)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9710_CR14","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0040-9383(87)90004-8","volume":"26","author":"R Brown","year":"1987","unstructured":"Brown, R., Loday, J.-L.: Van Kampen theorems for diagrams of spaces. Topology 26(3), 311\u2013335 (1987)","journal-title":"Topology"},{"key":"9710_CR15","first-page":"343","volume":"17","author":"R Brown","year":"1976","unstructured":"Brown, R., Spencer, C.B.: Double groupoids and crossed modules. Cah. Topologie G\u00e9om. Diff\u00e9r. Cat\u00e9goriques 17, 343\u2013362 (1976)","journal-title":"Cah. Topologie G\u00e9om. Diff\u00e9r. Cat\u00e9goriques"},{"key":"9710_CR16","doi-asserted-by":"crossref","unstructured":"Brown, R., Higgins, P.J., Sivera, R.: Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev, EMS Tracts Math, vol. 15. European Mathematical Society (EMS), Z\u00fcrich (2011)","DOI":"10.4171\/083"},{"key":"9710_CR17","unstructured":"Calk, C., Struth, G.: Higher globular catoids and quantales. Archive of formal proofs, January (2024). https:\/\/isa-afp.org\/entries\/OmegaCatoidsQuantales.html, Formal proof development"},{"key":"9710_CR18","doi-asserted-by":"crossref","unstructured":"Calk, C., Goubault, E., Malbos, P., Struth, G.: Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci., 18(4):Paper No. 9, 43, (2022)","DOI":"10.46298\/lmcs-18(4:9)2022"},{"key":"9710_CR19","unstructured":"Calk, C., Malbos, P., Pous, D., Struth, G.: Higher catoids, higher quantales and their correspondences (2023). arXiv:2307.09253"},{"issue":"10","key":"9710_CR20","first-page":"3127","volume":"4","author":"C Cohen","year":"2017","unstructured":"Cohen, C., Coquand, T., Huber, S., M\u00f6rtberg, A.: Cubical type theory: a constructive interpretation of the univalence axiom. FLAP 4(10), 3127\u20133170 (2017)","journal-title":"FLAP"},{"key":"9710_CR21","unstructured":"Cranch, J., Doherty, S., Struth, G.: Relational semigroups and object-free categories (2020). CoRR arXiv:2001.11895"},{"issue":"3","key":"9710_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2010.05.007","volume":"76","author":"J Desharnais","year":"2011","unstructured":"Desharnais, J., Struth, G.: Internal axioms for domain semirings. Sci. Comput. Program. 76(3), 181\u2013203 (2011)","journal-title":"Sci. Comput. Program."},{"key":"9710_CR23","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemia\u0144ski, K.: Kleene theorem for higher-dimensional automata (2023). arXiv:2202.03791","DOI":"10.46298\/lmcs-20(4:22)2024"},{"key":"9710_CR24","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s00012-023-00805-9","volume":"84","author":"U Fahrenberg","year":"2023","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemia\u0144ski, K.: Catoids and modal convolution algebras. Algebra Univers. 84, 10 (2023)","journal-title":"Algebra Univers."},{"key":"9710_CR25","doi-asserted-by":"crossref","unstructured":"Fajstrup, L., Goubault, E., Rau\u00dfen, M.: Detecting deadlocks in concurrent systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR \u201998, LNCS, vol. 1466, pp. 332\u2013347. Springer, Berlin (1998)","DOI":"10.1007\/BFb0055632"},{"issue":"1\u20133","key":"9710_CR26","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/j.tcs.2006.03.022","volume":"357","author":"L Fajstrup","year":"2006","unstructured":"Fajstrup, L., Rau\u00dfen, M., Goubault, E.: Algebraic topology and concurrency. Theoret. Comput. Sci. 357(1\u20133), 241\u2013278 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"9710_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15398-8","volume-title":"Directed Algebraic Topology and Concurrency","author":"L Fajstrup","year":"2016","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Directed Algebraic Topology and Concurrency. Springer, Berlin (2016)"},{"key":"9710_CR28","volume-title":"Abelian Categories. An Introduction to the Theory of Functors. Harper\u2019s Series in Modern Mathematics","author":"P Freyd","year":"1964","unstructured":"Freyd, P.: Abelian Categories. An Introduction to the Theory of Functors. Harper\u2019s Series in Modern Mathematics. Harper & Row, Publishers, New York (1964)"},{"key":"9710_CR29","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39. North-Holland Publishing Co., Amsterdam (1990)"},{"issue":"4","key":"9710_CR30","doi-asserted-by":"publisher","first-page":"30:1","DOI":"10.1145\/2785967","volume":"16","author":"H Furusawa","year":"2015","unstructured":"Furusawa, H., Struth, G.: Concurrent dynamic algebra. ACM Trans. Comput. Log. 16(4), 30:1-30:38 (2015)","journal-title":"ACM Trans. Comput. Log."},{"key":"9710_CR31","first-page":"481","volume":"10","author":"P Gaucher","year":"2000","unstructured":"Gaucher, P.: Homotopy invariants of higher dimensional categories and concurrency in computer science. Mathematics 10, 481\u2013524 (2000)","journal-title":"Mathematics"},{"issue":"2","key":"9710_CR32","first-page":"107","volume":"43","author":"P Gaucher","year":"2002","unstructured":"Gaucher, P.: About the globular homology of higher dimensional automata. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 43(2), 107\u2013156 (2002)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"9710_CR33","doi-asserted-by":"crossref","unstructured":"Goubault, E., Jensen, T.P.: Homology of higher-dimensional automata. In: CONCUR \u201992. LNCS, vol. 630, pp. 254\u2013268. Springer, Berlin (1992)","DOI":"10.1007\/BFb0084796"},{"key":"9710_CR34","first-page":"321","volume":"18","author":"M Grandis","year":"2007","unstructured":"Grandis, M.: Higher cospans and weak cubical categories (cospans in algebraic topology, I). Theory Appl. Categ. 18, 321\u2013347 (2007)","journal-title":"Theory Appl. Categ."},{"key":"9710_CR35","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Directed Algebraic Topology. New Mathematical Monographs, vol. 13. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511657474"},{"issue":"8","key":"9710_CR36","first-page":"185","volume":"11","author":"M Grandis","year":"2003","unstructured":"Grandis, M., Mauri, L.: Cubical sets and their site. Theory Appl. Categ. 11(8), 185\u2013211 (2003)","journal-title":"Theory Appl. Categ."},{"issue":"3\u20134","key":"9710_CR37","doi-asserted-by":"publisher","first-page":"2294","DOI":"10.1016\/j.aim.2012.05.010","volume":"231","author":"Y Guiraud","year":"2012","unstructured":"Guiraud, Y., Malbos, P.: Higher-dimensional normalisation strategies for acyclicity. Adv. Math. 231(3\u20134), 2294\u20132351 (2012)","journal-title":"Adv. Math."},{"issue":"2","key":"9710_CR38","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0960129516000220","volume":"28","author":"Y Guiraud","year":"2018","unstructured":"Guiraud, Y., Malbos, P.: Polygraphs of finite derivation type. Math. Struct. Comput. Sci. 28(2), 155\u2013201 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"9710_CR39","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00209-018-2185-z","volume":"293","author":"Y Guiraud","year":"2019","unstructured":"Guiraud, Y., Hoffbeck, E., Malbos, P.: Convergent presentations and polygraphic resolutions of associative algebras. Math. Z. 293(1\u20132), 113\u2013179 (2019)","journal-title":"Math. Z."},{"issue":"3\u20134","key":"9710_CR40","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s41468-019-00023-0","volume":"2","author":"T Kahl","year":"2018","unstructured":"Kahl, T.: Labeled homology of higher-dimensional automata. J. Appl. Comput. Topol. 2(3\u20134), 271\u2013300 (2018)","journal-title":"J. Appl. Comput. Topol."},{"key":"9710_CR41","doi-asserted-by":"publisher","first-page":"1092","DOI":"10.1073\/pnas.41.12.1092","volume":"41","author":"DM Kan","year":"1955","unstructured":"Kan, D.M.: Abstract homotopy. I. Proc. Natl. Acad. Sci. USA 41, 1092\u20131096 (1955)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"9710_CR42","unstructured":"Kapulkin, C., Lumsdaine, P.L.: The simplicial model of univalent foundations (after voevodsky) (2018). arXiv:1211.2851"},{"key":"9710_CR43","volume-title":"Categories for the Working Mathematician. Graduate Texts in Mathematics","author":"SM Lane","year":"1998","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"9710_CR44","unstructured":"Lean. https:\/\/lean-lang.org"},{"issue":"2","key":"9710_CR45","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0022-4049(82)90014-7","volume":"24","author":"J-L Loday","year":"1982","unstructured":"Loday, J.-L.: Spaces with finitely many nontrivial homotopy groups. J. Pure Appl. Algebra 24(2), 179\u2013202 (1982)","journal-title":"J. Pure Appl. Algebra"},{"key":"9710_CR46","unstructured":"Lucas, M.: Cubical categories for homotopy and rewriting. Theses, Universit\u00e9 Paris 7, Sorbonne Paris Cit\u00e9, December (2017)"},{"issue":"2","key":"9710_CR47","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0960129520000018","volume":"30","author":"M Lucas","year":"2020","unstructured":"Lucas, M.: A cubical Squier\u2019s theorem. Math. Struct. Comput. Sci. 30(2), 159\u2013172 (2020)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"6","key":"9710_CR48","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1073\/pnas.34.6.263","volume":"34","author":"S MacLane","year":"1948","unstructured":"MacLane, S.: Groups, categories and duality. PNAS 34(6), 263\u2013267 (1948)","journal-title":"PNAS"},{"issue":"1","key":"9710_CR49","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1112\/jlms.12681","volume":"107","author":"P Malbos","year":"2023","unstructured":"Malbos, P., Ren, I.: Shuffle polygraphic resolutions for operads. J. Lond. Math. Soc. 107(1), 61\u2013122 (2023)","journal-title":"J. Lond. Math. Soc."},{"key":"9710_CR50","unstructured":"Malbos, P., Massacrier, T., Struth, G.: Higher dimensional cubical equations from confluence (2024). (not yet published)"},{"key":"9710_CR51","doi-asserted-by":"crossref","unstructured":"Malbos, P., Massacrier, T., Struth, G.: Single-set cubical categories and their formalisation with a proof assistant (extended version) (2024). arXiv: 2401.10553","DOI":"10.1007\/s10817-024-09710-9"},{"issue":"2","key":"9710_CR52","doi-asserted-by":"publisher","first-page":"309","DOI":"10.4310\/HHA.2009.v11.n2.a15","volume":"11","author":"G Maltsiniotis","year":"2009","unstructured":"Maltsiniotis, G.: La cat\u00e9gorie cubique avec connexions est une cat\u00e9gorie test stricte. Homol. Homotopy Appl. 11(2), 309\u2013326 (2009)","journal-title":"Homol. Homotopy Appl."},{"key":"9710_CR53","unstructured":"Massacrier, T., Struth, G.: Cubical categories. Archive of Formal Proofs, January (2024). https:\/\/isa-afp.org\/entries\/CubicalCategories.html, Formal proof development"},{"key":"9710_CR54","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. Lect. Notes Comput. Sci., vol. 2283. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45949-9"},{"key":"9710_CR55","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modeling concurrency with geometry. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201991, pp. 311\u2013322, New York (1991). Association for Computing Machinery","DOI":"10.1145\/99583.99625"},{"issue":"54","key":"9710_CR56","first-page":"425","volume":"2","author":"J-P Serre","year":"1951","unstructured":"Serre, J.-P.: Homologie singuli\u00e8re des espaces fibr\u00e9s. Appl. Ann. Math. 2(54), 425\u2013505 (1951)","journal-title":"Appl. Ann. Math."},{"key":"9710_CR57","unstructured":"Stark, E.W.: Category theory with adjunctions and limits. Archive Formal Proofs June (2016). https:\/\/isa-afp.org\/entries\/Category3.html, Formal proof development"},{"key":"9710_CR58","unstructured":"Stark, E.W.: Monoidal categories. Archive of Formal Proofs, May (2017). https:\/\/isa-afp.org\/entries\/MonoidalCategory.html, Formal proof development"},{"key":"9710_CR59","unstructured":"Stark, E.W.: Bicategories. Archive of Formal Proofs, January (2020). https:\/\/isa-afp.org\/entries\/Bicategory.html, Formal proof development"},{"issue":"1","key":"9710_CR60","doi-asserted-by":"publisher","first-page":"175","DOI":"10.4310\/HHA.2004.v6.n1.a12","volume":"6","author":"R Steiner","year":"2004","unstructured":"Steiner, R.: Omega-categories and chain complexes. Homol. Homotopy Appl. 6(1), 175\u2013200 (2004)","journal-title":"Homol. Homotopy Appl."},{"key":"9710_CR61","unstructured":"Struth, G.: Catoids, categories, groupoids. Archive of Formal Proofs, August (2023). https:\/\/isa-afp.org\/entries\/Catoids.html, Formal proof development"},{"key":"9710_CR62","unstructured":"Terese. Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"9710_CR63","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0022-4049(92)90136-4","volume":"81","author":"AP Tonks","year":"1992","unstructured":"Tonks, A.P.: Cubical groups which are Kan. J. Pure Appl. Algebra 81(1), 83\u201387 (1992)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9710_CR64","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.tcs.2006.02.012","volume":"356","author":"RJ van Glabbeek","year":"2006","unstructured":"van Glabbeek, R.J.: On the expressiveness of higher dimensional automata. Theoret. Comput. Sci. 356(3), 265\u2013290 (2006)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-024-09710-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-024-09710-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-024-09710-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T07:07:35Z","timestamp":1734160055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-024-09710-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,12]]},"references-count":64,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["9710"],"URL":"https:\/\/doi.org\/10.1007\/s10817-024-09710-9","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2024,9,12]]},"assertion":[{"value":"5 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 September 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"20"}}