{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:31Z","timestamp":1725664351345},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601562"},{"type":"electronic","value":"9783540495338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60156-2_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:45:58Z","timestamp":1330278358000},"page":"255-263","source":"Crossref","is-referenced-by-count":7,"title":["An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus"],"prefix":"10.1007","author":[{"given":"Luis M.","family":"Laita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Ledesma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Roanes-Mac\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Halmos, P.R. Lectures on Boolean Algebras. Springer-Verlag (1974)","DOI":"10.1007\/978-1-4612-9855-7"},{"key":"18_CR2","unstructured":"Hearn, A.C.: REDUCE User's Manual v.3.3. Rand Pub. (1987)"},{"key":"18_CR3","unstructured":"Hermes, H.: La teor\u00eda de ret\u00edculos y su aplicaci\u00f3n a la l\u00f3gica mate\u00e1tica. Conf. Mat. VI, CSIC-Madrid (1963)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Char, B.W. et al.: Maple V. Library Reference Manual. Springer-Verlag (1991)","DOI":"10.1007\/978-1-4757-2133-1"},{"key":"18_CR5","unstructured":"Monk, D.: Handbook of Boolean Algebras. North-Holland (1989)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"McCallum, M., Wright, F.: Algebraic Computing with REDUCE. Oxford Univ. Press (1991)","DOI":"10.1093\/oso\/9780198534440.001.0001"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Rayna, G.: REDUCE. Software for Algebraic Computation. Springer-Verlag (1987)","DOI":"10.1007\/978-1-4612-4806-4"}],"container-title":["Lecture Notes in Computer Science","Integrating Symbolic Mathematical Computation and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60156-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:42:21Z","timestamp":1713631341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60156-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601562","9783540495338"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-60156-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}