%0 Journal Article %1 journals/jar/Wos85a %A Wos, Larry %D 1985 %J J. Autom. Reason. %K dblp %N 1 %P 6-9 %T What Is Automated Reasoning? %U http://dblp.uni-trier.de/db/journals/jar/jar1.html#Wos85a %V 1

@article{journals/jar/Wos85a, added-at = {2020-09-02T00:00:00.000+0200}, author = {Wos, Larry}, biburl = {https://www.bibsonomy.org/bibtex/2db2ee927a1329fa0eb52fe10b5bccb97/dblp}, interhash = {2719634da4e7a0c1acdee6e89844d64a}, intrahash = {db2ee927a1329fa0eb52fe10b5bccb97}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {6-9}, timestamp = {2020-09-09T13:35:31.000+0200}, title = {What Is Automated Reasoning?}, url = {http://dblp.uni-trier.de/db/journals/jar/jar1.html#Wos85a}, volume = 1, year = 1985 }