{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:26:33Z","timestamp":1725564393871},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153839"},{"type":"electronic","value":"9783642153846"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15384-6_5","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:24:42Z","timestamp":1283671482000},"page":"41-50","source":"Crossref","is-referenced-by-count":0,"title":["Syntax and Semantics for Business Rules"],"prefix":"10.1007","author":[{"given":"Xiaofan","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natasha","family":"Alechina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Logan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"OMG: Semantics of business vocabulary and business rules (SBVR) (2008)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2214623","volume":"1","author":"A.R. Anderson","year":"1967","unstructured":"Anderson, A.R.: Some nasty problems in the formal logic of ethics. No\u00fbs\u00a01, 345\u2013360 (1967)","journal-title":"No\u00fbs"},{"key":"5_CR3","series-title":"Extensions of Classical Logic","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"R. Bull","year":"2001","unstructured":"Bull, R., Segerberg, K.: Basic modal logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Extensions of Classical Logic, vol.\u00a0II, pp. 1\u201381. Kluwer, Dordrecht (2001)"},{"key":"5_CR4","unstructured":"Kare, J., Kristoffersen, C.P., Andersen, H.R.: Checking temporal business rules. In: Proceedings of the First International REA Workshop (2004)"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Inf. Comput.\u00a0104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"issue":"1-3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/j.tcs.2005.11.020","volume":"353","author":"F. Laroussinie","year":"2006","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Efficient timed model checking for discrete-time systems. Theor. Comput. Sci.\u00a0353(1-3), 249\u2013271 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR7","unstructured":"van Benthem, J.: Modal logic and classical logic. Bibliopolis (1983)"},{"key":"5_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (1997)"},{"key":"5_CR9","volume-title":"Finite model theory","author":"H.-D. Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite model theory. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15384-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:31:07Z","timestamp":1558287067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15384-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153839","9783642153846"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15384-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}