{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T18:20:54Z","timestamp":1747592454650},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676645"},{"type":"electronic","value":"9783540451013"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10721959_31","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T21:12:31Z","timestamp":1167426751000},"page":"406-410","source":"Crossref","is-referenced-by-count":16,"title":["System Description: SystemOnTPTP"],"prefix":"10.1007","author":[{"given":"Geoff","family":"Sutcliffe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/B978-0-444-81704-4.50015-6","volume-title":"Parallel Processing for Artificial Intelligence","author":"C.B. Suttner","year":"1994","unstructured":"Suttner, C.B., Schumann, J.: Parallel Automated Theorem Proving. In: Kanal, L., Kumar, V., Kitano, H., Suttner, C. (eds.) Parallel Processing for Artificial Intelligence, vol.\u00a01, pp. 209\u2013257. Elsevier Science, Amsterdam (1994)"},{"issue":"2","key":"31_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, G., Suttner, C.B.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning\u00a021(2), 177\u2013203 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"31_CR3","first-page":"341","volume-title":"Proceedings of the 12th Florida Artificial Intelligence Research Symposium","author":"G. Sutcliffe","year":"1999","unstructured":"Sutcliffe, G., Seyfang, D.: Smart Selective Competition Parallelism ATP. In: Kumar, A., Russell, I. (eds.) Proceedings of the 12th Florida Artificial Intelligence Research Symposium, (Orlando, USA), pp. 341\u2013345. AAAI Press, Menlo Park (1999)"},{"key":"31_CR4","unstructured":"Sutcliffe, G.: The CADE-16 ATP System Competition. Journal of Automated Reasoning (to appear)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction - CADE-17"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10721959_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T10:41:26Z","timestamp":1553337686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10721959_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676645","9783540451013"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/10721959_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}