{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:44:59Z","timestamp":1755218699766,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1023\/a:1015513329566","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T18:59:19Z","timestamp":1041101959000},"page":"213-227","source":"Crossref","is-referenced-by-count":1,"title":["In Case of Interval (or More General) Uncertainty, No Algorithm Can Choose the Simplest Representative"],"prefix":"10.1007","volume":"8","author":[{"given":"Gerhard","family":"Heindl","sequence":"first","affiliation":[]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Rifqi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Handbook of Mathematical Logic","year":"1977","key":"5089168_CR1","unstructured":"Barwise, J. (ed.): Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977."},{"key":"5089168_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M. J. Beeson","year":"1985","unstructured":"Beeson, M. J.: Foundations of Constructive Mathematics, Springer-Verlag, N.Y., 1985."},{"key":"5089168_CR3","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","volume":"32","author":"N. Ben-Or","year":"1986","unstructured":"Ben-Or, N., Kozen, D., and Reif, J.: The Complexity of Elementary Algebra and Geometry, Journal of Computer and System Sciences\n32 (1986), pp. 251\u2013264.","journal-title":"Journal of Computer and System Sciences"},{"key":"5089168_CR4","unstructured":"Bishop, E.: Foundations of Constructive Analysis, McGraw-Hill, 1967."},{"key":"5089168_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E. and Bridges, D. S.: Constructive Analysis, Springer, N.Y., 1985."},{"key":"5089168_CR6","doi-asserted-by":"crossref","unstructured":"Bouchon-Meunier, B., Rifqi, M., and Bothorel, S.: Towards General Measures of Comparison of Objects, Fuzzy Sets and Systems, 1996.","DOI":"10.1016\/0165-0114(96)00067-X"},{"key":"5089168_CR7","volume-title":"Constructive Functional Analysis","author":"D. S. Bridges","year":"1979","unstructured":"Bridges, D. S.: Constructive Functional Analysis, Pitman, London, 1979."},{"issue":"5","key":"5089168_CR8","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1093\/comjnl\/36.5.409","volume":"36","author":"J. Canny","year":"1993","unstructured":"Canny, J.: Improved Algorithms for Sign Determination and Existential Quantifier Elimination, The Computer Journal\n36(5) (1993), pp. 409\u2013418.","journal-title":"The Computer Journal"},{"key":"5089168_CR9","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"Enderton, H. B.: A Mathematical Introduction to Logic, Academic Press, N.Y., 1972."},{"issue":"2","key":"5089168_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1142\/S0218488595000116","volume":"3","author":"M. Friedman","year":"1995","unstructured":"Friedman, M., Ming, M., and Kandel, A.: On the Theory of Typicality, International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems\n3 (2) (1995), pp. 127\u2013142.","journal-title":"International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems"},{"key":"5089168_CR11","first-page":"33","volume-title":"Beitr\u00e4ge aus der Bundesrepublik Deutschland zur Vorlage bei der XVI Generalversammlung der Internationalen Union f\u00fcr Geod\u00e4sie und Geophysik, Grenoble 1975","author":"G. Heindl","year":"1975","unstructured":"Heindl, G. and Reinhart, E.: Adjustment by the Principle of Minimal Maximum Error, in: Beitr\u00e4ge aus der Bundesrepublik Deutschland zur Vorlage bei der XVI Generalversammlung der Internationalen Union f\u00fcr Geod\u00e4sie und Geophysik, Grenoble 1975, Ver\u00f6ffentlichungen der Deutschen Geod\u00e4tischen Kommission, Reihe B, M\u00fcnchen, 1975, Vol. 213, pp. 33\u201343."},{"key":"5089168_CR12","volume-title":"Ausgleichung im Sinne minimaler Maximalfehler","author":"G. Heindl","year":"1976","unstructured":"Heindl, G. and Reinhart, E.: Ausgleichung im Sinne minimaler Maximalfehler, Ver\u00f6ffentlichungen der Deutschen Geod\u00e4tischen Kommission bei der Bayerischen Akademie der Wissenschaften, Reihe A, M\u00fcnchen, 1976, Vol. 84."},{"key":"5089168_CR13","first-page":"19","volume-title":"Proceedings of the International Symposium on Geodetic Networks and Computations of the International Association of Geodesy, Volume V, Network Analysis Models","author":"G. Heindl","year":"1982","unstructured":"Heindl, G. and Reinhart, E.: Experience with a Non-Statistical Method of Directing Outliers, in: Proceedings of the International Symposium on Geodetic Networks and Computations of the International Association of Geodesy, Volume V, Network Analysis Models, Ver\u00f6ffentlichungen der Deutschen Geod\u00e4tischen Kommission bei der Bayerischen Akademie der Wissenschaften, Reihe B, M\u00fcnchen, 1982, Vol. 258\/V, pp. 19\u201328."},{"key":"5089168_CR14","volume-title":"Elements of the Theory of Computation","author":"L. R. Lewis","year":"1981","unstructured":"Lewis, L. R. and Papadimitriou, C. H.: Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, 1981."},{"key":"5089168_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2606-0","volume-title":"An Introduction to Kolmogorov Complexity and Its Applications","author":"M. Li","year":"1997","unstructured":"Li, M. and Vit\u00e1nyi, P.: An Introduction to Kolmogorov Complexity and Its Applications, Springer-Verlag, N.Y., 1997."},{"key":"5089168_CR16","volume-title":"Introduction to Languages and the Theory of Computation","author":"J. C. Martin","year":"1991","unstructured":"Martin, J. C.: Introduction to Languages and the Theory of Computation, McGraw-Hill, N.Y., 1991."},{"key":"5089168_CR17","volume-title":"Computational Complexity","author":"C. H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C. H.: Computational Complexity, Addison Wesley, San Diego, 1994."},{"key":"5089168_CR18","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Rogers, Jr., H.: Theory of Recursive Functions and Effective Computability, McGraw-Hill, N.Y., 1967."},{"key":"5089168_CR19","unstructured":"Schoenfield, J. R.: Mathematical Logic, Addison-Wesley, 1967."},{"key":"5089168_CR20","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/1969640","volume":"60","author":"A. Seidenberg","year":"1954","unstructured":"Seidenberg, A.: A New Decision Method for Elementary Algebra, Annals of Math.\n60 (1954), pp. 365\u2013374.","journal-title":"Annals of Math."},{"key":"5089168_CR21","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1948","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley, 1948."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015513329566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015513329566\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015513329566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:40:19Z","timestamp":1754473219000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015513329566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["5089168"],"URL":"https:\/\/doi.org\/10.1023\/a:1015513329566","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}