找到1个数据集

格式: ZIP 标签: 一致性判定

过滤结果

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

    2025年12月23日 30 9 1

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