{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:08Z","timestamp":1725456068686},"publisher-location":"Berlin\/Heidelberg","reference-count":3,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023778","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:11:10Z","timestamp":1132377070000},"page":"326-328","source":"Crossref","is-referenced-by-count":1,"title":["Minimal from classical proofs"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Schwichtenberg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","first-page":"203","volume-title":"An inverse of the evaluation functional for typed lambda calculus","author":"U. Berger","year":"1991","unstructured":"U. Berger, H. Schwichtenberg: An inverse of the evaluation functional for typed lambda calculus. Proc. 6th IEEE Symp. on Logic in Computer Science, (ed.: R. Vemuri), Los Alamitos: IEEE Computer Society Press, pp. 203\u2013211, 1991"},{"key":"25_CR2","volume-title":"Leeds Proof Theory '90","author":"H. Schwichtenberg","year":"1992","unstructured":"H. Schwichtenberg: Proofs as Programs. To appear in: Leeds Proof Theory '90 (ed.: P. Aczel, H. Simmons, S.S. Wainer), Cambridge: University Press, 1992"},{"key":"25_CR3","volume-title":"Constructivism in Mathematics. Vol. I","author":"A. Troelstra","year":"1988","unstructured":"A. Troelstra, D. van Dalen: Constructivism in Mathematics. Vol. I, Amsterdam: North-Holland, 1988"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023778.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:50:36Z","timestamp":1607532636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0023778","relation":{},"subject":[]}}