3 ms·

http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/Automated_theorem_proving