{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:01Z","timestamp":1725664621058},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-63010-4_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:33Z","timestamp":1330279113000},"page":"1-14","source":"Crossref","is-referenced-by-count":2,"title":["What was Llull up to?"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Bonner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"1_CR1","volume-title":"Formal Methods; An introduction to symbolic logic and to the study of effective operations in arithmetic and logic","author":"E. W. Beth","year":"1962","unstructured":"Beth, E. W. (1962) Formal Methods; An introduction to symbolic logic and to the study of effective operations in arithmetic and logic, D. Reidel, Dordrecht."},{"key":"1_CR2","first-page":"51","volume":"34","author":"A. Bonner","year":"1994","unstructured":"Bonner, A. (1994) \u201dRamon Llull: relaci\u00f3, acci\u00f3, combinat\u00f3ria i l\u00f2gica moderna\u201d, Studia Lulliana 34, pp. 51\u201374.","journal-title":"Studia Lulliana"},{"key":"1_CR3","first-page":"7","volume":"81","author":"E. Colomer","year":"1979","unstructured":"Colomer, E. (1979a) \u201dRamon Llull, \u00bfprecursor de la inform\u00e1tica?\u201d, Bolet\u00edn CITEMA 81, pp. 7\u201344.","journal-title":"Bolet\u00edn CITEMA"},{"key":"1_CR4","first-page":"113","volume":"23","author":"E. Colomer","year":"1979","unstructured":"Colomer, E. (1979b) \u201dDe Ramon Llull a la moderna inform\u00e1tica\u201d, Estudios Lulianos 23, pp. 113\u2013135.","journal-title":"Estudios Lulianos"},{"key":"1_CR5","volume-title":"Graph Theory, with Applications to Engineering and Computer Science","author":"N. Deo","year":"1974","unstructured":"Deo, N., (1974) Graph Theory, with Applications to Engineering and Computer Science, Prentice-Hall, Englewood Cliffs, N.J."},{"key":"1_CR6","first-page":"171","volume":"4","author":"J. O. Fleckenstein","year":"1967","unstructured":"Fleckenstein, J. O. (1967) \u201dLeibniz's algorithmic interpretation of Lullus' art\u201d, Organon (Institut d'Histoire de la science et de la technique aupr\u00e8s de l'Acad\u00e9mie Polonaise des Sciences) 4, 171\u2013180.","journal-title":"Organon (Institut d'Histoire de la science et de la technique aupr\u00e8s de l'Acad\u00e9mie Polonaise des Sciences)"},{"key":"1_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0933-1","volume-title":"Graph Theory Applications","author":"L.R. Foulds","year":"1992","unstructured":"Foulds, L.R. (1992) Graph Theory Applications, Springer-Verlag, New York\/Berlin."},{"key":"1_CR8","volume-title":"Logic Machines and Diagrams","author":"M. Gardner","year":"1982","unstructured":"Gardner, M. (1982) \u201dThe Ars Magna of Ramon Lull\u201d, Logic Machines and Diagrams, University of Chicago Press, Chicago."},{"key":"1_CR9","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G. (1969) The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam."},{"key":"1_CR10","unstructured":"K\u00fcnzel W. and Cornelius, H. (1991) Die Ars Generalis Ultima des Raymundus Lullus. Studien zu einem geheimen Ursprung der Computertheorie, Berlin."},{"key":"1_CR11","volume-title":"Ars notatoria","author":"R. Llull","year":"1978","unstructured":"Llull, R. (1978) Ars notatoria, J. Gay\u00e0 editor, CITEMA, Madrid."},{"key":"1_CR12","volume-title":"Selected Works of Ramon Llull (1232\u20131316)","author":"R. Llull","year":"1985","unstructured":"Llull, R. (1985) Selected Works of Ramon Llull (1232\u20131316), A. Bonner, editor, 2 vols. Princeton University Press, Princeton, N.J."},{"key":"1_CR13","volume-title":"Doctor Illuminatus. A Ramon Llull Reader","author":"R. Llull","year":"1993","unstructured":"Llull, R. (1993) Doctor Illuminatus. A Ramon Llull Reader, A. Bonner and E. Bonner, editors, Princeton University Press, Princeton, N.J."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01560577","volume":"7","author":"I. McLean","year":"1990","unstructured":"McLean, I. and London, J. (1990) \u201dThe Borda and Condorcet Principles: Three Medieval Applications\u201d, Social Choice and Welfare 7, 99\u2013108.","journal-title":"Social Choice and Welfare"},{"key":"1_CR15","first-page":"21","volume":"32","author":"I. McLean","year":"1992","unstructured":"McLean, I. i London, J. (1992) \u201dRamon Lull and the Theory of Voting\u201d, Studia Lulliana 32, 21\u201337.","journal-title":"Studia Lulliana"},{"key":"1_CR16","first-page":"105","volume":"32","author":"A. H. Mar\u00f3stica","year":"1992","unstructured":"Mar\u00f3stica, A. H. (1992) \u201dArs combinatoria and Time: Llull, Leibniz and Peirce\u201d, Studia Lulliana 32, 105\u2013134.","journal-title":"Studia Lulliana"},{"key":"1_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0211-7","volume-title":"Logic for Applications","author":"A. Nerode","year":"1993","unstructured":"Nerode, A. and Shore, R. A. (1993) Logic for Applications, Springer Verlag, New York\/Berlin."},{"key":"1_CR18","first-page":"493","volume":"7","author":"B. Orio","year":"1994","unstructured":"Orio, B. (1994) \u201dLeibniz y la tradici\u00f3n neoplat\u00f3nica. Estado actual de la cuesti\u00f3n\u201d, Revista de Filosofia 7, p. 493\u2013517.","journal-title":"Revista de Filosofia"},{"key":"1_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First Order Logic","author":"R. M. Smullyan","year":"1968","unstructured":"Smullyan, R. M. (1968) First Order Logic, Springer-Verlag, Berlin."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:28:42Z","timestamp":1548980922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}