非紧凑证明

这篇文章可能讨论了一篇关于非紧凑证明的研究论文，可能在形式验证或数理逻辑的背景下。术语“非紧凑”表明重点在于某些与紧凑性相关的性质不成立的证明系统。需要访问全文才能理解具体的贡献和影响。