{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:08Z","timestamp":1725456068766},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023768","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:11:10Z","timestamp":1132377070000},"page":"201-212","source":"Crossref","is-referenced-by-count":0,"title":["Stable logic"],"prefix":"10.1007","author":[{"given":"Brigitte","family":"H\u00f6sli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Entailment Vol.1","author":"A.R. Anderson","year":"1975","unstructured":"A.R. Anderson and N.D. Belnap, Entailment Vol.1, Princeton University Press, Princeton, New Jersey, 1975."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y. Girard","year":"1987","unstructured":"J-Y. Girard, Linear Logic, Theoretical Computer Science, vol.50(1987), pp. 1\u2013101.","journal-title":"Linear Logic, Theoretical Computer Science"},{"key":"15_CR3","volume-title":"Introduction of Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene, Introduction of Metamathematics, D. Van Nostrand Company, Princeton, 1952."},{"key":"15_CR4","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"G. Takeuti, Proof Theory, North-Holland, Amsterdam, 1975."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023768.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:50:32Z","timestamp":1607532632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023768"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0023768","relation":{},"subject":[]}}