{"version":"1.0","type":"link","title":"Models And Counter-Examples - Newikis","description":"Models And Counter-Examples (Mace) is a model finder. Most automated theorem provers try to perform a proof by refutation on the clause normal form of the proof problem, by showing that the combination of axioms and negated conjecture can never be simultaneously true, i.e. does not have a model. A…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}