_:N904f3272e114417fbed24fe807e554fd .
.
_:Nfe67b38b065b4016ab649741cbd0a16e "Springer Nature - SN SciGraph project" .
.
_:N2c13822e8c5f4aca99b48f2971f310db .
"2022-01-01T18:04" .
"theory" .
_:Nfe67b38b065b4016ab649741cbd0a16e .
"0168-7433" .
.
"This paper presents some experiments using an automated theorem proving program (ATP) to prove theorems in nonassociative ring theory of varying difficulty. Several simple theorems proved by the program are discussed and other more difficult theorems that have been attempted are presented with some commentary as to why the program failed to find certain proofs. We also give some open problems that might be suitable for investigation with an ATP." .
"Cognitive Sciences" .
"Psychology and Cognitive Sciences" .
_:N87771fce686e41dc97a95d6a575b8cb5 .
.
.
"Argonne National Laboratory, 9700 South Cass Avenue, 60439, Argonne, IL, USA" .
.
"problem" .
"proving programs" .
.
"open problem" .
"article" .
.
"ATP" .
.
.
.
.
"Artificial Intelligence and Image Processing" .
_:N87771fce686e41dc97a95d6a575b8cb5 "2" .
.
"https://scigraph.springernature.com/explorer/license/" .
"211-221" .
.
_:N2c13822e8c5f4aca99b48f2971f310db .
_:N87771fce686e41dc97a95d6a575b8cb5 .
_:N27de2f90f81b4a73a18808e85b23432b "doi" .
"Springer Nature" .
.
"Journal of Automated Reasoning" .
"certain proofs" .
_:N27de2f90f81b4a73a18808e85b23432b .
_:Nfe67b38b065b4016ab649741cbd0a16e .
"Argonne National Laboratory, 9700 South Cass Avenue, 60439, Argonne, IL, USA" .
_:N904f3272e114417fbed24fe807e554fd .
"false"^^ .
"Information and Computing Sciences" .
.
"theorem" .
"https://doi.org/10.1007/bf00243209" .
.
.
"difficulties" .
"experiments" .
"articles" .
.
"Some experiments in nonassociative ring theory with an automated theorem prover" .
.
"1987-06-01" .
"proof" .
"theorem proving programs" .
"nonassociative ring theory" .
.
.
_:N904f3272e114417fbed24fe807e554fd "3" .
.
"simple theorem" .
_:N2b57c3c6a665469b9e9957ec65bbf215 .
.
"1987-06" .
.
.
"commentary" .
"program" .
"ring theory" .
_:N27de2f90f81b4a73a18808e85b23432b "10.1007/bf00243209" .
"Stevens" .
.
.
"en" .
_:N27de2f90f81b4a73a18808e85b23432b .
_:N2c13822e8c5f4aca99b48f2971f310db "pub.1032603112" .
"paper" .
"investigation" .
_:N2c13822e8c5f4aca99b48f2971f310db "dimensions_id" .
"Computation Theory and Mathematics" .
_:N2b57c3c6a665469b9e9957ec65bbf215 .
"1573-0670" .
_:N2b57c3c6a665469b9e9957ec65bbf215 .
.
"Rick L." .
"difficult theorems" .