{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:10Z","timestamp":1725663490609},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530824"},{"type":"electronic","value":"9783540466536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53082-7_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:56:42Z","timestamp":1330207002000},"page":"221-232","source":"Crossref","is-referenced-by-count":0,"title":["Properties and actions"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Sch\u00f6nfeld","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"volume-title":"Handbook of Mathematical Logic","year":"1977","key":"12_CR1","unstructured":"J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam 1977"},{"key":"12_CR2","volume-title":"The foundations of mathematics","author":"E.W. Beth","year":"1959","unstructured":"E.W. Beth, The foundations of mathematics, North-Holland Publ. Co., Amsterdam 1959"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/182.183","volume":"26","author":"W. Bibel","year":"1983","unstructured":"W. Bibel, Matings in Matrices, Communications of the ACM 26(1983), 844\u2013852","journal-title":"Communications of the ACM"},{"key":"12_CR4","unstructured":"K.A. Bowen, R.A. Kowalski, Amalgamation of language and metalanguage in logic programming, in: D.D. Clark, S.-A. T\u00e4rnlund (Eds.), Logic Programming, Academic Press (1982), 153\u2013172"},{"key":"12_CR5","volume-title":"Modula-Prolog User Manual, KLR 85-107 C","author":"C. Muller","year":"1985","unstructured":"C. Muller, Modula-Prolog User Manual, KLR 85-107 C, Brown, Boveri & Company, Baden\/Switzerland (1985)"},{"key":"12_CR6","unstructured":"W. Sch\u00f6nfeld, PROLOG extensions based on tableau calculus, Proc. 9th Int. Conf. Artificial Intelligence, Aug. 1985, Los Angeles, Ca., Vol. 2, pp. 730\u2013732."},{"key":"12_CR7","unstructured":"W. Sch\u00f6nfeld, W. Stephan, Integration of Descriptive and Procedural Language Constructs, to appear in the Proc. Computer Science Logic '88 (Duisburg), Springer Lecture Notes in Computer Science."},{"key":"12_CR8","volume-title":"Denotational Semantics: The Scott-strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"J. E. Stoy, Denotational Semantics: The Scott-strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977."}],"container-title":["Lecture Notes in Computer Science","Natural Language and Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53082-7_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:12Z","timestamp":1619572272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53082-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530824","9783540466536"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-53082-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}