Proof Width

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A measure of the maximum syntactic size (for example the number of literals in a clause) of intermediate formulas or clauses that appear in a proof; in resolution proofs it is typically the maximum clause width encountered.