{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:28:29Z","timestamp":1725456509714},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614630"},{"type":"electronic","value":"9783540685951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014342","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T04:04:25Z","timestamp":1132718665000},"page":"563-566","source":"Crossref","is-referenced-by-count":0,"title":["InterACT: An interactive theorem prover for algebraic specifications"],"prefix":"10.1007","author":[{"given":"Robert","family":"Geisler","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Klar","sequence":"additional","affiliation":[]},{"given":"Felix","family":"Cornelius","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"I. Cla\u00dfen, H. Ehrig, and D. Wolz. Algberaic Specification Techniques and Tools for Software Development \u2014 The ACT Approach. AMAST Series in Computing Vol. 1. World Scientific, 1993.","DOI":"10.1142\/9789814440813_0001"},{"key":"41_CR2","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"key":"41_CR3","unstructured":"R. Geisler and M. Klar. Design and realisation of the interactive theorem-and completeness prover interact for algebraic specifications (in german). Master's thesis, Berlin University of Technology, June 1995."},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"M. Klar, R. Geisler, and F. Cornelius. InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations. submitted to Proc. 11th WADT, Oslo, 1996.","DOI":"10.1007\/3-540-61629-2_49"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"P. Robinson and J. Staples. Formalizing a hierarchical structure of practical mathematical reasoning. Journal of Logic and Computation, 3(1), Feb. 1993.","DOI":"10.1093\/logcom\/3.1.47"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"L. Th\u00e9ry, Y. Bertot, and G. Kahn. Real theorem provers deserve real userinterfaces. ACM Software Engineering Notes, 17(5), 1992. Fifth ACM SIGSOFT Symposium on Software Development Environments.","DOI":"10.1145\/142868.143760"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T11:49:06Z","timestamp":1683287346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614630","9783540685951"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0014342","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}