{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:29:10Z","timestamp":1767637750250,"version":"3.48.0"},"reference-count":0,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":6337,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1017\/s0269888900006172","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:34:57Z","timestamp":1246959297000},"page":"81-83","source":"Crossref","is-referenced-by-count":0,"title":["Formal methods in artificial intelligence by Allan Ramsay, Cambridge University Press, Cambridge, 1991, pp 289, \u00a314.95 (paperback). ISBN 0 521 42421 6. - Formalism in AI and computer science by Philip Leith, Ellis Horwood, Chichester, 1990, pp 225, \u00a329.95. ISBN 013 325549 2. - Formal techniques in artificial intelligence: a sourcebook by RB Banerji (Ed.), North Holland, Amsterdam, 1990, pp 437, Dfl 160.00. ISBN 0 444 88130 1."],"prefix":"10.48130","volume":"7","author":[{"given":"Paul J","family":"Krause","sequence":"first","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900006172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:28Z","timestamp":1767624148000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900006172\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["S0269888900006172"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900006172","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}