{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:34Z","timestamp":1725663874903},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581567"},{"type":"electronic","value":"9783540484677"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58156-1_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:24:23Z","timestamp":1330251863000},"page":"816-820","source":"Crossref","is-referenced-by-count":0,"title":["EUODHILOS-II on top of GNU epoch"],"prefix":"10.1007","author":[{"given":"Takeshi","family":"Ohtani","sequence":"first","affiliation":[]},{"given":"Hajime","family":"Sawamura","sequence":"additional","affiliation":[]},{"given":"Toshiro","family":"Minami","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"67_CR1","unstructured":"M. Bedau and J. Moor. PROOF DESIGNER: A Programmable Prover's Workbench. In Philosophy and the Computer, pages 218\u2013228. Westview Press, 1992."},{"key":"67_CR2","unstructured":"M. Dawson. Using the wp Generic Logic Environment. Technical Report, Dept. of Computing, Imperial College, 1989."},{"key":"67_CR3","doi-asserted-by":"crossref","unstructured":"A. Felty and D. Miller. Specifying Theorem Provers in a Higher-Order Logic Programming Language. In 9th International Conference on Automated Deduction, LNCS 310, pages 61\u201380. Springer, 1988.","DOI":"10.1007\/BFb0012823"},{"key":"67_CR4","doi-asserted-by":"crossref","unstructured":"M.J. Gordon. HOL \u2014 A Proof Generating System for Higher-Order Logic. In VLSI Specification, Verification and Synthesis, pages 73\u2013128. Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-1-4613-2007-4_3"},{"key":"67_CR5","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A Framework for Defining Logics. In Symposium on Logic in Computer Science, pages 194\u2013204. IEEE, 1987."},{"key":"67_CR6","doi-asserted-by":"crossref","unstructured":"C.B. Jones, K.D. Jones, P.A. Lindsay, and R. Moore. MURAL: A Formal Development Support System. Springer, 1990.","DOI":"10.1007\/978-1-4471-3180-9"},{"key":"67_CR7","unstructured":"T. Ohtani. Reasoning Assistant System EUODHILOS-II: Operation Manual. Research Report, ISIS, FUJITSU LABORATORIES LTD., 1993. in preparation."},{"key":"67_CR8","unstructured":"L.C. Paulson and T. Nipkow. Isabelle Tutorial and User's Manual. Technical Report 189, University of Cambridge, Computer Laboratory, 1990."},{"key":"67_CR9","unstructured":"H. Sawamura, T. Minami, K. Yokota and K. Ohashi. A Logic Programming Approach to Specifying Logics and Constructing Proofs. In Proc. of the Seventh International Conference on Logic Programming, pages 405\u2013424, MIT Press, 1990."},{"key":"67_CR10","doi-asserted-by":"crossref","unstructured":"H. Sawamura, T. Minami and K. Ohashi. EUODHILOS: A General Reasoning System for a Variety of Logics. In Proc. of International Conference on Logic Programming and Automated Reasoning, LNAI 624, pages 501\u2013503. Springer, 1992.","DOI":"10.1007\/BFb0013101"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-12"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58156-1_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:46Z","timestamp":1605629866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58156-1_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581567","9783540484677"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58156-1_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}