Largeur de Preuve

Une mesure de la taille syntaxique maximale (par exemple le nombre de littéraux dans une clause) des formules intermédiaires ou des clauses apparaissant dans une preuve ; en résolution, il s'agit typiquement de la largeur maximale des clauses rencontrées.