{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"institution":[{"name":"The University of Queensland","department":["School of Information Technology and Electrical Engineering"]}],"indexed":{"date-parts":[[2022,12,2]],"date-time":"2022-12-02T05:53:30Z","timestamp":1669960410226},"reference-count":0,"publisher":"University of Queensland Library","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.14264\/da6cfd2","type":"dissertation","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T17:51:11Z","timestamp":1669917071000},"approved":{"date-parts":[[2005,1,1]]},"source":"Crossref","is-referenced-by-count":0,"title":["Agent-based proof support for interactive theorem proving"],"prefix":"10.14264","author":[{"sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Hunter","sequence":"first","affiliation":[]}],"member":"5387","container-title":[],"original-title":[],"deposited":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T17:53:17Z","timestamp":1669917197000},"score":1,"degree":["PhD Thesis"],"resource":{"primary":{"URL":"https:\/\/espace.library.uq.edu.au\/view\/UQ:da6cfd2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.14264\/da6cfd2","relation":{},"subject":[]}}