找到2个数据集

标签: 有效性判定

过滤结果

  • AHXIOM框架下F_A_P猜想形式化证明数据集

    2025年12月23日 30 93 22

    数据集概述 本数据集是AHXIOM框架下F=A+P猜想的形式化证明文档，包含证明的核心步骤、逻辑符号定义、运算符说明及AHXIOM系统内的验证过程，围绕猜想的假设、断言、接受和准入四阶段展开，为理解该猜想的逻辑结构提供支持。 文件详解 文件名称: Conjetura F=A+P_ Demostración Formal en AHXIOM...
    packageimg

  • 树状和玫瑰状微钻孔_遗迹科_Dendrinidae_分类修订表2

    2025年12月4日 30 149 32

    数据集概述 本数据集为树状和玫瑰状微钻孔（遗迹科Dendrinidae）分类修订研究中的表格文件，系统性记录了多种遗迹分类单元的分类学评估、修订状态及有效性判定结果。 文件详解 文件名称: table.html 文件格式: HTML (.html) 内容说明:...
    packageimg