이 문서의 주제는 위키피디아의 일반적인알림 가이드라인을 충족하지 못할 수 있습니다. 주제와는 무관하고 단순한 언급을 넘어 상당한 내용을 다루는 신뢰할 수 있는 2차 출처를 인용함으로써 주제 인지도를 입증할 수 있도록 도와주시기 바랍니다. 알림을 표시할 수 없는 경우 문서가 병합, 리디렉션또는 삭제될 수 있습니다.출처 : "Theorem Providing System"–뉴스· 신문·서적 ·학자· JSTOR (2016년5월) (이 템플릿메시지 삭제 방법 및 삭제 시기 확인)
정리증명시스템(TPS)은 1차 이상의 논리를 위한 자동화된 정리증명시스템이다.TPS는 카네기 멜론 대학에서 개발되었습니다.이것의 교육적인 버전은 ETPS로 알려져 있다.
