对等机

MD中分布式搜索和多搜索的结合。D(系统描述)。对等体MD D实现了基于等式的逻辑、模关联和交换性的收缩策略,具有仿简、简化和功能包容。这是一个新版本的对等体MCD,它并行化McCune的证明器EQP(版本0.9D),根据修改的子句扩散方法(HTTP://www. csUIOWAEDU/BONACNIA/CD.html)。