{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:54Z","timestamp":1725574194386},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212683"},{"type":"electronic","value":"9783540259312"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25931-2_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T18:34:19Z","timestamp":1294425259000},"page":"29-31","source":"Crossref","is-referenced-by-count":0,"title":["On Differences between the Real and Physical Plane"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Winterstein","sequence":"first","affiliation":[]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Winterstein, D.: On Differences Between the Real and Physical Plane: Additional Proofs. Informatics Report Series, Edinburgh University (2003), available online at \n                  \n                    http:\/\/homepages.inf.ed.ac.uk\/s9902178\/physicalDiagrams.pdf"},{"key":"6_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-46037-3_5","volume-title":"Diagrammatic Representation and Inference","author":"D. Winterstein","year":"2002","unstructured":"Winterstein, D., Bundy, A., Gurr, C., Jamnik, :\u0307 Using Animation in Diagrammatic Theorem Proving. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol.\u00a02317, p. 46. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25931-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:15:35Z","timestamp":1553332535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25931-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212683","9783540259312"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25931-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}