{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:20Z","timestamp":1750306940455,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,29]],"date-time":"2013-09-29T00:00:00Z","timestamp":1380412800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,29]]},"DOI":"10.1145\/2499178.2499197","type":"proceedings-article","created":{"date-parts":[[2013,10,8]],"date-time":"2013-10-08T13:27:04Z","timestamp":1381238824000},"page":"131-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Specification and Logic Modelling in the context of IR"],"prefix":"10.1145","author":[{"given":"Miguel","family":"Martinez-Alvarez","sequence":"first","affiliation":[{"name":"Queen Mary, University of London"}]},{"given":"Marco","family":"Bonzanini","sequence":"additional","affiliation":[{"name":"Queen Mary, University of London"}]},{"given":"Thomas","family":"Roelleke","sequence":"additional","affiliation":[{"name":"Queen Mary, University of London"}]}],"member":"320","published-online":{"date-parts":[[2013,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Model checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. Peled . Model checking . The MIT press , 1999 . E. M. Clarke, O. Grumberg, and D. Peled. Model checking. The MIT press, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/s10506-010-9096-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/215206.215372"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/2040317.2040354"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/s00778-007-0073-y"}],"event":{"sponsor":["Findwise Findwise AB","Google Inc.","Spinque Spinque","Univ. of Copenhagen University of Copenhagen","LARM LARM Audio Research Archive","Royal School of Library and Information Science Royal School of Library and Information Science","Yahoo! Labs","SIGIR ACM Special Interest Group on Information Retrieval","British Computer Society BCS"],"acronym":"ICTIR '13","name":"ICTIR '13: International Conference on the Theory of Information Retrieval","location":"Copenhagen Denmark"},"container-title":["Proceedings of the 2013 Conference on the Theory of Information Retrieval"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499178.2499197","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2499178.2499197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:50Z","timestamp":1750235750000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499178.2499197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,29]]},"references-count":5,"alternative-id":["10.1145\/2499178.2499197","10.1145\/2499178"],"URL":"https:\/\/doi.org\/10.1145\/2499178.2499197","relation":{},"subject":[],"published":{"date-parts":[[2013,9,29]]},"assertion":[{"value":"2013-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}