{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,23]],"date-time":"2024-11-23T05:46:42Z","timestamp":1732340802470,"version":"3.28.0"},"reference-count":26,"publisher":"Informa UK Limited","issue":"4","license":[{"start":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T00:00:00Z","timestamp":1703116800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Experimental Mathematics"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1080\/10586458.2023.2294827","type":"journal-article","created":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T06:01:23Z","timestamp":1703224883000},"page":"808-816","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["No Eleventh Conditional Ingleton Inequality"],"prefix":"10.1080","volume":"33","author":[{"given":"Tobias","family":"Boege","sequence":"first","affiliation":[{"name":"Department of Mathematics, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2023,12,21]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_2_1","DOI":"10.1109\/Allerton.2012.6483410"},{"doi-asserted-by":"publisher","key":"e_1_3_2_3_1","DOI":"10.1145\/3476446.3536193"},{"doi-asserted-by":"publisher","key":"e_1_3_2_4_1","DOI":"10.4310\/CIS.2001.v1.n3.a1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_5_1","DOI":"10.1016\/S0019-9958(78)91063-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_6_1","DOI":"10.1504\/IJICOT.2017.081456"},{"key":"e_1_3_2_7_1","first-page":"149","volume-title":"Combinatorial Mathematics and its Applications. Proceedings of a Conference held at the Mathematical Institute, Oxford, from 7\u201310 July, 1969","author":"Ingleton A. W.","year":"1971","unstructured":"Ingleton, A. W. (1971). Representation of matroids. In: Dominic, J. A., Welsh, ed. Combinatorial Mathematics and its Applications. Proceedings of a Conference held at the Mathematical Institute, Oxford, from 7\u201310 July, 1969, pp. 149\u2013167."},{"doi-asserted-by":"publisher","key":"e_1_3_2_8_1","DOI":"10.1109\/TIT.2013.2274614"},{"doi-asserted-by":"publisher","key":"e_1_3_2_9_1","DOI":"10.1017\/S0963548300001747"},{"doi-asserted-by":"publisher","key":"e_1_3_2_10_1","DOI":"10.1023\/A:1018957117081"},{"doi-asserted-by":"publisher","key":"e_1_3_2_11_1","DOI":"10.1017\/S0963548399003740"},{"doi-asserted-by":"publisher","key":"e_1_3_2_12_1","DOI":"10.1109\/TIT.2005.860438"},{"doi-asserted-by":"publisher","key":"e_1_3_2_13_1","DOI":"10.1109\/ISIT.2007.4557201"},{"doi-asserted-by":"publisher","key":"e_1_3_2_14_1","DOI":"10.1007\/s10474-018-0799-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_15_1","DOI":"10.1109\/TIT.2016.2601598"},{"doi-asserted-by":"publisher","key":"e_1_3_2_16_1","DOI":"10.1017\/S0963548300001644"},{"key":"e_1_3_2_17_1","first-page":"441","volume-title":"On the decidability of the real exponential fieldKreiseliana: About and Around Georg Kreisel","author":"Macintyre A. J.","year":"1996","unstructured":"Macintyre, A. J., Wilkie, A. J. (1996). On the decidability of the real exponential field. In: Odifreddi, P., ed. Kreiseliana: About and Around Georg Kreisel. Natick, MA: A. K. Peters, pp. 441\u2013467."},{"doi-asserted-by":"publisher","key":"e_1_3_2_18_1","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"doi-asserted-by":"publisher","key":"e_1_3_2_19_1","DOI":"10.1090\/ulect\/008"},{"doi-asserted-by":"publisher","key":"e_1_3_2_20_1","DOI":"10.1109\/TIT.2021.3104250"},{"doi-asserted-by":"publisher","key":"e_1_3_2_21_1","DOI":"10.1090\/gsm\/194"},{"doi-asserted-by":"publisher","key":"e_1_3_2_22_1","DOI":"10.1109\/18.641561"},{"unstructured":"4ti2 team: 4ti2\u2014a software package for algebraic geometric and combinatorial problems on linear spaces. Available at https:\/\/4ti2.github.io. Version 1.6.9.","key":"e_1_3_3_2_1"},{"key":"e_1_3_3_3_1","first-page":"8","volume-title":"Proc. of SAT Race 2019\u2013Solver and Benchmark Descriptions, vol. B-2019-1 of Department of Computer Science Series of Publications B","author":"Biere A.","year":"2019","unstructured":"Biere, A. (2019). CaDiCaL at the SAT Race 2019. In: Heule, M., J\u00e4rvisalo, M., Suda, M., eds. Proc. of SAT Race 2019\u2013Solver and Benchmark Descriptions, vol. B-2019-1 of Department of Computer Science Series of Publications B, pp. 8\u20139. University of Helsinki. Available at https:\/\/github.com\/arminbiere\/cadical. Version 1.3.1."},{"unstructured":"Bruns W. Ichim B. S\u00f6ger C. von der Ohe U. Normaliz. Algorithms for rational cones and affine monoids. Available at https:\/\/www.normaliz.uni-osnabrueck.de. Version 3.8.4.","key":"e_1_3_3_4_1"},{"unstructured":"Grayson D. R. Stillman M. E. Macaulay2 a software system for research in algebraic geometry. Available at https:\/\/www.math.uiuc.edu\/Macaulay2\/. Version 1.16.","key":"e_1_3_3_5_1"},{"unstructured":"Wolfram Research Inc.: Mathematica. Champaign IL 2018. Version 11.3.","key":"e_1_3_3_6_1"}],"container-title":["Experimental Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10586458.2023.2294827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T20:31:39Z","timestamp":1732307499000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10586458.2023.2294827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,21]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10.1080\/10586458.2023.2294827"],"URL":"https:\/\/doi.org\/10.1080\/10586458.2023.2294827","relation":{},"ISSN":["1058-6458","1944-950X"],"issn-type":[{"type":"print","value":"1058-6458"},{"type":"electronic","value":"1944-950X"}],"subject":[],"published":{"date-parts":[[2023,12,21]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uexm20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uexm20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-12-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}