{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T14:26:54Z","timestamp":1774880814152,"version":"3.50.1"},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.5220\/0011070100003182","type":"proceedings-article","created":{"date-parts":[[2022,5,2]],"date-time":"2022-05-02T08:53:04Z","timestamp":1651481584000},"page":"116-123","source":"Crossref","is-referenced-by-count":4,"title":["Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example"],"prefix":"10.5220","author":[{"given":"Oleg","family":"Sychev","sequence":"first","affiliation":[{"name":"Software Engineering Department, Volgograd State Technical University, Lenin Ave, 28, Volgograd, Russian Federation, --- Select a Country ---"}]},{"given":"Nikita","family":"Penskoy","sequence":"additional","affiliation":[{"name":"Software Engineering Department, Volgograd State Technical University, Lenin Ave, 28, Volgograd, Russian Federation, --- Select a Country ---"}]},{"given":"Grigory","family":"Terekhov","sequence":"additional","affiliation":[{"name":"Software Engineering Department, Volgograd State Technical University, Lenin Ave, 28, Volgograd, Russian Federation, --- Select a Country ---"}]}],"member":"3171","event":{"name":"14th International Conference on Computer Supported Education","location":"Online Streaming, --- Select a Country ---","start":{"date-parts":[[2022,4,22]]},"end":{"date-parts":[[2022,4,24]]}},"container-title":["Proceedings of the 14th International Conference on Computer Supported Education"],"original-title":["Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example"],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T12:59:20Z","timestamp":1656680360000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0011070100003182"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0011070100003182","relation":{},"subject":[],"published":{"date-parts":[[2022]]}}}