{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T22:10:45Z","timestamp":1725401445546},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/ccgrid.2003.1199433","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"678-685","source":"Crossref","is-referenced-by-count":4,"title":["MONET: service discovery and composition for mathematical problems"],"prefix":"10.1109","author":[{"given":"M.L.","family":"Aird","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.B.","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Tbd Technical Report","year":"2003","author":"chicha","key":"13"},{"year":"0","key":"11"},{"key":"12","first-page":"188","article-title":"Comparing mathematical provers","author":"wiedijk","year":"2003","journal-title":"Mathematical Knowledge Management Second International Conference MKM 2003 Volume 2594 of LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"2","first-page":"33","article-title":"Towards brokering problem-solving knowledge on the internet","author":"benjamins","year":"1999","journal-title":"Proceedings of the 11th European Workshop on Knowledge Acquisition Modeling and Management (EKAW-99) Volume 1621 of LNAI"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008653328901"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60018-0_5"},{"key":"7","first-page":"19","article-title":"Invited contribution: The infosleuth agent system","author":"nodine","year":"1998","journal-title":"M Klusch and G Wei\ufffd Editors Proceedings of the 2nd International Workshop on Cooperative Information Agents II Learning Mobility and Electronic Commerce for Information Discovery on the Internet Volume 1435 of LNAI"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258794"},{"journal-title":"Java API for XML-Based RPC (JAX-RPC)","year":"2003","author":"computers","key":"4"},{"journal-title":"JavaMath","year":"2003","author":"solomon","key":"9"},{"year":"0","key":"8"}],"event":{"name":"CCGrid 2003. 3rd IEEE\/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings.","start":{"date-parts":[[2003,5,15]]},"location":"Tokyo, Japan","end":{"date-parts":[[2003,5,15]]}},"container-title":["CCGrid 2003. 3rd IEEE\/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8544\/27003\/01199433.pdf?arnumber=1199433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T17:51:44Z","timestamp":1489427504000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1199433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ccgrid.2003.1199433","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}