document.getElementById("med-ftitle").innerHTML=`迈向定理证明中统一的搜索模型：子目标约简策略
`;