{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:05:44Z","timestamp":1725566744613},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540282310"},{"type":"electronic","value":"9783540318972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538363_3","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:35:33Z","timestamp":1127828133000},"page":"18-26","source":"Crossref","is-referenced-by-count":0,"title":["Note on Formal Analogical Reasoning in the Juridical Context"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"369","volume-title":"Expert Systems with Applications","author":"M. Baaz","year":"1992","unstructured":"Baaz, M., Quirchmayr, G.: Logic-based models of analogical reasoning. In: Expert Systems with Applications, vol.\u00a04, pp. 369\u2013378. Pergamon Press, Oxford (1992)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BFb0022250","volume-title":"Computer Science Logic","author":"M. Baaz","year":"1995","unstructured":"Baaz, M., Salzer, G.: Semi-unification and generalizations of a particularly simple form. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, pp. 106\u2013120. Springer, Heidelberg (1995)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0168-0072(94)00054-7","volume":"75","author":"M. Baaz","year":"1995","unstructured":"Baaz, M., Zach, R.: Generalizing theorems in real closed fields. Ann. Pure Appl. Logic\u00a075, 3\u201323 (1995)","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR4","series-title":"Claredon Law Series","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198761624.001.0001","volume-title":"Precedent in English law","author":"R. Cross","year":"1991","unstructured":"Cross, R., Harris, J.W.: Precedent in English law, 4th edn. Claredon Law Series. Oxford University Press, Oxford (1991)","edition":"4"},{"key":"3_CR5","unstructured":"Euler, L.: Opera Omnia, ser. 1, vol. 14, 73\u201386, 138\u2013155, 177\u2013186"},{"key":"3_CR6","volume-title":"Mathematik in Antike und Orient. Mathematik im Abendland","author":"H. Gericke","year":"1992","unstructured":"Gericke, H.: Mathematik in Antike und Orient. Mathematik im Abendland. Fourier Verlag, Wiesbaden (1992)"},{"key":"3_CR7","unstructured":"Kant, I.: Critique of Pure Reason, trans. N. Kemp Smith, St Martins Press (1929) A133\/B172"},{"key":"3_CR8","unstructured":"Kelsen, H.: Reine Rechtslehre. Verlag \u00d6sterreich (2000) (reprinted from 2nd edition from 1960)"},{"key":"3_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-87156-6","volume-title":"Juristische Logik","author":"U. Klug","year":"1982","unstructured":"Klug, U.: Juristische Logik, 4th edn. Springer, Heidelberg (1982)","edition":"4"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF01625836","volume":"27","author":"J. Krajicek","year":"1988","unstructured":"Krajicek, J., Pudlak, P.: The number of proof lines and the size of proofs in first order logic. Arch. Math. Log.\u00a027, 69\u201384 (1988)","journal-title":"Arch. Math. Log."},{"key":"3_CR11","unstructured":"Kreisel, G.: On analogies in contemporary mathematics, 1978 UNESCO lecture. In: Hahn, Sinac\u00e8ur (eds.) Penser avec Aristote, Er\u00eas, pp. 399\u2013408 (1991)"},{"key":"3_CR12","unstructured":"Orevkov, V.P.: Reconstruction of the proof from its scheme. In: 8th Sov. Conf. Math. Log. Novosibirsk, p. 133 (1984) (Russian abstract)"},{"key":"3_CR13","series-title":"Mathematics and plausible reasoning","volume-title":"Induction and analogy in mathematics","author":"G. Polya","year":"1954","unstructured":"Polya, G.: Induction and analogy in mathematics. Mathematics and plausible reasoning, vol.\u00a0I. Princeton University Press, Princeton (1954)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538363_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T10:01:17Z","timestamp":1706608877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538363_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282310","9783540318972"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11538363_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}