{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:41Z","timestamp":1750307201234,"version":"3.41.0"},"reference-count":6,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0811748DUE-1022941DUE-0633506"],"award-info":[{"award-number":["CCF-0811748DUE-1022941DUE-0633506"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000172","name":"Division of Undergraduate Education","doi-asserted-by":"publisher","award":["CCF-0811748DUE-1022941DUE-0633506"],"award-info":[{"award-number":["CCF-0811748DUE-1022941DUE-0633506"]}],"id":[{"id":"10.13039\/100000172","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Inroads"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1145\/2077808.2077818","type":"journal-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T19:22:23Z","timestamp":1350328943000},"page":"30-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical reasoning at the crossroads"],"prefix":"10.1145","volume":"3","author":[{"given":"Peter B.","family":"Henderson","sequence":"first","affiliation":[{"name":"Butler University, Indianapolis, Indiana"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, South Carolina"}]}],"member":"320","published-online":{"date-parts":[[2012,3]]},"reference":[{"unstructured":"Bloch J. Research Blog http:\/\/googleresearch.blogspot.com\/2006\/06\/extra-extra-read-all-about-it-nearly.html#!\/2006\/06\/extra-extra-read-all-about-it-nearly.html  Bloch J. Research Blog http:\/\/googleresearch.blogspot.com\/2006\/06\/extra-extra-read-all-about-it-nearly.html#!\/2006\/06\/extra-extra-read-all-about-it-nearly.html","key":"e_1_2_1_1_1"},{"unstructured":"Cook C. T. Harton H. K. and Smith H. W. A Web Integrated Component-Based Development and Reasoning Environment you tube video Available at: http:\/\/www.youtube.com\/watch?v=9vg3WuxeOkA or through you tube search on \"Clemson RESOLVE.\"  Cook C. T. Harton H. K. and Smith H. W. A Web Integrated Component-Based Development and Reasoning Environment you tube video Available at: http:\/\/www.youtube.com\/watch?v=9vg3WuxeOkA or through you tube search on \"Clemson RESOLVE.\"","key":"e_1_2_1_2_1"},{"unstructured":"Drachova S. Reasoning Concept Inventory http:\/\/www.cs.clemson.edu\/group\/resolve\/rci.htm  Drachova S. Reasoning Concept Inventory http:\/\/www.cs.clemson.edu\/group\/resolve\/rci.htm","key":"e_1_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1145\/2157136.2157208"},{"unstructured":"www.cs.clemson.edu\/group\/resolve at the link Web Interface.  www.cs.clemson.edu\/group\/resolve at the link Web Interface.","key":"e_1_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1007\/s00165-010-0154-3"}],"container-title":["ACM Inroads"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2077808.2077818","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2077808.2077818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:15Z","timestamp":1750241175000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2077808.2077818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["10.1145\/2077808.2077818"],"URL":"https:\/\/doi.org\/10.1145\/2077808.2077818","relation":{},"ISSN":["2153-2184","2153-2192"],"issn-type":[{"type":"print","value":"2153-2184"},{"type":"electronic","value":"2153-2192"}],"subject":[],"published":{"date-parts":[[2012,3]]},"assertion":[{"value":"2012-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}