{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:00Z","timestamp":1762458420825},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"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":[[1996,8]]},"DOI":"10.1007\/bf01192693","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T05:55:34Z","timestamp":1108706134000},"page":"375-386","source":"Crossref","is-referenced-by-count":3,"title":["A note on busy beavers and other creatures"],"prefix":"10.1007","volume":"29","author":[{"given":"A. M.","family":"Ben-Amram","sequence":"first","affiliation":[]},{"given":"B. A.","family":"Julstrom","sequence":"additional","affiliation":[]},{"given":"U.","family":"Zwick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"No. 162","key":"BF01192693_CR1","first-page":"647","volume":"40","author":"Allen H. Brady","year":"1983","unstructured":"Brady, Allen H. (1983). The determination of the value of Rado's noncomputable function \u2211(k) for four-state Turing machines.Mathematics of Computation, Vol. 40, No. 162, pp. 647\u2013665.","journal-title":"Mathematics of Computation"},{"issue":"No. 3","key":"BF01192693_CR2","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1145\/141914.141918","volume":"23","author":"Bryant A. Julstrom","year":"1992","unstructured":"Julstrom, Bryant A. (1992). A bound on the shift function in terms of the Busy Beaver function.SIGACT News, Vol. 23, No. 3 (Summer), pp. 100\u2013106.","journal-title":"SIGACT News"},{"issue":"No. 1","key":"BF01192693_CR3","first-page":"39","volume":"14","author":"Bryant A. Julstrom","year":"1993","unstructured":"Julstrom, Bryant A. (1993). Noncomputability and the Busy Beaver problem (UMAP Unit 728).The UMAP Journal, Vol. 14, No. 1, pp. 39\u201374.","journal-title":"The UMAP Journal"},{"key":"BF01192693_CR4","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/321264.321270","volume":"12","author":"Shen Lin","year":"1965","unstructured":"Lin, Shen, and Tibor Rado (1965). Computer studies of Turing machine problems.Journal of the Association for Computing Machinery, Vol. 12, pp. 196\u2013212.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"BF01192693_CR5","first-page":"247","volume":"40","author":"Heiner Marxen","year":"1990","unstructured":"Marxen, Heiner, and J\u00fcrgen Buntrock (1990). Attacking the Busy Beaver Problem 5.Bulletin of the European Association for Theoretical Computer Science, Vol. 40, pp. 247\u2013251.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"BF01192693_CR6","doi-asserted-by":"crossref","first-page":"877","DOI":"10.1002\/j.1538-7305.1962.tb00480.x","volume":"41","author":"Tibor Rado","year":"1962","unstructured":"Rado, Tibor (1962). On non-computable functions.The Bell System Technical Journal, Vol. 41, pp. 877\u2013884.","journal-title":"The Bell System Technical Journal"}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01192693.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01192693\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01192693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T09:09:01Z","timestamp":1556615341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01192693"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,8]]}},"alternative-id":["BF01192693"],"URL":"https:\/\/doi.org\/10.1007\/bf01192693","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}