{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T19:13:05Z","timestamp":1725995585395},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642137532"},{"type":"electronic","value":"9783642137549"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13754-9_10","type":"book-chapter","created":{"date-parts":[[2010,6,30]],"date-time":"2010-06-30T07:05:52Z","timestamp":1277881552000},"page":"195-201","source":"Crossref","is-referenced-by-count":2,"title":["Unraveling a Card Trick"],"prefix":"10.1007","author":[{"given":"Tony","family":"Hoare","sequence":"first","affiliation":[]},{"given":"Natarajan","family":"Shankar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Boyer, R.S.: A mechanical checking of a theorem about a card trick. ACL2 formalization (May 22, 1991)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF00881856","volume":"14","author":"A. Bouhoula","year":"1995","unstructured":"Bouhoula, A., Rusinowitch, M.: Implicit induction in conditional theories. Journal of Automated Reasoning\u00a014(2), 189\u2013235 (1995)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"10_CR3","first-page":"285","volume":"5","author":"N.G. Bruijn de","year":"1987","unstructured":"de Bruijn, N.G.: A riffle shuffle card trick and its relation to quasi-crystal theory. Nieuw Archief voor Wiskunde\u00a05(3), 285\u2013301 (1987)","journal-title":"Nieuw Archief voor Wiskunde"},{"key":"10_CR4","volume-title":"New Mathematical Diversions from Scientific American","author":"M. Gardner","year":"1966","unstructured":"Gardner, M.: New Mathematical Diversions from Scientific American. Simon & Schuster, New York (1966); Republished by the Mathematical Association of America (June 1995)"},{"key":"10_CR5","volume-title":"aha! Gotcha","author":"M. Gardner","year":"1982","unstructured":"Gardner, M.: aha! Gotcha. W. H. Freeman & Co., New York (1982); Republished as part of a two-volume collection with aha! Insight by the Mathematical Association of America (2006)"},{"issue":"5","key":"10_CR6","first-page":"60","volume":"38","author":"N. Gilbreath","year":"1958","unstructured":"Gilbreath, N.: Magnetic colors. The Linking Ring\u00a038(5), 60 (1958)","journal-title":"The Linking Ring"},{"key":"10_CR7","unstructured":"Huet, G.: The Gilbreath trick: A case study in axiomatisation and proof development in the Coq proof assistant. Technical Report RR-1511, INRIA, Institut National de Recherche en Informatique et en Automatique (September 1991)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"Owre, S., Rushby, J., Shankar, N., von Henke, F.: Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering\u00a021(2), 107\u2013125 (1995); PVS home page: \n                  \n                    http:\/\/pvs.csl.sri.com","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Time for Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13754-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T03:19:59Z","timestamp":1552619999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13754-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642137532","9783642137549"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13754-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}