The proof in the 20th century: from Hilbert to authomatic theorem proving