<https://semiwiki.com/event/2020-wilson-research-group-verification-survey-results/#article>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://semiwiki.com/event/2020-wilson-research-group-verification-survey-results/>