{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:14:32Z","timestamp":1754194472570},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221456"},{"type":"electronic","value":"9783540247715"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24771-5_4","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T17:41:39Z","timestamp":1294508499000},"page":"34-47","source":"Crossref","is-referenced-by-count":4,"title":["Fixed-Point Characterisation of Winning Strategies in Impartial Games"],"prefix":"10.1007","author":[{"given":"Roland","family":"Backhouse","sequence":"first","affiliation":[]},{"given":"Diethard","family":"Michaelis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Winning Ways","author":"E.R. Berlekamp","year":"1982","unstructured":"Berlekamp, E.R., Conway, J.H., Guy, R.K.: Winning Ways, vol.\u00a0I&II. Academic Press, London (1982)"},{"issue":"1-2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0304-3975(96)00154-5","volume":"179","author":"H. Doornbos","year":"1997","unstructured":"Doornbos, H., Backhouse, R., van der Woude, J.: A calculational approach to mathematical induction. Theoretical Computer Science\u00a0179(1-2), 103\u2013135 (1997)","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, Berlin (1990)"},{"key":"4_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Relations and Graphs, Discrete Mathematics for Computer Scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Berlin (1993)"}],"container-title":["Lecture Notes in Computer Science","Relational and Kleene-Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24771-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:09:14Z","timestamp":1620011354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24771-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221456","9783540247715"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24771-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}