定理証明システムJJapedia 編集部|更新日: 2026年7月30日 定理証明システム (TPS)は、一階および高階論理の自動定理証明システム です。TPS はカーネギーメロン大学で開発されました。その教育バージョンはETPS (教育用定理証明システム) として知られています。 外部リンク 定理証明システムウェブページ vte 関連するトピック関連、一階関連高階論理の関連自動定理証明関連カーネギーメロン大学
