document.getElementById("med-ftitle").innerHTML=`基于子句扩散的分布式归结：分布式收缩与Aquarius证明器
`;