{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:52:16Z","timestamp":1743004336697,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230298"},{"type":"electronic","value":"9783540278184"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27818-4_3","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:26:47Z","timestamp":1267108007000},"page":"32-43","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing Set Theory as it Is Actually Used"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-94-017-0253-9_7","volume-title":"Thirty Five Years of Automating Mathematics","author":"A. Avron","year":"2003","unstructured":"Avron, A.: Transitive Closure and the Mechanization of Mathematics. In: Kamareddine, F. (ed.) Thirty Five Years of Automating Mathematics, pp. 149\u2013171. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"3_CR3","volume-title":"First-Order Logic revisited","author":"A. Avron","year":"2004","unstructured":"Avron, A.: Safety Signatures for First-order Languages and Their Applications. In: Hendricks, et al. (eds.) First-Order Logic revisited. Logos Verlag, Berlin (2004)"},{"key":"3_CR4","volume-title":"Foundations of Set Theory","author":"A. Fraenkel","year":"1973","unstructured":"Fraenkel, A., Bar-Hillel, Y., Levy, A.: Foundations of Set Theory. North-Holland, Amsterdam (1973)"},{"key":"3_CR5","volume-title":"Cantorian Set Theory and Limitation of Size","author":"M. Hallett","year":"1984","unstructured":"Hallett, M.: Cantorian Set Theory and Limitation of Size. Clarendon Press, Oxford (1984)"},{"key":"3_CR6","first-page":"147","volume":"1","author":"B. Padlewska","year":"1990","unstructured":"Padlewska, B.: Families of Sets. Formalized Mathematics\u00a01, 147\u2013152 (1990)","journal-title":"Formalized Mathematics"},{"key":"3_CR7","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"key":"3_CR8","volume-title":"Handbook Of Mathematical Logic","author":"J.R. Shoenfield","year":"1977","unstructured":"Shoenfield, J.R.: Axioms of Set Theory. In: Barwise, J. (ed.) Handbook Of Mathematical Logic. North-Holland, Amsterdam (1977)"},{"key":"3_CR9","volume-title":"Principles of database and knowledge-base systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of database and knowledge-base systems. Computer Science Press, Rockville (1988)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27818-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T10:09:39Z","timestamp":1552385379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27818-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230298","9783540278184"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27818-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}