_:n0b3664ca5b11409dafb607e468da7c73xb3
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://theaitoday.net/google-deepminds-alphaproof-and-alphageometry-2-solves-superior-reasoning-issues-in-arithmetic/>