_:n30b3cf50e50b49a586941f01d89dcfaexb9
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://www.semanticscholar.org/paper/Computability-and-%CE%BB-definability-Turing/ee8c779e7823814a5f1746d883ca77b26671b617>