Espace de Preuve

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La quantité maximale de ressource de type mémoire requise durant une preuve ou une réfutation, souvent formalisée comme le nombre maximal de formules, clauses ou lignes de preuve devant être simultanément conservées en mémoire selon un modèle de preuve donné.