Benchmark 9E
The Mathematical World: Reasoning
Grades 9-12, page 234

Very complex logical arguments can be made from a lot of small logical steps. Computers are particularly good at working with complex logic but not all logical problems can be solved by computers. High-speed computers can examine the validity of some logical propositions for a very large number of cases, although that may not be a perfect proof.

No closely related standards have been identified.