Proof Space

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The maximal amount of memory-like resource required during a proof or refutation, often formalized as the maximum number of formulas, clauses, or proof lines that must be simultaneously kept in memory under a specified proof model.