{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:01Z","timestamp":1725470761869},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_44","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T12:40:30Z","timestamp":1158151230000},"page":"490-493","source":"Crossref","is-referenced-by-count":6,"title":["Automated Reasoning About Metric and Topology"],"prefix":"10.1007","author":[{"given":"Ullrich","family":"Hustadt","sequence":"first","affiliation":[]},{"given":"Dmitry","family":"Tishkovsky","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Fuchs, A., Tinelli, C.: Implementing the model evolution calculus. International Journal of Artificial Intelligence Tools\u00a015(1) (2005)","DOI":"10.1142\/S0218213006002552"},{"key":"44_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-45616-3_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Blackburn","year":"2002","unstructured":"Blackburn, P., Marx, M.: Tableaux for quantified hybrid logic. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 38\u201352. Springer, Heidelberg (2002)"},{"key":"44_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-45744-5_30","volume-title":"Automated Reasoning","author":"R. Letz","year":"2001","unstructured":"Letz, R., Stenz, G.: DCTP - A disconnection calculus theorem prover - system abstract. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 381\u2013385. Springer, Heidelberg (2001)"},{"key":"44_CR4","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1016\/B978-044450813-3\/50023-0","volume-title":"Handbook of Automated Reasoning","author":"H.J. Ohlbach","year":"2001","unstructured":"Ohlbach, H.J., Nonnengart, A., de Rijke, M., Gabbay, D.M.: Encoding two-valued nonclassical logics in classical logic. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1403\u20131485. Elsevier, Amsterdam (2001)"},{"issue":"2-3","key":"44_CR5","first-page":"91","volume":"15","author":"A. Riazanov","year":"2002","unstructured":"Riazanov, A., Voronkov, A.: The design and implementation of VAMPIRE. AI Comm.\u00a015(2-3), 91\u2013110 (2002)","journal-title":"AI Comm."},{"key":"44_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-540-45085-6_36","volume-title":"Automated Deduction \u2013 CADE-19","author":"R.A. Schmidt","year":"2003","unstructured":"Schmidt, R.A., Hustadt, U.: A principle for incorporating axioms into the first-order translation of modal formulae. In: Baader, F. (ed.) CADE 2003. LNCS (LNAI), vol.\u00a02741, pp. 412\u2013426. Springer, Heidelberg (2003)"},{"issue":"2\/3","key":"44_CR7","first-page":"111","volume":"15","author":"S. Schulz","year":"2002","unstructured":"Schulz, S.: E: A Brainiac theorem prover. AI Comm.\u00a015(2\/3), 111\u2013126 (2002)","journal-title":"AI Comm."},{"key":"44_CR8","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-45620-1_22","volume-title":"Automated Deduction - CADE-18","author":"C. Weidenbach","year":"2002","unstructured":"Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobald, C., Topic, D.: SPASS version 2.0. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 275\u2013279. Springer, Heidelberg (2002)"},{"key":"44_CR9","first-page":"1275","volume-title":"Proc. of IJCAI 2003","author":"F. Wolter","year":"2003","unstructured":"Wolter, F., Zakharyaschev, M.: Reasoning about distances. In: Proc. of IJCAI 2003, pp. 1275\u20131280. Morgan Kaufmann, San Francisco (2003)"},{"key":"44_CR10","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2178\/jsl\/1122038915","volume":"70","author":"F. Wolter","year":"2005","unstructured":"Wolter, F., Zakharyaschev, M.: A logic for metric and topology. Journal of Symbolic Logic\u00a070, 795\u2013828 (2005)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T02:22:22Z","timestamp":1552270942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11853886_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}