정리 증명은 탐색 공간을 가지치기(prune)하기 위해 휴리스틱이 요구되는 가장 오래된 응용들 중 하나이다. 가역적인(procedures) 증명 절차는 주요한 도구로 자리해 왔다. 본 논문에서는 가역적 증명 절차의 기저 원리로 볼 수 있는, 새롭고 강력한 휴리스틱인 을 제시한다. 이 휴리스틱을 사용하여, 명제 논리를 위한 선행사(sequent) 계산으로부터 가역적 선행사 계산",
*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.