Beweisbreite

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Maß für die maximale syntaktische Größe (z. B. die Anzahl der Literale in einer Klausel) von Zwischenformeln oder Klauseln, die in einem Beweis auftreten; bei Resolutionbeweisen ist dies typischerweise die maximale Klauselbreite.