{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:11:23Z","timestamp":1725455483366},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016281","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"545-553","source":"Crossref","is-referenced-by-count":1,"title":["Al-Khowarizmi : A formal system for higher-order logic programming"],"prefix":"10.1007","author":[{"given":"M. A. Nait","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","first-page":"56","volume":"5","author":"A. Church","year":"1940","unstructured":"Church A.: A formulation of the simple theory of types, JSL Vol 5 (1940), pp 56\u201368","journal-title":"JSL"},{"key":"52_CR2","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden M.H. and Kowalski R.: The semantics of logic as a programming language, J. ACM 23, (1976) pp. 733\u2013742","journal-title":"J. ACM"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Guessarian I.: Algebraic semantics, Springer LNCS 99, Berlin (1981)","DOI":"10.1007\/3-540-10284-1"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.-A.: Procedures in Horn-clause programming 3rd International Conference on Logic Programming (London, July 1986)","DOI":"10.1007\/3-540-16492-8_93"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016281.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:36:00Z","timestamp":1607549760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0016281","relation":{},"subject":[]}}