EL证明形式与三种演算实验资源数据集2025

数据集概述

该数据集包含论文《The Shape of EL Proofs: A Tale of Three Calculi - DL25》中实验所用的材料，以压缩包形式存储，还附带说明实验运行方法的README文件，为相关研究提供实验资源支持。

文件详解

• 文件名称：experiment-DL2025.zip
• 文件格式：ZIP压缩包
• 内容说明：包含论文实验所用的全部材料，以及指导实验运行的README文件

适用场景

• 逻辑证明理论研究：用于分析EL证明形式与三种演算的关系
• 实验复现：支持研究者复现论文中描述的实验过程
• 计算机逻辑教学：作为教学案例，辅助讲解证明演算相关知识
• 形式化方法应用：为形式化验证领域的实验设计提供参考资源