基于子句综合权重的多元动态演绎算法及应用

曹锋; 徐梓伟; 易见兵; 李俊

doi:10.14188/j.1671-8836.2023.0205

您当前的位置：

首页 >

文章列表页 >

基于子句综合权重的多元动态演绎算法及应用

其他 | 更新时间：2025-05-09

- 基于子句综合权重的多元动态演绎算法及应用
- Multi-Clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight
- “在自动定理证明领域，专家提出了一种子句评估方法，有效提升定理证明效率，为该领域研究提供新思路。”
- 武汉大学学报（理学版） 2025年71卷第2期页码：301-312
- 作者机构：
  
  江西理工大学信息工程学院，江西赣州 341000
- 作者简介：
  
  曹锋，男，讲师，现从事智能信息处理、自动推理研究。E-mail：caofeng19840301@163.com
- 基金信息：
  
  国家自然科学基金(62366017;62066018);江西省教育厅项目(GJJ200818;GJJ210828);赣州市科技计划项目(GZKJ20206030);江西理工大学博士启动基金(205200100060)
- DOI：10.14188/j.1671-8836.2023.0205
  中图分类号： TP181
- 收稿日期：2023-10-31，
  
  纸质出版日期：2025-04-24
- 稿件说明：
移动端阅览
曹锋，徐梓伟，易见兵，等.基于子句综合权重的多元动态演绎算法及应用［J］.武汉大学学报（理学版），2025，71（2）：301-312. DOI：10.14188/j.1671-8836.2023.0205.

CAO Feng，XU Ziwei，YI Jianbing，et al.Multi-Clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight ［J］.J Wuhan Univ （Nat Sci Ed），2025，71（2）：301-312. DOI：10.14188/j.1671-8836.2023.0205（Ch）.
曹锋，徐梓伟，易见兵，等.基于子句综合权重的多元动态演绎算法及应用［J］.武汉大学学报（理学版），2025，71（2）：301-312. DOI：10.14188/j.1671-8836.2023.0205. DOI：

CAO Feng，XU Ziwei，YI Jianbing，et al.Multi-Clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight ［J］.J Wuhan Univ （Nat Sci Ed），2025，71（2）：301-312. DOI：10.14188/j.1671-8836.2023.0205（Ch）. DOI：

浏览量

160

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种形式化的可信平台模块应用编程接口安全性分析方法

基于子句综合权重的多元动态演绎算法及应用

Multi-Clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight

DOI：10.14188/j.1671-8836.2023.0205