<https://cvc4.github.io/2012/12/03/announcing-the-release-of-cvc4.html>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/WebPage>
<https://cvc4.github.io/2012/12/03/announcing-the-release-of-cvc4.html>