广西师范大学学报（自然科学版）2024，Vol.42Issue(6)：P.164-176,13.DOI:10.16088/j.issn.1001-6600.2024020302
一种基于子句稳定度的多元动态演绎算法及应用
摘要
关键词
一阶逻辑/定理证明/人工智能/启发式策略/多元动态演绎分类
信息技术与安全科学引用本文复制引用
曹锋,王家帆,易见兵,李俊..一种基于子句稳定度的多元动态演绎算法及应用[J].广西师范大学学报（自然科学版）,2024,42(6):P.164-176,13.基金项目
国家自然科学基金(62366017,62066018) （62366017,62066018）
江西省教育厅项目(GJJ200818,GJJ210828) （GJJ200818,GJJ210828）
赣州市科技计划项目(GZKJ20206030) （GZKJ20206030）
江西理工大学博士启动基金(205200100060)。 （205200100060）
