{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:11Z","timestamp":1725663191950},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167808"},{"type":"electronic","value":"9783540398615"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16780-3_147","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:01:42Z","timestamp":1330196502000},"page":"705-706","source":"Crossref","is-referenced-by-count":3,"title":["The KRIPKE automated theorem proving system"],"prefix":"10.1007","author":[{"given":"Paul B.","family":"Thistlewaite","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"McRobbie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert K.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"73_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity, Vol.1","author":"A.R. Anderson","year":"1975","unstructured":"A.R. Anderson and N.D. Belnap Jr., Entailment: The Logic of Relevance and Necessity, Vol.1, Princeton University Press, New Jersey, 1975."},{"key":"73_CR2","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene, Introduction to Metamathematics, North-Holland, Amsterdam, 1952."},{"key":"73_CR3","doi-asserted-by":"crossref","first-page":"324","DOI":"10.2307\/2964568","volume":"24","author":"S.A. Kripke","year":"1959","unstructured":"S.A. Kripke, \u201cThe Problem of Entailment\u201d, (Abstract), Journal of Symbolic Logic, 24 (1959), 324.","journal-title":"Journal of Symbolic Logic"},{"key":"73_CR4","unstructured":"G.J. McGovern, Automatic Theorem-Proving for Some Non-Classical Logics, M.A. Thesis, La Trobe University, 1984."},{"key":"73_CR5","unstructured":"M.A. McRobbie, A Proof Theoretic Investigation of Relevant and Modal Logics, Ph.D. Thesis, Australian National University, 1979."},{"key":"73_CR6","unstructured":"M.A. McRobbie, R.K. Meyer and P.B. Thistlewaite, \u201cComputer Aided Investigations into the Decision Problem for Relevant Logics: The Search for a Free Associative Connective\u201d, pp. 236\u2013267 in Proceedings of the Sixth Australian Computer Science Conference, ed. L. Goldschlager, Basser Department of Computer Science, University of Sydney, 1983."},{"key":"73_CR7","unstructured":"R.K. Meyer, Topics in Modal and Many-Valued Logics, Ph.D. Thesis, University of Pittsburgh, 1966."},{"key":"73_CR8","unstructured":"P.B. Thistlewaite, Automated Theorem-Proving in Non-Classical Logics, Ph.D. Thesis, Australian National University, 1984."},{"key":"73_CR9","unstructured":"P.B. Thistlewaite, M.A. McRobbie and R.K. Meyer, Automated Theorem-Proving in Non-Classical Logics, Manuscript, 1985."},{"key":"73_CR10","first-page":"233","volume":"28","author":"P.B. Thistlewaite","year":"1985","unstructured":"P.B. Thistlewaite, M.A. McRobbie and R.K. Meyer, \u201cAdvanced Theorem-Proving Techniques for Relevant Logics\u201d, Logique et Analyse, 28 (1985), 233\u2013256.","journal-title":"Logique et Analyse"}],"container-title":["Lecture Notes in Computer Science","8th International Conference on Automated Deduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16780-3_147.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:07:18Z","timestamp":1619557638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16780-3_147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167808","9783540398615"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16780-3_147","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}