semicomputable predicate半可计算述词;半可计算谓词;半可计算谓词英语;翻译
semicomputable set翻译;半可计算集;半可算集
actually semicomputable实际半可计算的
infinite semicomputable subset[数] 无穷半可计算子集
infinite branch semicomputable set无穷半可计算集
infinite semicomputable set[数] 无穷半可计算集;翻译
infinite branch semicomputable subset无穷半可计算子集