{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:56Z","timestamp":1725471176920},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371878"},{"type":"electronic","value":"9783540371885"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11814771_12","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:44:21Z","timestamp":1160063061000},"page":"140-144","source":"Crossref","is-referenced-by-count":7,"title":["The MathServe System for Semantic Web Reasoning Services"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Zimmer","sequence":"first","affiliation":[]},{"given":"Serge","family":"Autexier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/3-540-45620-1_11","volume-title":"Automated Deduction - CADE-18","author":"J. Zimmer","year":"2002","unstructured":"Zimmer, J., Kohlhase, M.: System Description: The Mathweb Software Bus for Distributed Mathematical Reasoning. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 139\u2013143. Springer, Heidelberg (2002)"},{"key":"12_CR2","unstructured":"Martin, D., et al.: OWL-S: Semantic Markup for Web Services (2004), \n                    \n                      http:\/\/www.daml.org\/services\/owl-s\/1.1\/overview"},{"key":"12_CR3","unstructured":"Schreiner, W., Caprotti, O.: The MathBroker Project (2001), \n                    \n                      http:\/\/poseidon.risc.uni-linz.ac.at:8080\/mathbroker\/"},{"key":"12_CR4","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, F.U.A.J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"12_CR5","unstructured":"Sutcliffe, G.: The CADE-20 Automated Theorem Proving Competition. AI Communications (2006)"},{"key":"12_CR6","unstructured":"Zimmer, J., Meier, A., Sutcliffe, G., Zhang, Y.: Integrated Proof Transformation Services. In: Benzm\u00fcller, C., Windsteiger, W. (eds.) PROCof the Workshop on Computer-Supported Mathematical Theory Development, Cork, Ireland (2004)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/10721959_37","volume-title":"Automated Deduction - CADE-17","author":"A. Meier","year":"2000","unstructured":"Meier, A.: TRAMP: Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level. In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831, pp. 460\u2013464. Springer, Heidelberg (2000)"},{"key":"12_CR8","unstructured":"Sutcliffe, G., Zimmer, J., Schulz, S.: Communication Fomalisms for Automated Theorem Proving Tools. In: Sorge, V., Colton, S., Fisher, M., Gow, J. (eds.) Proc. of the IJCAI 2003 Workshop on Agents and Automated Reasoning (2003)"},{"issue":"1-2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(01)00113-8","volume":"131","author":"G. Sutcliffe","year":"2001","unstructured":"Sutcliffe, G., Suttner, C.: Evaluating General Purpose Automated Theorem Proving Systems. Artificial Intelligence\u00a0131(1-2), 39\u201354 (2001)","journal-title":"Artificial Intelligence"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Veloso, M., et al.: Integrating Planning and Learning: The PRODIGY Architecture. Journal of Experimental and Theoretical Artificial Intelligence\u00a07(1) (1995)","DOI":"10.1080\/09528139508953801"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11814771_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:33:23Z","timestamp":1558308803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11814771_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371878","9783540371885"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11814771_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}