找到2个数据集

格式: ZIP 标签: 形式化证明

过滤结果

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

    2025年12月23日 30 132 114

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

  • 布尔部分多态性验证数据集

    2025年12月13日 30 120 53

    数据集概述 该数据集包含布尔部分多态性验证的相关文件，围绕特定三元布尔合取函数f是否保持两种布尔关系（ΓL₀(χ₂)、ΓL₂(χ₃)）的问题展开，通过将问题转化为SMT-LIB2.0格式并使用Z3求解器验证，提供了问题实现文件、求解器输出及形式化证明等内容。 文件详解 f-pPol-GammaL0chi2-GammaL2chi3.z3：SMT-...
    packageimg