本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。 JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》
本数据集为西班牙中部Batallones-1和Batallones-3两个中新世晚期食肉动物化石点的研究数据，通过碳稳定同位素分析食肉动物牙釉质，探究其食性生态、栖息地偏好及营养级相互作用，包含3份补充表格文件。 论文“Feeding ecology and habitat preferences of top predators from two Miocene carnivore-rich a
本数据集包含批次反应器和微观世界实验中的氯代乙烯与微生物丰度数据，用于研究商业脱氯 consortium 在现场相关浓度下是否受全氟烷基酸（PFAAs）抑制。数据集共8个文件，均为Excel格式，覆盖实验中的化学指标、基因数据及环境参数。 论文“Microbial reductive dechlorination by a commercially-available dechlorinating
