{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T09:32:30Z","timestamp":1648719150202},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T00:00:00Z","timestamp":1507852800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s00153-017-0593-0","type":"journal-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T12:49:01Z","timestamp":1507898941000},"page":"577-591","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Bounding quantification in parametric expansions of Presburger arithmetic"],"prefix":"10.1007","volume":"57","author":[{"given":"John","family":"Goodrick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,13]]},"reference":[{"key":"593_CR1","doi-asserted-by":"crossref","unstructured":"Woods, K.: The unreasonable ubiquitousness of quasi-polynomials. Electron. J. Comb. 21(1), #P1.44 (2014)","DOI":"10.37236\/3750"},{"key":"593_CR2","first-page":"616","volume":"254","author":"E Ehrhart","year":"1962","unstructured":"Ehrhart, E.: Sur les poly\u00e8dres rationnels homoth\u00e9tiques \u00e0 n dimensions. Comptes Rendues de l\u2019Acad\u00e9mie des Sciences, Paris 254, 616\u2013618 (1962)","journal-title":"Comptes Rendues de l\u2019Acad\u00e9mie des Sciences, Paris"},{"key":"593_CR3","doi-asserted-by":"crossref","unstructured":"Roune, B.H., Woods, K.: The parametric frobenius problem, Electron. J. Comb. 22 (2015)","DOI":"10.37236\/5112"},{"key":"593_CR4","unstructured":"Goodrick, J., Bogart, T., Woods, K.: Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior, Discr. Anal. (2017)"},{"issue":"6","key":"593_CR5","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/s00200-007-0053-x","volume":"18","author":"A Lasaruk","year":"2007","unstructured":"Lasaruk, A., Sturm, T.: Weak quantifier elimination for the full linear theory of the integers. Appl. Algebr. Eng. Commun. Comput. 18(6), 545\u2013574 (2007)","journal-title":"Appl. Algebr. Eng. Commun. Comput."},{"key":"593_CR6","first-page":"91","volume":"7","author":"DC Cooper","year":"1972","unstructured":"Cooper, D.C.: Theorem proving in arithmetic without multiplication. Mach. Intell. 7, 91\u2013100 (1972)","journal-title":"Mach. Intell."},{"key":"593_CR7","unstructured":"Glivick\u00fd, P.: Study of arithmetical structures and theories with regard to representatives and descriptive analysis. Ph.D. Thesis, Charles University in Prague (2013)"},{"key":"593_CR8","doi-asserted-by":"crossref","unstructured":"Weispfenning, V.: Complexity and uniformity of elimination in Presburger arithmetic. In: Proceedings of the 1997 International Symbosium on Symbolic and Algebraic Computation, pp. 48\u201353. ACM Press (1997)","DOI":"10.1145\/258726.258746"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0593-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0593-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0593-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T21:15:15Z","timestamp":1603142115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0593-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,13]]},"references-count":8,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["593"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0593-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,13]]}}}