{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:33:08Z","timestamp":1725535988914},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>There is an empirical claim that, when exploring a<\/jats:p><jats:p>mathematical theory, after a succession of key results have been<\/jats:p><jats:p>obtained, a point of equilibrium is reached where any query of<\/jats:p><jats:p>interest can be resolved by routine reasoning from the results<\/jats:p><jats:p>already established. Here is suggested some ways of thinking about<\/jats:p><jats:p>the situation, in general.  There are at least some situations where<\/jats:p><jats:p>we can establish that all results (of a certain shape) will follow<\/jats:p><jats:p>by routine reasoning from a small number of key properties.  An<\/jats:p><jats:p>example is described, and the significance for automated theory<\/jats:p><jats:p>exploration discussed.<\/jats:p>","DOI":"10.29007\/zp5m","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T22:57:44Z","timestamp":1516748264000},"page":"46-37","source":"Crossref","is-referenced-by-count":0,"title":["Theory Exploration: a role for Model Theory?"],"prefix":"10.29007","volume":"17","author":[{"given":"Alan","family":"Smaill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"ATx'12\/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T22:58:46Z","timestamp":1516748326000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/BHf8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/zp5m","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}