_:neb80f4aa37a2474092b52983ab38d44dxb0
<http://schema.org/url>
<https://cvc4.github.io/2012/12/03/announcing-the-release-of-cvc4.html>
<https://cvc4.github.io/2012/12/03/announcing-the-release-of-cvc4.html>