{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:01:37Z","timestamp":1773615697460,"version":"3.50.1"},"reference-count":7,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.3103\/s0146411621070130","type":"journal-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T09:15:43Z","timestamp":1643706943000},"page":"702-711","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions"],"prefix":"10.3103","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1427-4937","authenticated-orcid":false,"given":"V. A.","family":"Sokolov","sequence":"first","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2022,2,1]]},"reference":[{"key":"7397_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1070\/RM1961v016n03ABEH001120","volume":"16","author":"A.I. Mal\u2019tsev","year":"1961","unstructured":"Mal\u2019tsev, A.I., Constructive algebras I, Russ. Math. Surv., 1961, vol. 16, no. 3, pp. 77\u2013129.","journal-title":"Russ. Math. Surv."},{"key":"7397_CR2","volume-title":"Algoritmy i rekursivnye funktsii (Algorithms and Recursive Functions)","author":"A.I. Mal\u2019tsev","year":"1965","unstructured":"Mal\u2019tsev, A.I., Algoritmy i rekursivnye funktsii (Algorithms and Recursive Functions), Moscow: Nauka, 1965."},{"key":"7397_CR3","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1090\/S0002-9904-1947-08911-4","volume":"53","author":"R.M. Robinson","year":"1947","unstructured":"Robinson, R.M., Primitive recursive functions, Bull. Am. Math. Soc., 1947, vol. 53, no. 10, pp. 925\u2013942.","journal-title":"Bull. Am. Math. Soc."},{"key":"7397_CR4","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1090\/S0002-9939-1950-0038912-1","volume":"1","author":"J. Robinson","year":"1950","unstructured":"Robinson, J., General recursive functions, Proc. Am. Math. Soc., 1950, vol. 1, no. 6, pp. 703\u2013718.","journal-title":"Proc. Am. Math. Soc."},{"key":"7397_CR5","unstructured":"Sokolov, V.A., On one class of identities in the Robinson algebra, 14-ya Vsesoyuznaya algebraicheskaya konferentsiya: Tezisy dokladov (14th All-Union Algebraic Conference: Abstracts), Novosibirsk, 1977, vol. 2, pp. 123\u2013124."},{"key":"7397_CR6","unstructured":"Cohn, P.M., Universal Algebra, New York: Evanston, 1965."},{"key":"7397_CR7","doi-asserted-by":"publisher","first-page":"354","DOI":"10.2307\/2274852","volume":"54","author":"A. Robinson","year":"1989","unstructured":"Robinson, A., Equational logic for partial functions under Kleene equality: A complete and an incomplete set of rules, J. Symbolic Logic, 1989, vol. 54, no. 2, pp. 354\u2013362.","journal-title":"J. Symbolic Logic"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411621070130.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411621070130","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411621070130.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:03:26Z","timestamp":1773612206000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411621070130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":7,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["7397"],"URL":"https:\/\/doi.org\/10.3103\/s0146411621070130","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"21 August 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 September 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 September 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The author declares that he has no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}