{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:40Z","timestamp":1749124060695},"publisher-location":"Berlin\/Heidelberg","reference-count":3,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013085","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:02:07Z","timestamp":1132711327000},"page":"454-456","source":"Crossref","is-referenced-by-count":2,"title":["Mathpert: Computer support for learning algebra, trig, and calculus"],"prefix":"10.1007","author":[{"given":"M.","family":"Beeson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"Beeson, M., Logic and computation in Mathpert: an expert system for learning mathematics, in: Kaltofen, E., and Watt, S. M., Computers and Mathematics, pp. 202\u2013214, Springer-Verlag (1989).","DOI":"10.1007\/978-1-4613-9647-5_25"},{"key":"42_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0933-3657(90)90012-G","volume":"2","author":"M. Beeson","year":"1990","unstructured":"Beeson, M. Mathpert: a computerized environment for learning algebra, trig, and calculus, J. Artificial Intelligence and Education 2 (1990), pp. 1\u201311.","journal-title":"J. Artificial Intelligence and Education"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Beeson, M., Some applications of Gentzen's proof theory to automated deduction, in P. Schroeder-Heister (ed.), Extensions of Logic Programming, Springer LNCS 475, pp. 101\u2013156, Springer-Verlag (1991).","DOI":"10.1007\/BFb0038693"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013085.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:06:58Z","timestamp":1607335618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013085"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0013085","relation":{},"subject":[]}}