{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/252967"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/252967","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Declarative theorem proving for operational semantics","abstract":"","abstract_html":null,"abstract_has_math":false,"creators":["Syme, Donald R"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1999,"date_issued":"1999-03-16","date_published":"1999-03-16","updated_at":"2026-07-22T22:24:08Z","subjects":[],"languages":["en"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/47543f75-bffc-42a8-b989-103bbcc4b739/download","https://www.rioxx.net/licenses/all-rights-reserved/","https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/b4b1a079-0c94-4e1c-9aee-02d53824aeb2/download"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.16633","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Syme, Donald R"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["1999-03-16"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/252967"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/47543f75-bffc-42a8-b989-103bbcc4b739/download","https://www.rioxx.net/licenses/all-rights-reserved/","https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/b4b1a079-0c94-4e1c-9aee-02d53824aeb2/download"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.16633"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/4fe2212d-b372-404a-9150-b1b5ff92ea3c/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["87eda9de84448d1f82354d60eee3eb5f","c169d47c277f07912ffa470e169990ea","57acb7d556dbb1d0c379ab7904c0032c"]},{"key":"dc:title","label":"Title","values":["Declarative theorem proving for operational semantics"]}]}],"canonical_facts":{"dc:creator":["Syme, Donald R"],"dc:date.issued":["1999-03-16"],"dc:format.checksum.md5":["87eda9de84448d1f82354d60eee3eb5f","c169d47c277f07912ffa470e169990ea","57acb7d556dbb1d0c379ab7904c0032c"],"dc:identifier.doi":["10.17863/CAM.16633"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/4fe2212d-b372-404a-9150-b1b5ff92ea3c/download"],"dc:language":["en"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/252967"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/47543f75-bffc-42a8-b989-103bbcc4b739/download","https://www.rioxx.net/licenses/all-rights-reserved/","https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/b4b1a079-0c94-4e1c-9aee-02d53824aeb2/download"],"dc:title":["Declarative theorem proving for operational semantics"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:08Z"}