{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T00:54:43Z","timestamp":1777424083603,"version":"3.51.4"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T00:00:00Z","timestamp":1504828800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s10817-017-9422-8","type":"journal-article","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T19:09:49Z","timestamp":1505156989000},"page":"1-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq"],"prefix":"10.1007","volume":"62","author":[{"given":"Pierre","family":"Boutry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charly","family":"Gries","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Narboux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Schreck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,8]]},"reference":[{"key":"9422_CR1","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1017\/S1755020309990098","volume":"2","author":"J Avigad","year":"2009","unstructured":"Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid\u2019s elements. Rev. Symb. Log. 2, 700\u2013768 (2009)","journal-title":"Rev. Symb. Log."},{"key":"9422_CR2","unstructured":"Amiot, A.: El\u00e9ments de g\u00e9om\u00e9trie [texte imprim\u00e9]: r\u00e9dig\u00e9s d\u2019apr\u00e8s le nouveau programme de l\u2019enseignement scientifique des lyc\u00e9es; suivis d\u2019un compl\u00e9ment \u00e0 l\u2019usage des \u00e9l\u00e8ves de math\u00e9matiques sp\u00e9ciales (1870)"},{"key":"9422_CR3","first-page":"52","volume":"32","author":"D Amira","year":"1933","unstructured":"Amira, D.: Sur l\u2019axiome de droites parall\u00e8les. L\u2019Enseign. Math. 32, 52\u201357 (1933)","journal-title":"L\u2019Enseign. Math."},{"issue":"1","key":"9422_CR4","first-page":"11","volume":"36","author":"J Alama","year":"2016","unstructured":"Alama, J., Pambuccian, V.: From absolute to affine geometry in terms of point-reflections, midpoints, and collinearity. Note di Mat. 36(1), 11\u201324 (2016)","journal-title":"Note di Mat."},{"key":"9422_CR5","doi-asserted-by":"crossref","unstructured":"Bachmann, F.: Zur Parallelenfrage. In: Cort\u00e9s, V., Richter, B. (eds.) Abhandlungen aus dem Mathematischen Seminar der Universit\u00e4t Hamburg, vol.\u00a027, pp. 173\u2013192. Springer, Berlin (1964)","DOI":"10.1007\/BF02993215"},{"key":"9422_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-65537-1","volume-title":"Aufbau der Geometrie aus dem Spiegelungsbegriff. Grundlehren der mathematischen Wissenschaften","author":"F Bachmann","year":"1973","unstructured":"Bachmann, F.: Aufbau der Geometrie aus dem Spiegelungsbegriff. Grundlehren der mathematischen Wissenschaften. Springer, Berlin (1973)"},{"issue":"1","key":"9422_CR7","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1017\/bsl.2015.6","volume":"21","author":"M Beeson","year":"2015","unstructured":"Beeson, M., Boutry, P., Narboux, J.: Herbrand\u2019s theorem and non-Euclidean geometry. Bull. Symb. Log. 21(1), 111\u2013122 (2015)","journal-title":"Bull. Symb. Log."},{"key":"9422_CR8","unstructured":"Boutry, P., Braun, G., Narboux, J.: From Tarski to Descartes: formalization of the arithmetization of Euclidean geometry. In: The 7th International Symposium on Symbolic Computation in Software (SCSS 2016), EasyChair Proceedings in Computing, Tokyo, Japan, pp.\u00a015 (March 2016)"},{"key":"9422_CR9","unstructured":"Braun, G., Boutry, P., Narboux, J.: From Hilbert to Tarski. In: Eleventh International Workshop on Automated Deduction in Geometry, Proceedings of ADG 2016, Strasbourg, France, p.\u00a019 (2016)"},{"issue":"11","key":"9422_CR10","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1016\/j.apal.2015.07.006","volume":"166","author":"M Beeson","year":"2015","unstructured":"Beeson, M.: A constructive version of Tarski\u2019s geometry. Ann. Pure Appl. Log. 166(11), 1199\u20131273 (2015)","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"9422_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/bsl.2015.41","volume":"22","author":"M Beeson","year":"2016","unstructured":"Beeson, M.: Constructive geometry and the parallel postulate. Bull. Symb. Log. 22(1), 1\u2013104 (2016)","journal-title":"Bull. Symb. Log."},{"key":"9422_CR12","doi-asserted-by":"crossref","unstructured":"Beeson, M.: Brouwer and Euclid. Indagationes Mathematicae. To appear in a special issue devoted to Brouwer (2017)","DOI":"10.1016\/j.indag.2017.06.002"},{"issue":"1","key":"9422_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1002\/malq.19930390137","volume":"39","author":"JL Bell","year":"1993","unstructured":"Bell, J.L.: Hilbert\u2019s $$\\epsilon $$ \u03f5 -operator in intuitionistic type theories. Math. Log. Q. 39(1), 323\u2013337 (1993)","journal-title":"Math. Log. Q."},{"key":"9422_CR14","doi-asserted-by":"publisher","first-page":"329","DOI":"10.2307\/1968336","volume":"33","author":"GD Birkhoff","year":"1932","unstructured":"Birkhoff, G.D.: A set of postulates for plane geometry (based on scale and protractors). Ann. Math. 33, 329\u2013345 (1932)","journal-title":"Ann. Math."},{"key":"9422_CR15","unstructured":"Braun, D., Magaud, N.: Des preuves formelles en Coq du th\u00e9or\u00e8me de Thal\u00e8s pour les cercles. In: Baelde, D., Alglave, J. (eds.) Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015), Le Val d\u2019Ajol, France (2015)"},{"key":"9422_CR16","first-page":"89","volume-title":"Post-proceedings of Automated Deduction in Geometry 2012. LNCS","author":"G Braun","year":"2012","unstructured":"Braun, G., Narboux, J.: From Tarski to Hilbert. In: Ida, T., Fleuriot, J. (eds.) Post-proceedings of Automated Deduction in Geometry 2012. LNCS, vol. 7993, pp. 89\u2013109. Springer, Edinburgh (2012)"},{"issue":"2","key":"9422_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s10817-016-9374-4","volume":"58","author":"G Braun","year":"2017","unstructured":"Braun, G., Narboux, J.: A synthetic proof of Pappus\u2019 theorem in Tarski\u2019s geometry. J. Autom. Reason. 58(2), 23 (2017)","journal-title":"J. Autom. Reason."},{"key":"9422_CR18","unstructured":"Boutry, P., Narboux, J., Schreck, P., Braun, G.: A short note about case distinctions in Tarski\u2019s geometry. In: Botana, F., Quaresma, P. (eds.) Proceedings of the 10th International Workshop on Automated Deduction in Geometry, Volume TR 2014\/01 of Proceedings of ADG 2014, pp. 51\u201365. University of Coimbra, Coimbra (2014)"},{"key":"9422_CR19","unstructured":"Boutry, P., Narboux, J., Schreck, P., Braun, G.: Using small scale automation to improve both accessibility and readability of formal proofs in geometry. In: Botana, F., Quaresma, P. (eds.) Proceedings of the 10th International Workshop on Automated Deduction in Geometry, Volume TR 2014\/01 of Proceedings of ADG 2014, pp. 31\u201349. University of Coimbra, Coimbra (2014)"},{"key":"9422_CR20","volume-title":"Non-Euclidean Geometry: A Critical and Historical Study of Its Development","author":"R Bonola","year":"1955","unstructured":"Bonola, R.: Non-Euclidean Geometry: A Critical and Historical Study of Its Development. Courier Corporation, North Chelmsford (1955)"},{"key":"9422_CR21","volume-title":"Foundations of Geometry","author":"K Borsuk","year":"1960","unstructured":"Borsuk, K., Szmielew, W.: Foundations of Geometry. North-Holland, Amsterdam (1960)"},{"key":"9422_CR22","volume-title":"A History of Elementary Mathematics","author":"F Cajori","year":"1898","unstructured":"Cajori, F.: A History of Elementary Mathematics. Macmillan, London (1898)"},{"issue":"1:02","key":"9422_CR23","first-page":"1","volume":"8","author":"C Cohen","year":"2012","unstructured":"Cohen, C., Mahboubi, A.: Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Log. Methods Comput. Sci. 8(1:02), 1\u201340 (2012)","journal-title":"Log. Methods Comput. Sci."},{"key":"9422_CR24","doi-asserted-by":"crossref","DOI":"10.5948\/9781614445166","volume-title":"Non-Euclidean Geometry","author":"HSM Coxeter","year":"1998","unstructured":"Coxeter, H.S.M.: Non-Euclidean Geometry. Cambridge University Press, Cambridge (1998)"},{"key":"9422_CR25","doi-asserted-by":"crossref","unstructured":"Dehlinger, C., Dufourd, J.-F., Schreck, P.: Higher-order intuitionistic formalization and proofs in Hilbert\u2019s elementary geometry. In: Richter-Gebe, J., Wang, D. (eds.) Automated Deduction in Geometry, Lectures Notes in Computer Science, vol. 2061, pp. 306\u2013324 (2001)","DOI":"10.1007\/3-540-45410-1_17"},{"issue":"3","key":"9422_CR26","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/BF01448980","volume":"53","author":"M Dehn","year":"1900","unstructured":"Dehn, M.: Die Legendre\u2019schen S\u00e4tze \u00fcber die Winkelsumme im Dreieck. Math. Ann. 53(3), 404\u2013439 (1900)","journal-title":"Math. Ann."},{"key":"9422_CR27","unstructured":"Duprat, J.: Fondements de g\u00e9om\u00e9trie euclidienne. https:\/\/hal.inria.fr\/hal-00661537 (2010)"},{"key":"9422_CR28","volume-title":"Euclid\u2019s Elements: All Thirteen Books Complete in One Volume: The Thomas L. Heath Translation","author":"Euclid","year":"2002","unstructured":"Euclid, Heath, T.L., Densmore, D.: Euclid\u2019s Elements: All Thirteen Books Complete in One Volume: The Thomas L. Heath Translation. Green Lion Press, Santa Fe (2002)"},{"key":"9422_CR29","volume-title":"Briefwechsel zwischen Carl Friedrich Gauss und Wolfgang Bolyai","author":"C Friedrich","year":"1899","unstructured":"Friedrich, C., Bolyai, F.: Briefwechsel zwischen Carl Friedrich Gauss und Wolfgang Bolyai. BG Teubner, Leipzig (1899)"},{"key":"9422_CR30","unstructured":"Gries, C., Boutry, P., Narboux, J.: Somme des angles d\u2019un triangle et unicit\u00e9 de la parall\u00e8le: une preuve d\u2019\u00e9quivalence formalis\u00e9e en Coq. In: Les vingt-septi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2016)"},{"key":"9422_CR31","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, B, Pottier, L., Th\u00e9ry, L.: Proof certificates for algebra and their application to automatic geometry theorem proving. In: Sturm, T., Zengler, C. (eds.) Post-proceedings of Automated Deduction in Geometry (ADG 2008). Number 6701 in Lecture Notes in Artificial Intelligence (2011)","DOI":"10.1007\/978-3-642-21046-4_3"},{"issue":"1","key":"9422_CR32","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01230603","volume":"33","author":"MJ Greenberg","year":"1988","unstructured":"Greenberg, M.J.: Aristotle\u2019s axiom in the foundations of geometry. J. Geom. 33(1), 53\u201357 (1988)","journal-title":"J. Geom."},{"key":"9422_CR33","volume-title":"Euclidean and Non-Euclidean Geometries\u2014Development and History","author":"MJ Greenberg","year":"1993","unstructured":"Greenberg, M.J.: Euclidean and Non-Euclidean Geometries\u2014Development and History. Macmillan, London (1993)"},{"issue":"3","key":"9422_CR34","doi-asserted-by":"publisher","first-page":"198","DOI":"10.4169\/000298910x480063","volume":"117","author":"MJ Greenberg","year":"2010","unstructured":"Greenberg, M.J.: Old and new results in the foundations of elementary plane Euclidean and non-Euclidean geometries. Am. Math. Mon. 117(3), 198\u2013219 (2010)","journal-title":"Am. Math. Mon."},{"key":"9422_CR35","unstructured":"Gupta, H.N.: Contributions to the axiomatic foundations of geometry. PhD thesis, University of California, Berkley (1965)"},{"key":"9422_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-22676-7","volume-title":"Geometry: Euclid and Beyond, Undergraduate Texts in Mathematics","author":"R Hartshorne","year":"2000","unstructured":"Hartshorne, R.: Geometry: Euclid and Beyond, Undergraduate Texts in Mathematics. Springer, Berlin (2000)"},{"key":"9422_CR37","unstructured":"Hilbert, D.: Foundations of Geometry (Grundlagen der Geometrie). Open Court, La Salle, Illinois, 1960. Second English edition, translated from the tenth German edition by Leo Unger. Original publication date (1899)"},{"key":"9422_CR38","volume-title":"Mathematical Thought from Ancient to Modern Times","author":"M Kline","year":"1990","unstructured":"Kline, M.: Mathematical Thought from Ancient to Modern Times, vol. 3. Oxford University Press, Oxford (1990)"},{"key":"9422_CR39","unstructured":"Klugel, G.S.: Conatuum praecipuorum theoriam parallelarum demonstrandi recensio. PhD thesis, Schultz, G\u00f6ttingen (1763). German translation available http:\/\/www2.math.uni-wuppertal.de\/~volkert\/versuch.html"},{"key":"9422_CR40","unstructured":"Legendre, A.M.: R\u00e9flexions sur diff\u00e9rentes mani\u00e8res de d\u00e9montrer la th\u00e9orie des parall\u00e8les ou le th\u00e9or\u00e8me sur la somme des trois angles du triangle. M\u00e9moires de l\u2019Acad\u00e9mie royale des sciences de l\u2019Institut de France, XII: pp. 367\u2013410 (1833)"},{"issue":"1","key":"9422_CR41","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2973238","volume":"27","author":"FP Lewis","year":"1920","unstructured":"Lewis, F.P.: History of the parallel postulate. Am. Math. Mon. 27(1), 16\u201323 (1920)","journal-title":"Am. Math. Mon."},{"key":"9422_CR42","volume-title":"Mathematical Expeditions: Chronicles by the Explorers","author":"R Laubenbacher","year":"2013","unstructured":"Laubenbacher, R., Pengelley, D.: Mathematical Expeditions: Chronicles by the Explorers. Springer, Berlin (2013)"},{"key":"9422_CR43","unstructured":"Makarios, T.J.M.: A mechanical verification of the independence of Tarski\u2019s Euclidean axiom. Master\u2019s thesis, Victoria University of Wellington (2012)"},{"key":"9422_CR44","volume-title":"The Foundations of Geometry and the Non-Euclidean Plane. Undergraduate Texts in Mathematics","author":"GE Martin","year":"1998","unstructured":"Martin, G.E.: The Foundations of Geometry and the Non-Euclidean Plane. Undergraduate Texts in Mathematics. Springer, Berlin (1998)"},{"key":"9422_CR45","volume-title":"Geometry, A Metric Approach with Models","author":"RS Millman","year":"1981","unstructured":"Millman, R.S., Parker, G.D.: Geometry, A Metric Approach with Models. Springer, Berlin (1981)"},{"key":"9422_CR46","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s10472-014-9436-4","volume":"74","author":"F Mari\u0107","year":"2014","unstructured":"Mari\u0107, F., Petrovi\u0107, D.: Formalizing complex plane geometry. Ann. Math. Artif. Intell. 74, 271\u2013308 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9422_CR47","series-title":"LNCS","first-page":"139","volume-title":"Post-Proceedings of Automated Deduction in Geometry 2006","author":"J Narboux","year":"2007","unstructured":"Narboux, J.: Mechanical theorem proving in Tarski\u2019s geometry. In: Botana, F., Lozano, E.R. (eds.) Post-Proceedings of Automated Deduction in Geometry 2006. LNCS, vol. 4869, pp. 139\u2013156. Springer, Pontevedra (2007)"},{"issue":"1\u20132","key":"9422_CR48","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF01226859","volume":"51","author":"V Pambuccian","year":"1994","unstructured":"Pambuccian, V.: Zum Stufenaufbau des Parallelenaxioms. J. Geom. 51(1\u20132), 79\u201388 (1994)","journal-title":"J. Geom."},{"key":"9422_CR49","doi-asserted-by":"publisher","unstructured":"Pambuccian, V.: Axiomatizations of hyperbolic and absolute geometries. In: Pr\u00e9kopa, A., Moln\u00e1r, E. (eds.) Non-Euclidean Geometries, vol. 581, pp. 119\u2013153. Springer, Berlin (2006). doi: 10.1007\/0-387-29555-0","DOI":"10.1007\/0-387-29555-0"},{"issue":"1\u20132","key":"9422_CR50","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s00022-009-0018-2","volume":"95","author":"V Pambuccian","year":"2009","unstructured":"Pambuccian, V.: On the equivalence of Lagrange\u2019s axiom to the Lotschnittaxiom. J. Geom. 95(1\u20132), 165\u2013171 (2009)","journal-title":"J. Geom."},{"issue":"1","key":"9422_CR51","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s13366-016-0307-5","volume":"58","author":"V Pambuccian","year":"2017","unstructured":"Pambuccian, V.: Another equivalent of the Lotschnittaxiom. Beitr\u00e4ge zur Algebra und Geometrie\/Contrib. Algebra Geom. 58(1), 167\u2013170 (2017)","journal-title":"Beitr\u00e4ge zur Algebra und Geometrie\/Contrib. Algebra Geom."},{"key":"9422_CR52","volume-title":"Master Class in Geometry. Notes on Non-Euclidean Geometry, Chapter 1","author":"A Papadopoulos","year":"2012","unstructured":"Papadopoulos, A.: Master Class in Geometry. Notes on Non-Euclidean Geometry, Chapter 1. European Mathematical Society, Zurich (2012)"},{"key":"9422_CR53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-65611-8","volume-title":"Vorlesungen \u00fcber neuere Geometrie","author":"M Pasch","year":"1976","unstructured":"Pasch, M.: Vorlesungen \u00fcber neuere Geometrie. Springer, Berlin (1976)"},{"issue":"3","key":"9422_CR54","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/BF01342979","volume":"143","author":"W Pejas","year":"1961","unstructured":"Pejas, W.: Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie. Math. Ann. 143(3), 212\u2013235 (1961)","journal-title":"Math. Ann."},{"key":"9422_CR55","first-page":"761","volume":"9","author":"Z Piesyk","year":"1961","unstructured":"Piesyk, Z.: The existential and universal statements on parallels. Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys. 9, 761\u2013764 (1961)","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"9422_CR56","unstructured":"Rothe, F.: Several Topics from Geometry (2014). http:\/\/math2.uncc.edu\/~frothe\/3181all.pdf"},{"key":"9422_CR57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69418-9","volume-title":"Metamathematische Methoden in der Geometrie","author":"W Schwabh\u00e4user","year":"1983","unstructured":"Schwabh\u00e4user, W., Szmielew, W., Tarski, A.: Metamathematische Methoden in der Geometrie. Springer, Berlin (1983)"},{"key":"9422_CR58","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/S0049-237X(09)70018-7","volume":"27","author":"W Szmielew","year":"1959","unstructured":"Szmielew, W.: Some metamathematical problems concerning elementary hyperbolic geometry. Stud. Log. Found. Math. 27, 30\u201352 (1959)","journal-title":"Stud. Log. Found. Math."},{"issue":"2","key":"9422_CR59","doi-asserted-by":"publisher","first-page":"129","DOI":"10.4064\/fm-50-2-129-158","volume":"50","author":"W Szmielew","year":"1961","unstructured":"Szmielew, W.: A new analytic approach to hyperbolic geometry. Fundam. Math. 50(2), 129\u2013158 (1961)","journal-title":"Fundam. Math."},{"key":"9422_CR60","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A Tarski","year":"1951","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley (1951)"},{"issue":"2","key":"9422_CR61","doi-asserted-by":"publisher","first-page":"175","DOI":"10.2307\/421089","volume":"5","author":"A Tarski","year":"1999","unstructured":"Tarski, A., Givant, S.: Tarski\u2019s system of geometry. Bull. Symb. Log. 5(2), 175\u2013214 (1999)","journal-title":"Bull. Symb. Log."},{"key":"9422_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4783-4","volume-title":"The Non-Euclidean Revolution","author":"RJ Trudeau","year":"1986","unstructured":"Trudeau, R.J.: The Non-Euclidean Revolution. Springer, Berlin (1986)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-017-9422-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-017-9422-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-017-9422-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T17:36:25Z","timestamp":1659461785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-017-9422-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,8]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["9422"],"URL":"https:\/\/doi.org\/10.1007\/s10817-017-9422-8","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,8]]},"assertion":[{"value":"17 July 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 July 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}