{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:41:05Z","timestamp":1777657265113,"version":"3.51.4"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T00:00:00Z","timestamp":1427587200000},"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":[[2015,6]]},"DOI":"10.1007\/s10817-015-9326-4","type":"journal-article","created":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T01:54:06Z","timestamp":1427594046000},"page":"39-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":84,"title":["Automated Theorem Proving in GeoGebra: Current Achievements"],"prefix":"10.1007","volume":"55","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Hohenwarter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Predrag","family":"Jani\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Petrovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Recio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Weitzhofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,29]]},"reference":[{"issue":"4","key":"9326_CR1","doi-asserted-by":"crossref","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(4), 700\u2013768 (2009)","journal-title":"Rev. Symb. Log."},{"key":"9326_CR2","volume-title":"Cabri Geometry II","author":"Y Baulac","year":"1994","unstructured":"Baulac, Y., Bellemain, F., Laborde, J.M.: Cabri Geometry II. Dallas, Texas Instruments (1994)"},{"key":"9326_CR3","unstructured":"Bernat, P.: Using dynamic geometry environments for problem solving: CHYPRE: an interactive environment for elementary geometry problem solving. Abstract of a presentation at The 8th International Congress on Math Education (ICME 8). Retrieved 06.08.13, from, http:\/\/mathforum.org\/mathed\/seville\/bernat\/abst\u2216_bernat.html . Seville (1996)"},{"key":"9326_CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.entcs.2004.09.013","volume":"103","author":"Y Bertot","year":"2004","unstructured":"Bertot, Y., Guilhot, F., Pottier, L.: Visualizing geometrical statements with GeoView. Electr. Notes Theor. Comput. Sci. 103, 49\u201365 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9326_CR5","unstructured":"Botana F., Kov\u00e1cs, Z., Recio, T., Weitzhofer, S.: Implementing theorem proving in GeoGebra by using a Singular webservice, or by exact check of a statement in a bounded number of test cases, http:\/\/ggb1.idm.jku.at\/\u223ckovzol\/talks\/eaca12\/EACA2012-BotanaKovacsRecioWeitzhofer.pdf (2012)"},{"key":"9326_CR6","unstructured":"Botana, F., Kov\u00e1cs, Z., Weitzhofer, S.: Implementing theorem proving in GeoGebra by using a Singular webservice. In: Proceedings EACA 2012. Libro de Res\u00famenes del XIII Encuentro de \u00c1lgebra Computacional y Aplicaciones, pp 67\u201370. Alcal\u00e1 de Hen\u00e1res, Universidad de Alcal\u00e1 (2012)"},{"key":"9326_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0360-1315(01)00089-6","volume":"38","author":"F Botana","year":"2002","unstructured":"Botana, F., Valcarce, J.: A dynamic symbolic interface for geometric theorem discovery. Comput. Educ. 38, 21\u201335 (2002)","journal-title":"Comput. Educ."},{"key":"9326_CR8","doi-asserted-by":"crossref","unstructured":"Buchberger, B. In: Rice, J.R. (ed.) : Applications of Gr\u00f6bner Bases in Non-Linear Computational Geometry, pp 59\u201387. Springer, New York (1987)","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"9326_CR9","volume-title":"Mechanical Geometry Theorem Proving","author":"SC Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht (1988)"},{"key":"9326_CR10","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated production of traditional proofs for constructive geometry theorems. In: Vardi, M. (ed.) Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (LICS), pp 48\u201356. IEEE Computer Society Press (1993)","DOI":"10.1109\/LICS.1993.287601"},{"key":"9326_CR11","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"SC Chou","year":"1994","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)"},{"key":"9326_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF00283134","volume":"17","author":"SC Chou","year":"1996","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.-Z.: Automated generation of readable proofs with geometric invariants (II). Theorem proving with full-angles. J. Autom. Reason. 17, 349\u2013370 (1996)","journal-title":"J. Autom. Reason."},{"key":"9326_CR13","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: An introduction to Geometry Expert. In: McRobbie, M. A., Slaney, J. K. (eds.) CADE 13, volume 1104 of Lecture Notes in Artificial Intelligence. Springer-Verlag (1996)","DOI":"10.1007\/3-540-61511-3_86"},{"key":"9326_CR14","doi-asserted-by":"crossref","unstructured":"Chou S.C., Gao X.S.: Automated reasoning in geometry. In: Handbook of Automated Reasoning. Elsevier, and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50013-8"},{"key":"9326_CR15","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF00248249","volume":"2","author":"H Coelho","year":"1986","unstructured":"Coelho, H., Moniz-Pereira, M.: Automated reasoning in geometry theorem proving with Prolog (1986). J. Autom. Reason. 2, 329\u2013390 (1986)","journal-title":"J. Autom. Reason."},{"key":"9326_CR16","unstructured":"CoCoATeam: CoCoA: A system for doing Computations in Commutative Algebra. Retrieved 02.09.13, from http:\/\/cocoa.dima.unige.it (2012)"},{"key":"9326_CR17","volume-title":"Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics)","author":"D Cox","year":"2008","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics). Springer-Verlag, Secaucus, NJ (2008)"},{"key":"9326_CR18","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-6 \u2014 A Computer Algebra System for Polynomial Computations. Retrieved 02.09.13, from, http:\/\/www.singular.uni-kl.de (2012)"},{"key":"9326_CR19","unstructured":"Desfontaines, D.: Theorem proving in GeoGebra: Implementing the Area Method into OpenGeoProver (Internship report). Retrieved 02.02.13, from, http:\/\/www.eleves.ens.fr\/home\/desfonta\/InternshipReport-v2.pdf (2012)"},{"key":"9326_CR20","unstructured":"DeVilliers, M.: Rethinking Proof with Sketchpad. Key Curriculum Press. Retrieved 02.02.13, from, http:\/\/mzone.mweb.co.za\/residents\/profmd\/proof.pdf (1999)"},{"key":"9326_CR21","doi-asserted-by":"crossref","unstructured":"Gao, X.S., Lin, Q.: MMP\/Geometer a software package for automated geometric reasoning. In: Winkler, F. (ed.) Automated Deduction in Geometry: 4th International Workshop, (ADG 2002), volume 2930 of Lecture Notes in Computer Science, 44\u201366. Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-24616-9_4"},{"key":"9326_CR22","unstructured":"Gelernter, H.: Realisation of a geometry-proving machine. In: Proceedings of the International Conference on Information Processing, 273\u2013282, Paris, vol. 15-20, p 1959 (1959)"},{"key":"9326_CR23","unstructured":"Gressier, J.: Geometrix IV. Retrieved 06.08.13, from, http:\/\/geometrix.free.fr (2013)"},{"key":"9326_CR24","unstructured":"Hanna, G., Jahnke, H.N.: Proofs and proving. In: A.J. Bishop A.J., Clements K., Keitel C., Kilpatrick J., Laborde C. (eds.) International Handbook of Mathematics Education, Part Two, pp 877\u2013908. Kluwer Academic Publishers, Dordrecht (1996)"},{"issue":"2","key":"9326_CR25","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF03338846","volume":"18","author":"G Hanna","year":"1997","unstructured":"Hanna, G.: The ongoing value of proof. J. Math. Didaktik 18(2), 171\u2013185 (1997)","journal-title":"J. Math. Didaktik"},{"key":"9326_CR26","volume-title":"Ein Softwaresystem f\u00fcr dynamische Geometrie und Algebra der Ebene, master thesis","author":"M Hohenwarter","year":"2002","unstructured":"Hohenwarter, M.: Ein Softwaresystem f\u00fcr dynamische Geometrie und Algebra der Ebene, master thesis. Paris Lodron University, Salzburg (2002)"},{"key":"9326_CR27","doi-asserted-by":"crossref","first-page":"1283","DOI":"10.1016\/j.compedu.2007.12.004","volume":"51","author":"S Isotani","year":"2008","unstructured":"Isotani, S., Brand\u00e3o, L. O.: An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom. Comput. Educ. 51, 1283\u20131303 (2008)","journal-title":"Comput. Educ."},{"key":"9326_CR28","volume-title":"The Geometer\u2019s Sketchpad, v3.0","author":"NR Jackiw","year":"1995","unstructured":"Jackiw, N.R.: The Geometer\u2019s Sketchpad, v3.0. Key Curriculum Press, Berkeley, CA (1995)"},{"issue":"1-2","key":"9326_CR29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P Jani\u010di\u0107","year":"2010","unstructured":"Jani\u010di\u0107, P.: Geometry constructions language. J. Autom. Reason. 44(1-2), 3\u201324 (2010)","journal-title":"J. Autom. Reason."},{"issue":"4","key":"9326_CR30","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10817-010-9209-7","volume":"48","author":"P Jani\u010di\u0107","year":"2012","unstructured":"Jani\u010di\u0107, P., Narboux, J., Quaresma, P.: The area method: a recapitulation. J. Autom. Reason. 48(4), 489\u2013532 (2012)","journal-title":"J. Autom. Reason."},{"issue":"4","key":"9326_CR31","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. J. Symb. Comput. 2(4), 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"9326_CR32","volume-title":"Foundations of Dynamic Geometry","author":"U Kortenkamp","year":"1999","unstructured":"Kortenkamp, U.: Foundations of Dynamic Geometry. Ph.D. Dissertation, ETH, Zurich (1999)"},{"key":"9326_CR33","unstructured":"Kortenkamp, U., Richter-Gebert, J.: Using automatic theorem proving to improve the usability of geometry software. In: Workshop on Mathematical User Interfaces (2004)"},{"key":"9326_CR34","unstructured":"Kov\u00e1cs, Z., Recio, T., Weitzhofer, S.: Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases. In: Proceedings EACA 2012. Libro de Res\u00famenes del XIII Encuentro de \u00c1lgebra Computacional y Aplicaciones, pp 123\u2013126. Alcal\u00e1 de Hen\u00e1res, Universidad de Alcal\u00e1 (2012)"},{"key":"9326_CR35","unstructured":"Kov\u00e1cs, Z., Weitzhofer, S., Desfontaines, D., Jani\u010di\u0107, P.: Test cases for benchmarking statements. Retrieved 11.09.12, from, https:\/\/dev.geogebra.org\/trac\/browser\/trunk\/geogebra\/test\/scripts\/benchmark\/prover (2012)"},{"key":"9326_CR36","unstructured":"Kov\u00e1cs, Z., Parisse, B.: Giac and GeoGebra \u2014 improved Gr\u00f6bner basis computations, Special Semester on Applications of Algebra and Number Theory, Workshop 3 on Computer Algebra and Polynomials. Retrieved 18.10.14, from, https:\/\/www.ricam.oeaw.ac.at\/specsem\/specsem2013\/workshop3\/slides\/parisse-kovacs.pdf (2013)"},{"key":"9326_CR37","unstructured":"Kov\u00e1cs, Z.: Prover benchmark for GeoGebra 5.0.14.0. Retrieved 10.09.14, from, http:\/\/test.geogebra.org\/\u223ckovzol\/data\/Prove-20150219\/ (2014)"},{"key":"9326_CR38","volume-title":"Cabri-Euclide: Un micromonde de Preuve int\u00e9grant la r\u00e9futation, PhD thesis","author":"V Luengo","year":"1997","unstructured":"Luengo, V.: Cabri-Euclide: Un micromonde de Preuve int\u00e9grant la r\u00e9futation, PhD thesis. Universit\u00e9 Joseph Fourier, Grenoble (1997)"},{"key":"9326_CR39","unstructured":"Magajna, Z.: An observation tool as an aid for building proofs. Electronic J. of Mathematics and Technology 5\/3. Retrieved 02.02.13, from, http:\/\/www.freepatentsonline.com\/article\/Electronic-Journal-Mathematics-Technology\/270980194.html http:\/\/www.freepatentsonline.com\/article\/Electronic-Journal-Mathematics-Technology\/270980194.html (2011)"},{"key":"9326_CR40","doi-asserted-by":"crossref","first-page":"63","DOI":"10.4204\/EPTCS.79.4","volume":"79","author":"F Mari\u0107","year":"2011","unstructured":"Mari\u0107, F., Petrovi\u0107, I., Petrovi\u0107, D., Jani\u010di\u0107, P.: Formalization and implementation of algebraic methods in geometry. Electron. Proc. Theor. Comput. Sci. 79, 63\u201381 (2011)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"issue":"2","key":"9326_CR41","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10817-007-9071-4","volume":"39","author":"J Narboux","year":"2007","unstructured":"Narboux, J.: A graphical user interface for formal proofs in geometry. J. Autom. Reason. 39(2), 161\u2013180 (2007)","journal-title":"J. Autom. Reason."},{"key":"9326_CR42","unstructured":"Narboux, J.: Geoproof, a user interface for formal proofs in geometry. In: Mathematical User-Interfaces Workshop, Schloss Hagenberg, Linz, Austria. Electronic proceedings at http:\/\/www.activemath.org\/workshops\/MathUI\/07\/proceedings\/Narboux-Geoproof-MathUI07.html (2007)"},{"key":"9326_CR43","doi-asserted-by":"crossref","unstructured":"Nikoli\u0107, M., Mari\u0107, F., Jani\u010di\u0107, P.: Instance-based selection of policies for SAT Solvers. In: Theory and Applications of Satisfiability Testing \u2013 SAT 2009, volume 5584 of Lecture Notes in Computer Science, pp 326\u2013340. Springer-Verlag (2009)","DOI":"10.1007\/978-3-642-02777-2_31"},{"issue":"2","key":"9326_CR44","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.entcs.2006.09.020","volume":"174","author":"P Quaresma","year":"2007","unstructured":"Quaresma, P., Jani\u010di\u0107, P.: GeoThms \u2014 a web system for euclidean constructive geometry. Electron. Notes Theor. Comput. Sci. (ENTCS) 174(2), 35\u201348 (2007). 10.1016\/j.entcs.2006.09.020","journal-title":"Electron. Notes Theor. Comput. Sci. (ENTCS)"},{"key":"9326_CR45","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"9326_CR46","volume-title":"The Geometric Supposer","author":"JL Schwartz","year":"1983","unstructured":"Schwartz, J. L., Yerushalmy, M.: The Geometric Supposer. Sunburst Communications, Pleasantville, NY (1983)"},{"key":"9326_CR47","unstructured":"Sutherland, I.E.: Sketchpad: A Man-Machine Graphical Communication System, Lincoln Laboratory, Massachusetts Institute of Technology via Defense Technical Information Center, Technical Report No. 296. Lexington, MA. Retrieved 02.02.13, from, http:\/\/handle.dtic.mil\/100.2\/AD404549 (1963)"},{"key":"9326_CR48","unstructured":"Tall, D.: Cognitive development, representations and proof. In: Proceedings of the conference Justifying and Proving in School Mathematics, pp 27\u201338. Institute of Education, London (1995)"},{"key":"9326_CR49","unstructured":"The GeoGebra Team: Reference: Command Line Arguments \u2014 GeoGebraWiki (2015) [ http:\/\/wiki.geogebra.org\/en\/Reference:Command_Line_Arguments ]"},{"key":"9326_CR50","doi-asserted-by":"crossref","unstructured":"Wang, D.: Geother 1.1: Handling and proving geometric theorems automatically. In: Automated Deduction in Geometry, volume 2930 of Lecture Notes in Artificial Intelligence, pp 194\u2013215. Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-24616-9_12"},{"key":"9326_CR51","doi-asserted-by":"crossref","unstructured":"Wang, D.: Elimination Practice: Software Tools and Applications. London: Imperial College Press. Geother 1.1: Handling and proving geometric theorems automatically. In: Automated Deduction in Geometry, volume 2930 of Lecture Notes in Artificial Intelligence, pp 194\u2013215. Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-24616-9_12"},{"key":"9326_CR52","volume-title":"Mechanic Proving of Theorems in Plane Geometry","author":"S Weitzhofer","year":"2013","unstructured":"Weitzhofer, S: Mechanic Proving of Theorems in Plane Geometry. Johannes Kepler University, Linz, Austria (2013). http:\/\/test.geogebra.org\/\u223ckovzol\/guests\/SimonWeitzhofer\/DiplArbeit.pdf"},{"key":"9326_CR53","unstructured":"Wilson, S., Fleuriot, J.: Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In: Workshop on User Interfaces for Theorem Provers (UITP) (2005)"},{"key":"9326_CR54","unstructured":"Wolfram Research, Inc.: Mathematica, Version 3.0. Champaign, IL (1996)"},{"key":"9326_CR55","first-page":"157","volume":"21","author":"WT Wu","year":"1978","unstructured":"Wu, W.T.: On the decision problem and the mechanization of theorem proving in elementary geometry. Sci. Sin. 21, 157\u2013179 (1978)","journal-title":"Sci. Sin."},{"key":"9326_CR56","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","volume":"32","author":"L Xu","year":"2008","unstructured":"Xu, L., Hutter, F., Hoos, H. H., Leyton-Brown, K.: SATzilla: Portfolio-based algorithm selection for SAT. J. Artif. Intell. Res. (JAIR) 32, 565\u2013606 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9326_CR57","doi-asserted-by":"crossref","unstructured":"Ye, Z., Chou S.C., Gao, X.S.: An Introduction to Java Geometry Expert. In: Automated Deduction in Geometry, 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers, volume 6301 of Lecture Notes in Computer Science, pp 189\u2013195. Springer-Verlag (2011)","DOI":"10.1007\/978-3-642-21046-4_10"},{"issue":"3","key":"9326_CR58","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10817-009-9162-5","volume":"45","author":"Z Ye","year":"2010","unstructured":"Ye, Z., Chou, S.C., Gao, X.S.: Visually dynamic presentation of proofs in plane geometry. J. Autom. Reason. 45(3), 213\u2013241 (2010)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"9326_CR59","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(90)90077-U","volume":"74","author":"JZ Zhang","year":"1990","unstructured":"Zhang, J.Z., Yang, L., Deng, M.: The parallel numerical method of mechanical theorem proving. Theor. Comput. Sci. 74(3), 253\u2013271 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"9326_CR60","doi-asserted-by":"crossref","unstructured":"Zou, Y., Zhang, J.Z.: Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. In: Lecture Notes in Computer Science, Volume 6877, Automated Deduction in Geometry, 221\u2013258 (2011)","DOI":"10.1007\/978-3-642-25070-5_13"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-015-9326-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-015-9326-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-015-9326-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T11:35:00Z","timestamp":1566473700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-015-9326-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,29]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9326"],"URL":"https:\/\/doi.org\/10.1007\/s10817-015-9326-4","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,29]]}}}