document.getElementById("med-ftitle").innerHTML=`通过归结法实现的消解与冗余消除
`;