{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T02:30:42Z","timestamp":1648607442726},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1992,11,1]],"date-time":"1992-11-01T00:00:00Z","timestamp":720576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1992,11]]},"DOI":"10.1007\/bf01277483","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T09:21:14Z","timestamp":1111656074000},"page":"407-414","source":"Crossref","is-referenced-by-count":2,"title":["Distances, diameters and verisimilitude of theories"],"prefix":"10.1007","volume":"31","author":[{"given":"Giangiacomo","family":"Gerla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1080\/00029890.1985.11971718","volume":"92","author":"G. Gerla","year":"1985","unstructured":"Gerla, G., Volpe, R.: Without points geometry. Am. Math. Mon.92, 707?711 (1985)","journal-title":"Am. Math. Mon."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"207","DOI":"10.2307\/2274963","volume":"55","author":"G. Gerla","year":"1990","unstructured":"Gerla, G.: Pointless Metric Spaces. J. Symb. Logic55, 207?219 (1990)","journal-title":"J. Symb. Logic"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Gerla, G.: Pointless Geometries. In: Buekenhout, F., Kantor, W. (eds) Handbook of incidence geometry. Amsterdam: North-Holland (to appear)","DOI":"10.1016\/B978-044488355-1\/50020-7"},{"key":"CR4","first-page":"19","volume-title":"Formal methods in the methodology of empirical sciences, vol. 103","author":"R. Hilpinen","year":"1987","unstructured":"Hilpinen, R.: Approximate truth and truthlikeness. In: Przelecki, M., Szaniawski, K., W\ufffdjcicki, R. (eds) Formal methods in the methodology of empirical sciences, vol. 103, pp. 19?42. Dordrecht: Reidel 1987"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1093893583","volume":"10","author":"L.K. Bouv\ufffdre de","year":"1969","unstructured":"de Bouv\ufffdre, L.K.: Remarks on classification of theories by their complete extensions. Notre Dame J. Formal Logic10, 1?17 (1969)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/978-94-009-9825-4_23","volume-title":"Essays on Mathematical and Philosophical Logic, vol. 122","author":"D. Miller","year":"1979","unstructured":"Miller, D.: On distance from the truth as a true distance. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds) Essays on Mathematical and Philosophical Logic, vol. 122, pp. 415?435. Dordrecht: Reidel 1979"},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1978-0","volume-title":"Is science progressive? Vol. 177","author":"I. Niiniluoto","year":"1984","unstructured":"Niiniluoto, I.: Is science progressive? Vol. 177. Dordrecht: Reidel 1984"},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3739-0","volume-title":"Truthlikeness. Vol. 185","author":"I. Niiniluoto","year":"1987","unstructured":"Niiniluoto, I.: Truthlikeness. Vol. 185. Dordrecht: Reidel 1987"},{"key":"CR9","volume-title":"Objective Knowledge","author":"K.R. Popper","year":"1979","unstructured":"Popper, K.R.: Objective Knowledge. Oxford: Oxford University Press 1979"},{"key":"CR10","first-page":"69","volume-title":"Logique s\ufffdmantique, metamath\ufffdmatique, vol. 2","author":"A. Tarski","year":"1974","unstructured":"Tarski, A.: Logique s\ufffdmantique, metamath\ufffdmatique, vol. 2, pp. 69?108. Paris: Colin 1974"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0304-3975(81)90027-X","volume":"16","author":"K. Weihauch","year":"1981","unstructured":"Weihauch, K., Schreiber, U.: Embedding metric spaces into cpo's. Theor. Comput. Sci.16, 5?24 (1981)","journal-title":"Theor. Comput. Sci."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01277483.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01277483\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01277483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:10:37Z","timestamp":1556647837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01277483"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,11]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,11]]}},"alternative-id":["BF01277483"],"URL":"https:\/\/doi.org\/10.1007\/bf01277483","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,11]]}}}