Anchura de la Prueba
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una medida del tamaño sintáctico máximo (por ejemplo, el número de literales en una cláusula) de fórmulas o cláusulas intermedias que aparecen en una prueba; en pruebas por resolución suele ser la anchura máxima de cláusulas encontrada.