{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:02:46Z","timestamp":1743112966577,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631040"},{"type":"electronic","value":"9783540691402"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63104-6_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:04:53Z","timestamp":1330279493000},"page":"412-415","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Jape: A calculator for animating proof-on-paper"],"prefix":"10.1007","author":[{"given":"Richard","family":"Bornat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Sufrin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"41_CR1","unstructured":"Dawson W.M.G. (1990) A Generic Logic Environment, PhD thesis, Imperial College, University of London"},{"key":"41_CR2","volume-title":"Workshop on Programming for Logic Teaching","author":"R. Dyckhoff","year":"1987","unstructured":"Dyckhoff, R. (1987) Implementing a simple proof assistant, in Workshop on Programming for Logic Teaching, Leeds, July 1987, Centre for Theoretical Computer Science, University of Leeds (program available FROM Machine Assisted Logic Teaching Project, Computational Science Division, University of St Andrews)"},{"key":"41_CR3","unstructured":"Jones C.B. et al (1985) mural: A Formal Development Support System. Springer-Verlag"},{"key":"41_CR4","volume-title":"The B Tool User Manual","author":"EPC Ltd","year":"1992","unstructured":"EPC Ltd (1992) The B Tool User Manual, EPC Ltd, 17 Alva St. EDINBURGH EH2 4PH"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-14"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63104-6_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:44:50Z","timestamp":1558255490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63104-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631040","9783540691402"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-63104-6_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}