{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:46Z","timestamp":1725457006505},"publisher-location":"Berlin\/Heidelberg","reference-count":3,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540074163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029536","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T09:42:57Z","timestamp":1133862177000},"page":"342-345","source":"Crossref","is-referenced-by-count":2,"title":["On solvability by \u03bbI-terms"],"prefix":"10.1007","author":[{"given":"J. W.","family":"Klop","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"HENK BARENDREGT, A characterization of terms of the \u03bbI-calculus having a normal form. Journal of Symbolic Logic, vol. 38, nr. 3, pp. 441\u2013445.","key":"21_CR1","DOI":"10.2307\/2273041"},{"unstructured":"HENK BARENDREGT, A one point base for the \u03bbK-calculus, mimeographed.","key":"21_CR2"},{"unstructured":"C. B\u00d6HM, A two point base for the combinatory semigroup, hand-written note.","key":"21_CR3"}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T07:16:16Z","timestamp":1586589376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0029536","relation":{},"subject":[]}}