{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:49:57Z","timestamp":1725475797470},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676645"},{"type":"electronic","value":"9783540451013"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10721959_13","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T21:12:31Z","timestamp":1167426751000},"page":"177-182","source":"Crossref","is-referenced-by-count":3,"title":["System Description: aRa \u2013 An Automatic Theorem Prover for Relation Algebras"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Sinz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","first-page":"341","volume-title":"Distributive and modular laws in the arithmetic of relation algebras","author":"L.H. Chin","year":"1951","unstructured":"Chin, L.H., Tarski, A.: Distributive and modular laws in the arithmetic of relation algebras, vol.\u00a01(9), pp. 341\u2013384. University of California Publications in Mathematics, New Series, Berkeley, Los Angeles,santa barbara (1951)"},{"key":"13_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/3-540-49545-2_18","volume-title":"Logics in Artificial Intelligence","author":"J. Dawson","year":"1998","unstructured":"J. Dawson and R. Gor_e. A mechanized proof system for relation algebra using display logic. In JELIA\u201998, LNAI 1489, pages 264{278. Springer, 1998."},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/BFb0022252","volume-title":"Computer Science Logic","author":"L. Gordeev","year":"1995","unstructured":"Gordeev, L.: Cut free formalization of logic with finitely many variables, part I. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, pp. 136\u2013150. Springer, Heidelberg (1995)"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1093\/jigpal\/7.3.327","volume":"7","author":"L. Gordeev","year":"1999","unstructured":"Gordeev, L.: Variable compactness in 1-order logic. Logic Journal of the IGPL\u00a07(3), 327\u2013357 (1999)","journal-title":"Logic Journal of the IGPL"},{"key":"13_CR5","first-page":"405","volume-title":"AMAST 1993, Workshops in Computing","author":"C. Hattensperger","year":"1994","unstructured":"Hattensperger, C., Berghammer, R., Schmidt, G.: RALF - a relationalgebraic formula manipulation system and proof checker. In: AMAST 1995, Workshops in Computing, pp. 405\u2013406. Springer, Heidelberg (1994)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R. Maddux","year":"1983","unstructured":"Maddux, R.: A sequent calculus for relation algebras. Annals of Pure and Applied Logic\u00a025, 73\u2013101 (1983)","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR7","volume-title":"Colloquium Publications","author":"A. Tarski","year":"1987","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables. Optimization Techniques 1975, vol.\u00a04. American Mathematical Society, Providence (1987)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/3-540-63104-6_36","volume-title":"Automated Deduction - CADE-14","author":"D. Oheimb von","year":"1997","unstructured":"von Oheimb, D., Gritzner, T.: RALL: Machine-supported proofs for relation algebra. In: McCune, W. (ed.) CADE 1997. LNCS(LNAI), vol.\u00a01249, pp. 380\u2013394. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction - CADE-17"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10721959_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T10:17:24Z","timestamp":1553336244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10721959_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676645","9783540451013"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/10721959_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}