{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:26:59Z","timestamp":1737178019388,"version":"3.33.0"},"reference-count":18,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2001,1]]},"DOI":"10.1080\/00207160108805059","type":"journal-article","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T00:25:13Z","timestamp":1182817513000},"page":"169-180","source":"Crossref","is-referenced-by-count":0,"title":["Improving the time efficiency of proving theorems using a learning mechanism"],"prefix":"10.1080","volume":"77","author":[{"given":"Ahmed","family":"Almonayyes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hazem","family":"Raafat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Almulla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rana'a","family":"Alharshani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"volume-title":"Ph.D. Thesis","year":"1995","author":"Almonayyes A.","key":"CIT0001"},{"volume-title":"Ph.D. Thesis","year":"1995","author":"Almulla M.","key":"CIT0002"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1080\/00207169608804524"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(94)90046-9"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.1.151"},{"key":"CIT0006","first-page":"53","volume":"9","author":"Bledsoe W.","year":"1979","journal-title":"Machine Intelligence"},{"volume-title":"Symbolic Logic and Mechanical Theorem Proving","year":"1973","author":"Chin-Lang C.","key":"CIT0007"},{"volume-title":"Online Help manual of NeuroShell 2's Software Package","year":"1993","author":"Frederick M.","key":"CIT0008"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/79.180705"},{"key":"CIT0010","doi-asserted-by":"crossref","DOI":"10.1016\/B978-1-55860-237-3.50005-4","volume-title":"Case-Based Reasoning","author":"Kolodner J.","year":"1993"},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"Lopes, R. and Tarver, M. 1997. Inducing Theorem Provers from Proofs. Proceedings of the Ninth IEEE International Conference on Published Tools with Artificial Intelligence. 1997. pp.157\u2013164.","DOI":"10.1109\/TAI.1997.632250"},{"key":"CIT0012","unstructured":"Newborn M. The Great Theorem Prover, Version 2, Newborn Software 1992"},{"volume-title":"Comparing Voting Systems","year":"1994","author":"Normi H.","key":"CIT0013"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"CIT0015","unstructured":"Specht, D. and Romsdahl, H. 1994. Experience with Adaptive Probabilistic Neural Networks and Adaptive General Regression Neural Networks. IEEE World Congress on Computational Intelligence, Proceedings of International Conference on Artificial Neural Networks. 1994. Vol. 2, pp.1203\u20131208."},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Specht, D. and Shapiro, P. 1991. Generalization Accuracy Probabilistic Neural Net-works Compared with Back Propagation Networks. Proceedings of Seattle International Conference on Neural Networks. 1991. pp.887\u2013892.","DOI":"10.1109\/IJCNN.1991.155296"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1007\/BF00297245"},{"key":"CIT0018","unstructured":"Yu, Q., Almulla, M. and Newborn, M. 1996. Heuristics for a Semantics Tree Theorem Prover. Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics AIU MATH-96. 1996. pp.162\u2013165. Florida Fort Lauderdale"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160108805059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T21:41:34Z","timestamp":1737150094000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160108805059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,1]]}},"alternative-id":["10.1080\/00207160108805059"],"URL":"https:\/\/doi.org\/10.1080\/00207160108805059","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"type":"print","value":"0020-7160"},{"type":"electronic","value":"1029-0265"}],"subject":[],"published":{"date-parts":[[2001,1]]}}}