{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:08Z","timestamp":1725487628017},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403814"},{"type":"electronic","value":"9783540449638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44963-9_51","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:07:02Z","timestamp":1184598422000},"page":"373-377","source":"Crossref","is-referenced-by-count":4,"title":["Modeling Hinting Strategies for Geometry Theorem Proving"],"prefix":"10.1007","author":[{"given":"Noboru","family":"Matsuda","sequence":"first","affiliation":[]},{"given":"Kurt","family":"VanLehn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"issue":"1","key":"51_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1207\/s15327809jls0501_2","volume":"5","author":"G. Hume","year":"1996","unstructured":"Hume, G., J. Michael, A. Rovick, and M. Evens, Hinting as a tactic in one-on-one tutoring. Journal of the Learning Sciences, 1996. 5(1): p. 23\u201347.","journal-title":"Journal of the Learning Sciences"},{"key":"51_CR2","volume-title":"The impact of media on technology of instruction","author":"R.E. DiPaolo","year":"2002","unstructured":"DiPaolo, R.E., A.C. Graesser, D.J. Hacker, and H.A. White, Hints in Human and Computer Tutoring, in The impact of media on technology of instruction, M. Rabinowitz, Editor. 2002, Erlbaum: Mahwah, NJ."},{"key":"51_CR3","unstructured":"Anderson, J.R., C.F. Boyle, and G. Yost, The geometry tutor. Proceedings of the International Joint Conference on Artificial Intelligence, 1985: p. 1\u20137."},{"key":"51_CR4","first-page":"15","volume-title":"Computers as cognitive tools","author":"K.R. Koedinger","year":"1993","unstructured":"Koedinger, K.R. and J.R. Anderson, Reifying implicit planning in geometry: Guidelines for model-based intelligent tutoring system design, in Computers as cognitive tools, S.P. Lajoie and S.J. Derry, Editors. 1993, Lawrence Erlbaum Associates: Hillsdale, NJ. p. 15\u201345."},{"issue":"2","key":"51_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/1049482940040203","volume":"4","author":"R. Scheines","year":"1994","unstructured":"Scheines, R. and W. Sieg, Computer Environments for Proof Construction. Interactive Learning Environments, 1994. 4(2): p. 159\u2013169.","journal-title":"Interactive Learning Environments"}],"container-title":["Lecture Notes in Computer Science","User Modeling 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44963-9_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T21:54:01Z","timestamp":1550440441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44963-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403814","9783540449638"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-44963-9_51","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}