=Paper=
{{Paper
|id=Vol-4164/paper25
|storemode=property
|title=Operationalizing the Formalizability of Mathematics Problems for Intelligent Tutoring Systems: Taxonomy, Measurement Protocol, and Educational Impact
|pdfUrl=https://ceur-ws.org/Vol-4164/paper25.pdf
|volume=Vol-4164
|authors=Oleksandr Yevdokymov,Andriy Chukhray,Tetiana Stoliarenko
}}
==Operationalizing the Formalizability of Mathematics Problems for Intelligent Tutoring Systems: Taxonomy, Measurement Protocol, and Educational Impact==
<pdf width="1500px">https://ceur-ws.org/Vol-4164/paper25.pdf</pdf>
<pre>
None
</pre>