{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:20Z","timestamp":1725484100799},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439295"},{"type":"electronic","value":"9783540456162"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45616-3_21","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:26:55Z","timestamp":1179361615000},"page":"298-314","source":"Crossref","is-referenced-by-count":1,"title":["A New Indefinite Semantics for Hilbert\u2019s Epsilon"],"prefix":"10.1007","author":[{"given":"Claus-Peter","family":"Wirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1987","unstructured":"Wolfgang Bibel (1987). Automated Theorem Proving. 2nd rev. ed., Vieweg, Braunschweig."},{"key":"21_CR2","unstructured":"Wolfgang Bibel, Peter H. Schmitt (eds.) (1998). Automated Deduction \u2014 A Basis for Applications. Kluwer Acad. Publ.."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"1264","DOI":"10.2307\/2586700","volume":"65","author":"A. Blass","year":"2000","unstructured":"Andreas Blass, Yuri Gurevich (2000). The Logic of Choice. J. Symbolic Logic 65, pp. 1264\u20131310.","journal-title":"J. Symbolic Logic"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Melvin C. Fitting (1996). First-Order Logic and Automated Theorem Proving. 2nd extd. ed., Springer.","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Martin Giese, Wolfgang Ahrendt (1999). Hilbert\u2019s \u2208-Terms in Automated Theorem Proving. 8th TABLEAU 1999, LNAI1617, pp. 171\u2013185, Springer.","DOI":"10.1007\/3-540-48754-9_17"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-663-16102-8","volume-title":"Die Grundlagen der Mathematik","author":"D. Hilbert","year":"1928","unstructured":"David Hilbert (1928). Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Seminar der Univ. Hamburg 6, pp. 65\u201385."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"David Hilbert, Paul Bernays (1968\/70). Grundlagen der Mathematik. 2nd ed., Springer.","DOI":"10.1007\/978-3-642-86894-8"},{"key":"21_CR8","unstructured":"Micha\u00ebl Kohlhase (1998). Higher-Order Automated Theorem Proving. In:Peter H. Schmitt (eds.) (1998). Automated Deduction \u2014 A Basis for Applications. Kluwer Acad. Publ.. [2], Vol. 1, pp. 431\u2013462."},{"key":"21_CR9","volume-title":"Mathematical Logic and Hilbert\u2019s \u2208-Symbol","author":"A. C. Leisenring","year":"1969","unstructured":"A. C. Leisenring (1969). Mathematical Logic and Hilbert\u2019s \u2208-Symbol. Gordon and Breach, New York."},{"key":"21_CR10","unstructured":"Claus-Peter Wirth (2000). Descente Infinie + Deduction. Report 737\/2000, FB Informatik, Univ. Dortmund. Extd. version, Feb. 1, 2002. http:\/\/ags.uni-sb. de\/~cp\/p\/tab99\/new.html (Feb. 01, 2002)."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45616-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:04:35Z","timestamp":1556409875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45616-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439295","9783540456162"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45616-3_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}