{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:49Z","timestamp":1750221109130,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T00:00:00Z","timestamp":1562025600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100008384","name":"Stifterverband","doi-asserted-by":"publisher","award":["Fellowship for Innovation in Digital University Education by the state of North Rhine-Westphalia"],"award-info":[{"award-number":["Fellowship for Innovation in Digital University Education by the state of North Rhine-Westphalia"]}],"id":[{"id":"10.13039\/501100008384","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,2]]},"DOI":"10.1145\/3304221.3325571","type":"proceedings-article","created":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T17:44:24Z","timestamp":1563558264000},"page":"307-307","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Teaching Logic with Iltis"],"prefix":"10.1145","author":[{"given":"Gaetano","family":"Geck","sequence":"first","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Ljulin","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Haldimann","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"May","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Schmidt","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"Schmellenkamp","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sonnabend","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Tschirbs","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Vehlken","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Zeume","sequence":"additional","affiliation":[{"name":"TU Dortmund, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mar\u00eda Antonia and Huertas S\u00e1nchez. 2011. A classification of tools for learning logic. http:\/\/hdl.handle.net\/10609\/6501  Mar\u00eda Antonia and Huertas S\u00e1nchez. 2011. A classification of tools for learning logic. http:\/\/hdl.handle.net\/10609\/6501"},{"key":"e_1_3_2_1_2_1","volume-title":"Generation CS: Computer Science Undergraduate Enrollments Surge Since","author":"Computing Research Association","year":"2017","unstructured":"Computing Research Association . 2017 . Generation CS: Computer Science Undergraduate Enrollments Surge Since 2006. http:\/\/cra.org\/data\/generation-cs Computing Research Association. 2017. Generation CS: Computer Science Undergraduate Enrollments Surge Since 2006. http:\/\/cra.org\/data\/generation-cs"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197091.3197095"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Josje Lodder and Bastiaan Heeren. 2011. A Teaching Tool for Proving Equivalences between Logical Formulae. In Tools for Teaching Logic. 154--161.   Josje Lodder and Bastiaan Heeren. 2011. A Teaching Tool for Proving Equivalences between Logical Formulae. In Tools for Teaching Logic. 154--161.","DOI":"10.1007\/978-3-642-21350-2_18"},{"key":"e_1_3_2_1_5_1","unstructured":"The Iltis project. March 2019. https:\/\/iltis.cs.tu-dortmund.de  The Iltis project. March 2019. https:\/\/iltis.cs.tu-dortmund.de"}],"event":{"name":"ITiCSE '19: Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Aberdeen Scotland Uk","acronym":"ITiCSE '19"},"container-title":["Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3304221.3325571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3304221.3325571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:55Z","timestamp":1750208515000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3304221.3325571"}},"subtitle":["an Interactive, Web-Based System"],"short-title":[],"issued":{"date-parts":[[2019,7,2]]},"references-count":5,"alternative-id":["10.1145\/3304221.3325571","10.1145\/3304221"],"URL":"https:\/\/doi.org\/10.1145\/3304221.3325571","relation":{},"subject":[],"published":{"date-parts":[[2019,7,2]]},"assertion":[{"value":"2019-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}