{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:26:06Z","timestamp":1725733566212},"reference-count":12,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Interactive Learning Environments"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1080\/1049482940040203","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T23:57:21Z","timestamp":1182815841000},"page":"159-169","source":"Crossref","is-referenced-by-count":14,"title":["Computer Environments for Proof Construction"],"prefix":"10.1080","volume":"4","author":[{"given":"Richard","family":"Scheines","sequence":"first","affiliation":[]},{"given":"Wilfried","family":"Sieg","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Anderson, J.R. and Boyle, C.F. The geometry tutor.Proceedings of IJCAI\u201085. Los Angeles."},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1207\/s15327051hci0102_2"},{"key":"CIT0003","first-page":"48","volume-title":"The Computers and Philosophy Newsletter","author":"Burkholder L.","year":"1989"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"333","DOI":"10.5840\/teachphil19869461","volume":"9","author":"Croy M.J.","year":"1986","journal-title":"Teaching Philosophy"},{"key":"CIT0005","first-page":"68","volume-title":"The collected papers of Gerhard Gentzen","author":"Gentzen G.","year":"1969"},{"key":"CIT0006","volume-title":"Logic: Techniques of formal reasoning","author":"Kalish D.","year":"1980"},{"key":"CIT0007","unstructured":"Larkin, J. Display\u2010based problem solving.The 21st Carnegie Symposium. Hillsdale, NJ: Erlbaum."},{"key":"CIT0008","volume-title":"Human problem solving","author":"Newell A.","year":"1972"},{"key":"CIT0009","volume":"1","author":"Pressler J.","year":"1988","journal-title":"Computerised Logic Teaching Bulletin"},{"key":"CIT0010","volume-title":"101 Success stories of information technology in higher education: The Joe Wyatt challenge","author":"Scheines R.","year":"1993"},{"key":"CIT0011","volume-title":"Philosophy and the computer","author":"Sieg W.","year":"1992"},{"key":"CIT0012","volume-title":"University\u2010level Computer\u2010assisted Instruction at Stanford: 1968\u20101980","author":"Suppes P.","year":"1981"}],"container-title":["Interactive Learning Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/1049482940040203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T19:37:37Z","timestamp":1556566657000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/1049482940040203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1080\/1049482940040203"],"URL":"https:\/\/doi.org\/10.1080\/1049482940040203","relation":{},"ISSN":["1049-4820","1744-5191"],"issn-type":[{"value":"1049-4820","type":"print"},{"value":"1744-5191","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}