The Shape of EL Proofs: A Tale of Three Calculi - DL25 - Resources
收藏官方服务：
资源简介：
experiment-DL2025.zip contains the materials used in the experiment described in the paper, in addition to a README file with instructions on how to run the experiment.
提供机构：
Zenodo创建时间：
2025-07-22
