{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T22:07:09Z","timestamp":1649023629544},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7,2]]},"DOI":"10.1145\/3197091.3197095","type":"proceedings-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T20:15:46Z","timestamp":1529525746000},"source":"Crossref","is-referenced-by-count":4,"title":["Introduction to Iltis: an interactive, web-based system for teaching logic"],"prefix":"10.1145","author":[{"given":"Gaetano","family":"Geck","sequence":"first","affiliation":[{"name":"TU Dortmund, Germany"}]},{"given":"Artur","family":"Ljulin","sequence":"additional","affiliation":[{"name":"TU Dortmund, Germany"}]},{"given":"Sebastian","family":"Peter","sequence":"additional","affiliation":[{"name":"TU Dortmund, Germany"}]},{"given":"Jonas","family":"Schmidt","sequence":"additional","affiliation":[{"name":"TU Dortmund, Germany"}]},{"given":"Fabian","family":"Vehlken","sequence":"additional","affiliation":[{"name":"TU Dortmund, Germany"}]},{"given":"Thomas","family":"Zeume","sequence":"additional","affiliation":[{"name":"TU Dortmund, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Blackburn P. van Ditmarsch H. Manzano M. and \n \n \n Soler-Toscano F. editors (\n 2011\n ). \n Tools for Teaching Logic - Third International Congress TICTTL\n 2011 Salamanca Spain June 1-4 2011. Proceedings volume \n 6680\n of \n Lecture Notes in Computer Science\n . \n Springer\n . Blackburn P. van Ditmarsch H. Manzano M. and Soler-Toscano F. editors (2011). Tools for Teaching Logic - Third International Congress TICTTL 2011 Salamanca Spain June 1-4 2011. Proceedings volume 6680 of Lecture Notes in Computer Science. Springer."},{"key":"e_1_3_2_1_2_1","unstructured":"Ehle A. Hundeshagen N. and Lange M. (2015). The sequent calculus trainer - helping students to correctly construct proofs. CoRR abs\/1507.03666. Ehle A. Hundeshagen N. and Lange M. (2015). The sequent calculus trainer - helping students to correctly construct proofs. CoRR abs\/1507.03666."},{"key":"e_1_3_2_1_3_1","unstructured":"Fricke M. (2012). Software and tutorials for instruction in symbolic logic. http: \/\/softoption.us. Accessed: 2017-12-28. Fricke M. (2012). Software and tutorials for instruction in symbolic logic. http: \/\/softoption.us. Accessed: 2017-12-28."},{"key":"e_1_3_2_1_4_1","unstructured":"Gasquet O. Schwarzentruber F. and Strecker M. (2011). Panda: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. In { 1 } pages 85\u201392. Gasquet O. Schwarzentruber F. and Strecker M. (2011). Panda: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. In { 1 } pages 85\u201392."},{"key":"e_1_3_2_1_5_1","unstructured":"Huertas A. (2011). Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned. In { 1 } pages 131\u2013140. Huertas A. (2011). Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned. In { 1 } pages 131\u2013140."},{"key":"e_1_3_2_1_6_1","unstructured":"Huertas A. Humet J. M. L\u00f3pez L. and Mor E. (2011). The SELL project: A learning tool for e-learning logic. In { 1 } pages 123\u2013130. Huertas A. Humet J. M. L\u00f3pez L. and Mor E. (2011). The SELL project: A learning tool for e-learning logic. In { 1 } pages 123\u2013130."},{"key":"e_1_3_2_1_7_1","unstructured":"Kirsling R. (2015). Software and tutorials for instruction in symbolic logic. http: \/\/rkirsling.github.io\/modallogic\/. Accessed: 2017-12-28. Kirsling R. (2015). Software and tutorials for instruction in symbolic logic. http: \/\/rkirsling.github.io\/modallogic\/. Accessed: 2017-12-28."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Lodder J. and Heeren B. (2011). A teaching tool for proving equivalences between logical formulae. In { 1 } pages 154\u2013161. Lodder J. and Heeren B. (2011). A teaching tool for proving equivalences between logical formulae. In { 1 } pages 154\u2013161.","DOI":"10.1007\/978-3-642-21350-2_18"},{"key":"e_1_3_2_1_9_1","unstructured":"Lodder J. Heeren B. and Jeuring J. (2015). A pilot study of the use of LogEx lessons learned. CoRR abs\/1507.03671. Lodder J. Heeren B. and Jeuring J. (2015). A pilot study of the use of LogEx lessons learned. CoRR abs\/1507.03671."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1080\/08993408.2013.778040"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzm026"},{"key":"e_1_3_2_1_12_1","unstructured":"Velleman J. D. (2010). blogic: A web logic textbook. www.nyu.edu\/classes\/ velleman\/blogic. Accessed: 2017-12-28. Velleman J. D. (2010). blogic: A web logic textbook. www.nyu.edu\/classes\/ velleman\/blogic. Accessed: 2017-12-28."},{"key":"e_1_3_2_1_13_1","unstructured":"Wasserman R. Howard-Snyder D. and Howard-Snyder F. (2012). The Power of Logic. McGraw-Hill Education. Abstract 1 Introduction 2 The Iltis System: The Teacher's Perspective 3 The Iltis System: The Developer's Perspective 4 Case study: Feedback for Stating Propositional Formulas 5 First Classroom Experiences 6 Conclusion and Vision References Wasserman R. Howard-Snyder D. and Howard-Snyder F. (2012). The Power of Logic. McGraw-Hill Education. Abstract 1 Introduction 2 The Iltis System: The Teacher's Perspective 3 The Iltis System: The Developer's Perspective 4 Case study: Feedback for Stating Propositional Formulas 5 First Classroom Experiences 6 Conclusion and Vision References"}],"event":{"name":"ITiCSE '18: 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education","location":"Larnaca Cyprus","acronym":"ITiCSE '18","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3197091.3197095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T03:17:35Z","timestamp":1607915855000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":13,"alternative-id":["10.1145\/3197091.3197095","10.1145\/3197091"],"URL":"http:\/\/dx.doi.org\/10.1145\/3197091.3197095","relation":{},"published":{"date-parts":[[2018,7,2]]}}}