{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T17:06:31Z","timestamp":1762448791900,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["448468041"],"award-info":[{"award-number":["448468041"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,11]]},"DOI":"10.1145\/3769994.3770012","type":"proceedings-article","created":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T16:35:41Z","timestamp":1762446941000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Errors and Misconceptions in First-Order Logic Modeling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3966-6590","authenticated-orcid":false,"given":"Marko","family":"Schmellenkamp","sequence":"first","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2277-7502","authenticated-orcid":false,"given":"Florian","family":"Schmalstieg","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5186-7507","authenticated-orcid":false,"given":"Thomas","family":"Zeume","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Aline Abassian Farshid Safi Sarah Bush and Jonathan Bostic. 2019. Five different perspectives on mathematical modeling in mathematics education. Investigations in Mathematics Learning 12 1 (2019) 53\u201365. 10.1080\/19477503.2019.1595360","DOI":"10.1080\/19477503.2019.1595360"},{"key":"e_1_3_3_2_3_2","unstructured":"Vicki\u00a0L. Almstrum. 1999. The Propositional Logic Test as a Diagnostic Tool for Misconceptions About Logical Operations. Journal of Computers in Mathematics and Science Teaching 18 3 (1999) 205\u2013224. https:\/\/www.learntechlib.org\/p\/18884"},{"key":"e_1_3_3_2_4_2","volume-title":"Toward a theory of instruction","author":"Bruner Jerome\u00a0Seymour","year":"1974","unstructured":"Jerome\u00a0Seymour Bruner. 1974. Toward a theory of instruction. Harvard university press."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Jean-Marie Burkhardt Fran\u00e7oise D\u00e9tienne and Susan Wiedenbeck. 2002. Object-Oriented Program Comprehension: Effect of Expertise Task and Phase. Empirical Software Engineering 7 2 (2002) 115\u2013156. 10.1023\/A:1015297914742","DOI":"10.1023\/A:1015297914742"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Patricia\u00a0W Cheng and Keith\u00a0J Holyoak. 1985. Pragmatic reasoning schemas. Cognitive psychology 17 4 (1985) 391\u2013416.","DOI":"10.1016\/0010-0285(85)90014-3"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","unstructured":"Helen\u00a0M. Doerr and Joseph\u00a0S. Tripp. 1999. Understanding How Students Develop Mathematical Models. Mathematical Thinking and Learning 1 3 (1999) 231\u2013254. 10.1207\/s15327833mtl0103_3","DOI":"10.1207\/s15327833mtl0103_3"},{"key":"e_1_3_3_2_8_2","unstructured":"Ed Dubinsky. 1997. On Learning Quantification. Journal of Computers in Mathematics and Science Teaching 16 2 (1997) 335\u2013362. https:\/\/www.learntechlib.org\/p\/20942"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Ed Dubinsky Flor Elterman and Cathy Gong. 1988. The Student\u2019s Construction of Quantification. For the Learning of Mathematics 8 2 (1988) 44\u201351. http:\/\/www.jstor.org\/stable\/40247924","DOI":"10.7748\/ns.2.44.51.s97"},{"key":"e_1_3_3_2_10_2","volume-title":"International Symposium on Teaching Logic and Reasoning in an Illogical World","author":"Dubinsky Ed","year":"1996","unstructured":"Ed Dubinsky and Olga Yiparaki. 1996. Predicate calculus and the mathematical thinking of students. In International Symposium on Teaching Logic and Reasoning in an Illogical World (1996). Centre of Discrete Mathematics and Theoretical Computer Science, Rutgers University."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Susanna\u00a0S. Epp. 2003. The Role of Logic in Teaching Proof. The American Mathematical Monthly 110 10 (2003) 886\u2013899. arXiv:10.1080\/00029890.2003.1192002910.1080\/00029890.2003.11920029","DOI":"10.1080\/00029890.2003.11920029"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3197091.3197095"},{"key":"e_1_3_3_2_13_2","unstructured":"Gesellschaft f\u00fcr Informatik e.\u00a0V.2016. Empfehlungen f\u00fcr Bachelor- und Master-Programme im Studienfach Informatik an Hochschulen. gi.de. https:\/\/dl.gi.de\/handle\/20.500.12116\/2351"},{"key":"e_1_3_3_2_14_2","volume-title":"The college student\u2019s understanding of mathematical proof","author":"Goetting Mary\u00a0Margaret","year":"1995","unstructured":"Mary\u00a0Margaret Goetting. 1995. The college student\u2019s understanding of mathematical proof. University of Maryland, College Park."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","unstructured":"Ken Goldman Paul Gross Cinda Heeren Geoffrey\u00a0L. Herman Lisa Kaczmarczyk Michael\u00a0C. Loui and Craig Zilles. 2010. Setting the Scope of Concept Inventories for Introductory Computing Subjects. ACM Trans. Comput. Educ. 10 2 Article 5 (jun 2010) 29\u00a0pages. 10.1145\/1789934.1789935","DOI":"10.1145\/1789934.1789935"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Sharon\u00a0L. Greene Susan\u00a0J. Devlin Philip\u00a0E. Cannata and Louis\u00a0M. Gomez. 1990. No IFs ANDs or ORs: A study of database querying. International Journal of Man-Machine Studies 32 3 (1990) 303\u2013326. 10.1016\/S0020-7373(08)80005-3","DOI":"10.1016\/S0020-7373(08)80005-3"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Geoffrey\u00a0L. Herman Michael\u00a0C. Loui Lisa Kaczmarczyk and Craig Zilles. 2012. Describing the What and Why of Students\u2019 Difficulties in Boolean Logic. ACM Trans. Comput. Educ. 12 1 Article 3 (3 2012) 28\u00a0pages. 10.1145\/2133797.2133800","DOI":"10.1145\/2133797.2133800"},{"key":"e_1_3_3_2_18_2","first-page":"89","volume-title":"Cognitive processes in comprehension","author":"Hinsley Dan\u00a0A","year":"1977","unstructured":"Dan\u00a0A Hinsley, John\u00a0R Hayes, and Herbert\u00a0A Simon. 1977. From words to equations meaning and representation in algebra word problems. In Cognitive processes in comprehension. Psychology Press, 89\u2013106."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/647149.716386"},{"key":"e_1_3_3_2_20_2","volume-title":"The reasoning ability and achievement of college level students enrolled in a logic class in computer science","author":"Kim Youngju","year":"1995","unstructured":"Youngju Kim. 1995. The reasoning ability and achievement of college level students enrolled in a logic class in computer science. The University of Texas at Austin."},{"key":"e_1_3_3_2_21_2","volume-title":"Qualitative content analysis (2nd edition ed.)","author":"Kuckartz Udo","year":"2023","unstructured":"Udo Kuckartz and Stefan R\u00e4diker. 2023. Qualitative content analysis (2nd edition ed.). SAGE."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3664191"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199372904.001.0001"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Nizaruddin St.\u00a0Budi Waluyo Rochmad and Isnarto. 2020. Profile of Student\u2019s Mathematical Representation Translation on the Verbal Problem. Universal Journal of Educational Research 8 (2020) 8178\u20138185. https:\/\/api.semanticscholar.org\/CorpusID:231637446","DOI":"10.13189\/ujer.2020.082621"},{"key":"e_1_3_3_2_25_2","first-page":"90","volume-title":"Proceedings of the Seventh Annual south Central Small College Computing Conference, The Journal of Computing in Small Colleges","volume":"11","author":"Owens BB","year":"1996","unstructured":"BB Owens and J Seiler. 1996. A study of the relationship between performance in propositional logic and computer science. In Proceedings of the Seventh Annual south Central Small College Computing Conference, The Journal of Computing in Small Colleges , Vol.\u00a011. 90\u201393."},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/VL.2000.874379"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1515\/9781400828678"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Yizhou Qian and James Lehman. 2017. Students\u2019 Misconceptions and Other Difficulties in Introductory Programming: A Literature Review. ACM Trans. Comput. Educ. 18 1 Article 1 (oct 2017) 24\u00a0pages. 10.1145\/3077618","DOI":"10.1145\/3077618"},{"key":"e_1_3_3_2_29_2","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society","volume":"39","author":"Ragni M.","year":"2017","unstructured":"M. Ragni, I. Kola, and P. Johnson-Laird. 2017. The Wason Selection Task: A Meta-Analysis. In Proceedings of the Annual Meeting of the Cognitive Science Society (2017), Vol.\u00a039."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3702652.3744201"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3545945.3569806"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Marko Schmellenkamp Florian Schmalstieg and Thomas Zeume. 2025. Supplementary material for this paper. 10.17605\/OSF.IO\/MXKCA","DOI":"10.17605\/OSF.IO\/MXKCA"},{"key":"e_1_3_3_2_33_2","unstructured":"Marko Schmellenkamp Fabian Vehlken and Thomas Zeume. 2024. Teaching Formal Foundations of Computer Science with Iltis. Bull. EATCS 142 (2024). http:\/\/eatcs.org\/beatcs\/index.php\/beatcs\/article\/view\/797"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"crossref","unstructured":"John Selden and Annie Selden. 1995. Unpacking the logic of mathematical statements. Educational studies in mathematics 29 2 (1995) 123\u2013151.","DOI":"10.1007\/BF01274210"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Larry Sowder and Guershon Harel. 1998. Types of students\u2019 justifications. Mathematics teacher 91 8 (1998) 670\u2013675.","DOI":"10.5951\/MT.91.8.0670"},{"key":"e_1_3_3_2_36_2","unstructured":"Anselm Strauss and Juliet Corbin. 1994. Grounded theory methodology: An overview.273\u2013285\u00a0pages."},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8126-4"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","unstructured":"Rose Vogel. 2005. Patterns\u2014a fundamental idea of mathematical thinking and learning. ZDM 37 5 (2005) 445\u2013449. 10.1007\/s11858-005-0035-z","DOI":"10.1007\/s11858-005-0035-z"},{"key":"e_1_3_3_2_39_2","volume-title":"New Horizons in Psychology","author":"Wason Peter\u00a0C.","year":"1966","unstructured":"Peter\u00a0C. Wason. 1966. New Horizons in Psychology. Penguin Books."},{"key":"e_1_3_3_2_40_2","volume-title":"Learning from strangers the art and method of qualitative interview studies (2. print. ed.)","author":"Weiss Robert\u00a0Stuart","year":"1994","unstructured":"Robert\u00a0Stuart Weiss. 1994. Learning from strangers the art and method of qualitative interview studies (2. print. ed.). Free Press."},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","unstructured":"W. Wiechert. 2003. The role of modeling in computational science education. Future Generation Computer Systems 19 8 (2003) 1363\u20131374. 10.1016\/S0167-739X(03)00093-1","DOI":"10.1016\/S0167-739X(03)00093-1"}],"event":{"name":"Koli Calling '25: 25th Koli Calling International Conference on Computing Education Research","acronym":"Koli Calling '25","location":"Koli Finland"},"container-title":["Proceedings of the 25th Koli Calling International Conference on Computing Education Research"],"original-title":[],"deposited":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T17:03:39Z","timestamp":1762448619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769994.3770012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":40,"alternative-id":["10.1145\/3769994.3770012","10.1145\/3769994"],"URL":"https:\/\/doi.org\/10.1145\/3769994.3770012","relation":{},"subject":[],"published":{"date-parts":[[2025,11,10]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}