_:nb93cb6327b71464fa79f0add9fce2c1bxb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://eng.libretexts.org/Bookshelves/Computer_Science/Programming_and_Computation_Fundamentals/Book%3A_Delftse_Foundations_of_Computation/02%3A_Proof/2.01%3A_A_Little_Historial_Background>