Automated Reasoning”(Stanford Encyclopedia of Philosophy)…