{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:15Z","timestamp":1725456195448},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012871","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"730-734","source":"Crossref","is-referenced-by-count":1,"title":["Challenge problems from nonassociative rings for theorem provers"],"prefix":"10.1007","author":[{"given":"Rick L.","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","first-page":"276","volume-title":"Proceedings of the IRIA Symposium on Automatic Demonstration","author":"L. Wos","year":"1968","unstructured":"L. Wos and G. A. Robinson Paramodulation and set of support. in Proceedings of the IRIA Symposium on Automatic Demonstration, Versailles, France, Springer-Verlag Publ. 1968, 276\u2013310."},{"key":"52_CR2","unstructured":"E. Lusk and R. Overbeek. The Automated Reasoning System ITP. Argonne National Laboratory, ANL-84-27, 1984."},{"key":"52_CR3","volume-title":"An Introduction to Nonassociative Algebras","author":"R. D. Schafer","year":"1966","unstructured":"R. D. Schafer. An Introduction to Nonassociative Algebras. Academic Press, New York, 1966."},{"key":"52_CR4","volume-title":"Rings that are Nearly Associative","author":"K. A. Zhevlakov","year":"1982","unstructured":"K. A. Zhevlakov, et. al. Rings that are Nearly Associative. Academic Press, New York, 1982."},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"R. L. Stevens, Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover, Journal of Automated Reasoning, Vol 3 No. 2, 1987.","DOI":"10.1007\/BF00243209"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"T. C. Wang, Case Studies of Z-module Reasoning: Proving Benchmark Theorems from Ring Theory, Journal of Automated Reasoning, Vol 3 No. 4, 1987.","DOI":"10.1007\/BF00247439"},{"key":"52_CR7","unstructured":"T. C. Wang and R. L. Stevens, Solving Open Problems in Right Alternative Rings with Z-Module Reasoning, Submitted to Journal of Automated Reasoning."}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012871.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:06:46Z","timestamp":1607353606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0012871","relation":{},"subject":[]}}