{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T23:57:16Z","timestamp":1698191836356},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf01531021","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:21:39Z","timestamp":1113870099000},"page":"17-25","source":"Crossref","is-referenced-by-count":4,"title":["Undecidable statements and random graphs"],"prefix":"10.1007","volume":"6","author":[{"given":"Peter","family":"Dolan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Random Graphs","author":"B. Bollob\ufffds","year":"1985","unstructured":"B. Bollob\ufffds,Random Graphs (Academic Press, New York, 1985)."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1214\/aoms\/1177729330","volume":"23","author":"H. Chernoff","year":"1952","unstructured":"H. Chernoff, A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations, Ann. Math. Stat. 23 (1952) 493?507.","journal-title":"Ann. Math. Stat."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF02579304","volume":"7","author":"D. Matula","year":"1987","unstructured":"D. Matula, Expose-and-merge exploration and the chromatic number of a random graph, Combinatorica 7 (1987) 275?284.","journal-title":"Combinatorica"},{"key":"CR4","volume-title":"Graphical Evolution","author":"E.M. Palmer","year":"1985","unstructured":"E.M. Palmer,Graphical Evolution (Wiley, New York, 1985)."},{"key":"CR5","volume-title":"Probability Theory","author":"A. R\ufffdnyi","year":"1970","unstructured":"A. R\ufffdnyi,Probability Theory (Akad\ufffdmiai Kiad\ufffd, Budapest, 1970)."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1090\/S0894-0347-1988-0924703-8","volume":"1","author":"S. Shelah","year":"1988","unstructured":"S. Shelah and J. Spencer, Zero-one laws for sparse random graphs, J. Amer. Math. Soc. 1 (1988) 97?115.","journal-title":"J. Amer. Math. Soc."},{"key":"CR7","volume-title":"Ten Lectures on the Probabilistic Method","author":"J. Spencer","year":"1987","unstructured":"J. Spencer,Ten Lectures on the Probabilistic Method (Society for Industrial and Applied Mathematics, Philadelphia, 1987)."},{"key":"CR8","first-page":"569","volume":"70","author":"B.A. Trachtenbrot","year":"1950","unstructured":"B.A. Trachtenbrot, Impossibility of an algorithm for the decision problem on finite classes, Doklady Akad. Nauk. S.S.R. 70 (1950) 569?572.","journal-title":"Doklady Akad. Nauk. S.S.R."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531021\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531021\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:34Z","timestamp":1556890294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":8,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF01531021"],"URL":"https:\/\/doi.org\/10.1007\/bf01531021","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}