<https://valiosys.com/#/schema/person/407291bc2dc2ff60da48885e862a7a8b>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/Person>
<https://valiosys.com/what-is-automath-what-does-automath-mean-automath-meaning-definition-explanation>