Beweisraum

Die maximale Menge einer speicherähnlichen Ressource, die während eines Beweises oder einer Widerlegung benötigt wird, meist formalisiert als die maximale Anzahl von Formeln, Klauseln oder Beweiszeilen, die gleichzeitig im Speicher gehalten werden müssen im Rahmen eines bestimmten Beweismodells.