{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T23:26:05Z","timestamp":1648509965657},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1979,12,1]],"date-time":"1979-12-01T00:00:00Z","timestamp":312854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1979,12]]},"DOI":"10.1007\/bf01744291","type":"journal-article","created":{"date-parts":[[2005,6,16]],"date-time":"2005-06-16T08:45:05Z","timestamp":1118911505000},"page":"95-104","source":"Crossref","is-referenced-by-count":1,"title":["A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings"],"prefix":"10.1007","volume":"13","author":[{"given":"Richard A.","family":"DeMillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard J.","family":"Lipton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01744291_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1090\/S0002-9947-1952-0045327-5","volume":"72","author":"K. L. Chung","year":"1952","unstructured":"K. L. Chung and P. Erd\u00f6s, On the applicability of the Borel-Cantelli lemma,Transactions of the American Mathematical Society 72, 179\u2013186, 1952.","journal-title":"Transactions of the American Mathematical Society"},{"key":"BF01744291_CR2","unstructured":"P. Erd\u00f6s and J. Spencer,Probabilistic Methods in Combinatorics, Academic Press, 1974."},{"key":"BF01744291_CR3","first-page":"3","volume":"1","author":"A. N. Kolmogorov","year":"1965","unstructured":"A. N. Kolmogorov, Three approaches to the quantitative definition of information,Promlemi Pederachi Informatsii 1, 3\u201311, 1965.","journal-title":"Promlemi Pederachi Informatsii"},{"key":"BF01744291_CR4","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0022-247X(63)90092-1","volume":"6","author":"J. Lemperti","year":"1963","unstructured":"J. Lemperti, Wiener's test and Markov chains,J. Math. Anal. Appl. 6, 58\u201366, 1963.","journal-title":"J. Math. Anal. Appl."},{"key":"BF01744291_CR5","doi-asserted-by":"crossref","unstructured":"R. Lipton, Polynomials with 0,1 coefficients that are hard to compute,Proceedings of the 16th IEEE Symposium on the Foundations of Computer Science, pp. 6\u201310, 1975.","DOI":"10.1109\/SFCS.1975.25"},{"key":"BF01744291_CR6","unstructured":"H. Rogers,Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967."},{"key":"BF01744291_CR7","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1137\/0203010","volume":"3","author":"V. Strassen","year":"1974","unstructured":"V. Strassen, Polynomials with rational coefficients which are hard to compute,SIAM Journal of Computing 3, 128\u2013148, 1974.","journal-title":"SIAM Journal of Computing"}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01744291.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01744291\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01744291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T19:24:50Z","timestamp":1586287490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01744291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["BF01744291"],"URL":"https:\/\/doi.org\/10.1007\/bf01744291","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}