Models And Counter-Examples
id:
models-and-counter-examples-248-12723832
title:
Models And Counter-Examples
text:
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 model finder such as Mace, on the other hand, tries to find an explicit model of a set of clauses. If it succeeds, this corresponds to a counter-example for the conjecture, i.e. it disproves the (claim
brand slug:
wiki
category slug:
encyclopedia
description:
Computer software for model generation
original url:
https://en.wikipedia.org/wiki/Models_And_Counter-Examples
date created:
date modified:
2024-03-17T11:44:28Z
main entity:
{"identifier":"Q16905864","url":"https://www.wikidata.org/entity/Q16905864"}
image:
fields total:
13
integrity:
14