theorem machine prove的意思|示意
美 / ˈθi:ərəm məˈʃi:n pru:v /
英 / ˈθiərəm məˈʃin pruv /
[计] 定理机器证明