Model

A model is an interpretation that makes a formula (or set of formulae) true.

We can denote that $v$ is a model of $A$ by $\boxed{v \models A}$.

Set of all models

The set of all models of a formula $A$ is denoted by $\boxed{\bmod(A)}$.

For example, it is written as $\mathrm{mod}(\mathcal{S})=\{v_0,v_7\}$. If $\mathcal{S}$ is not satisfiable, then $\mathrm{mod}(\mathcal{S})=\varnothing$.

Link to original