{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:09Z","timestamp":1725544029062},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341666"},{"type":"electronic","value":"9783540341680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11753728_31","type":"book-chapter","created":{"date-parts":[[2006,4,27]],"date-time":"2006-04-27T20:17:13Z","timestamp":1146169033000},"page":"304-312","source":"Crossref","is-referenced-by-count":3,"title":["On Primitive Recursive Realizabilities"],"prefix":"10.1007","author":[{"given":"Valery","family":"Plisko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1002\/malq.19630090106","volume":"9","author":"P. Axt","year":"1963","unstructured":"Axt, P.: Enumeration and the Grzegorczyk hierarchy. Z. math. Logik und Grundl. Math.\u00a09, 53\u201365 (1963)","journal-title":"Z. math. Logik und Grundl. Math."},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"1210","DOI":"10.2307\/2275700","volume":"59","author":"Z. Damnjanovic","year":"1994","unstructured":"Damnjanovic, Z.: Strictly primitive recursive realizability. I. J. Symbol. Log.\u00a059, 1210\u20131227 (1994)","journal-title":"I. J. Symbol. Log."},{"key":"31_CR3","first-page":"1","volume":"4","author":"A. Grzegorczyk","year":"1953","unstructured":"Grzegorczyk, A.: Some classes of recursive functions. Rozprawy matematyczne\u00a04, 1\u201346 (1953)","journal-title":"Rozprawy matematyczne"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene, S.C.: On the interpretation of intuitionistic number theory. J. Symbol. Log.\u00a010, 109\u2013124 (1945)","journal-title":"J. Symbol. Log."},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4064\/cm-6-1-67-78","volume":"6","author":"S.C. Kleene","year":"1958","unstructured":"Kleene, S.C.: Extension of an effectively generated class of functions by enumeration. Colloquium Mathematicum\u00a06, 67\u201378 (1958)","journal-title":"Colloquium Mathematicum"},{"key":"31_CR6","unstructured":"Plisko, V.E.: On the relation between two notions of primitive recursive realizability. Vestnik Moskovskogo Universiteta. Ser. 1. Matematika. Mekhanika, N 1, 6\u201311 (2006)"},{"key":"31_CR7","first-page":"147","volume":"7","author":"S. Salehi","year":"2001","unstructured":"Salehi, S.: A generalized realizability for constructive arithmetic. Bull. Symbol. Log.\u00a07, 147\u2013148 (2001)","journal-title":"Bull. Symbol. Log."}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11753728_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:37Z","timestamp":1619507017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11753728_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341666","9783540341680"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11753728_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}