{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:34Z","timestamp":1725549994943},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289319"},{"type":"electronic","value":"9783540318224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11554554_4","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:02:57Z","timestamp":1127829777000},"page":"15-32","source":"Crossref","is-referenced-by-count":0,"title":["Formal Versus Rigorous Mathematics: How to Get Your Papers Published"],"prefix":"10.1007","author":[{"given":"Erik","family":"Rosenthal","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/321592.321603","volume":"17","author":"R. Anderson","year":"1970","unstructured":"Anderson, R., Bledsoe, W.: A linear format for resolution with merging and a new technique for establishing completeness. J. ACM\u00a017(3), 525\u2013534 (1970)","journal-title":"J. ACM"},{"key":"4_CR2","unstructured":"Aristotle, Analytica Posteriora, Athens, Greece, 340 BC"},{"key":"4_CR3","unstructured":"Berkeley, G.: The Analyst: Or, a Discourse Addressed to an Infidel Mathematician, Dublin (1734)"},{"key":"4_CR4","volume-title":"Set Theory and the Continuum Hypothesis","author":"P.J. Cohen","year":"1996","unstructured":"Cohen, P.J.: Set Theory and the Continuum Hypothesis, 4th edn. W. A. Benjamin, New York (1996)","edition":"4"},{"key":"4_CR5","volume-title":"The Joy of Sets: Fundamentals of Contemporary Set Theory","author":"K. Devlin","year":"1994","unstructured":"Devlin, K.: The Joy of Sets: Fundamentals of Contemporary Set Theory, 2nd edn. Springer, New York (1994)","edition":"2"},{"key":"4_CR6","unstructured":"Dunham, W.: Euler: The Master of Us All. The Mathematical Association of America, Washington (1999)"},{"key":"4_CR7","volume-title":"The Historical Development of the Calculus","author":"C.H. Edwards Jr.","year":"1994","unstructured":"Edwards Jr., C.H.: The Historical Development of the Calculus. Springer, New York (1994)"},{"key":"4_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107049963","volume-title":"The Printing Press as an Agent of Change","author":"E.L. Eisenstein","year":"1980","unstructured":"Eisenstein, E.L.: The Printing Press as an Agent of Change. Cambridge University Press, Cambridge (1980)"},{"key":"4_CR9","unstructured":"Euclid, Elements, Athens, Greece, 280 BC"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.tcs.2004.09.001","volume":"328","author":"R. H\u00e4hnle","year":"2004","unstructured":"H\u00e4hnle, R., Murray, N.V., Rosenthal, E.: Completeness for linear, regular negation normal form inference systems. Theoretical Computer Science\u00a0328(3), 325\u2013354 (2004)","journal-title":"Theoretical Computer Science"},{"key":"4_CR11","volume-title":"History of Greek Mathematics: From Thales to Euclid","author":"T.L. Heath","year":"1981","unstructured":"Heath, T.L.: History of Greek Mathematics: From Thales to Euclid. Dover Publications, New York (1981)"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/23005.23716","volume":"34","author":"N.V. Murray","year":"1987","unstructured":"Murray, N.V., Rosenthal, E.: Inference with path resolution and semantic graphs. J. ACM\u00a034(2), 225\u2013254 (1987)","journal-title":"J. ACM"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/174130.174135","volume":"40","author":"N.V. Murray","year":"1993","unstructured":"Murray, N.V., Rosenthal, E.: Dissolution: Making paths vanish. J.ACM\u00a040(3), 504\u2013535 (1993)","journal-title":"J.ACM"},{"key":"4_CR14","volume-title":"G\u00f6del\u2019s Proof, (revised edition)","author":"E. Nagel","year":"2002","unstructured":"Nagel, E., Newman, J.R.: G\u00f6del\u2019s Proof (revised edition). New York University Press, New York (2002)"},{"key":"4_CR15","unstructured":"Robinson, J.A., Rosenthal, E.: Lunch at Woody\u2019s Place. In: Boyer, R.S. (ed.) Ethereal Proceedings of the Symposium in Honor of Woody Bledsoe, Austin, Texas, $\\aleph_3 - \\aleph_{11}$ (November 1991)"},{"key":"4_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195046724.001.0001","volume-title":"G\u00f6del\u2019s Incompleteness Theorems","author":"R.M.. Smullyan","year":"1992","unstructured":"Smullyan, R.M.: G\u00f6del\u2019s Incompleteness Theorems. Oxford University Press, Oxford (1992)"},{"key":"4_CR17","first-page":"1879","volume-title":"From Frege to Godel: A Source Book in Mathematical Logic","year":"1967","unstructured":"Van Heijenoort, J. (ed.): From Frege to Godel: A Source Book in Mathematical Logic, pp. 1879\u20131931. Harvard University Press, Cambridge (1967)"},{"key":"4_CR18","unstructured":"The MacTutor History of Mathematics Archive, http:\/\/www-groups.dcs.st-and.ac.uk\/~history\/"},{"key":"4_CR19","unstructured":"PRIME: The Platonic Realms Interactive Mathematics Encyclopedia, http:\/\/www.mathacademy.com\/pr\/prime\/"},{"key":"4_CR20","unstructured":"Stanford Encyclopedia of Philosophy, http:\/\/plato.stanford.edu\/"},{"key":"4_CR21","unstructured":"Wikipedia, the Free Encyclopedia, http:\/\/en.wikipedia.org\/wiki\/Main_Page"}],"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\/11554554_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T03:16:42Z","timestamp":1626578202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11554554_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289319","9783540318224"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11554554_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}