Proof compression
id:
proof-compression-295-7902169
title:
Proof compression
text:
In proof theory, an area of mathematical logic, proof compression is the problem of algorithmically compressing formal proofs. The developed algorithms can be used to improve the proofs generated by automated theorem proving tools such as SAT solvers, SMT-solvers, first-order theorem provers and proof assistants.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Proof_compression
date created:
date modified:
2024-02-12T23:22:25Z
main entity:
{"identifier":"Q7250001","url":"https://www.wikidata.org/entity/Q7250001"}
image:
fields total:
13
integrity:
13