Automatická komprese důkazů nalézáním nových definic

Abstrakt

Předkládáme nový algoritmus na automatickou kompresi množin termů pomocí hledání nových definic.

Klíčová slova

• Automatická
• komprese
• důkazů
• nalézáním
• nových
• definic