an Entity references as follows:
Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. It was the first program deliberately engineered to perform automated reasoning and is called "the first artificial intelligence program". See It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica and find new and more elegant proofs for some.