{"version":"1.0","type":"link","title":"CADE ATP System Competition - Newikis","description":"The CADE ATP System Competition (CASC) is an annual competition of fully automated theorem provers for classical logic.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}