1) push-out strength
推出强度
2) strong provability
强推出
1.
The Second is to reduce the problem determining if satisfiability of a “unless” property in a UNITY program can be derived from that of othe “unless” properties to the strong provability problem in propositional logic.
我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证，其中强推出是本文引进的新概念。
4) Strength of Recommendations
推荐强度
1.
Evolution of Levels of Evidence and Strength of Recommendations in Medical Research;
医学研究中证据分级和推荐强度的演进
5) strength estimating
强度推定
1.
According to the author s many years practice and experience of the strength check of the masonry mortar,this paper approaches to the precision of the current check methods and the proper strength estimating ways as well as states the problems that should be noticed in check.
文章通过作者多年来砌筑砂浆强度检测的实践和经验积累,对现有检测方法测试精度和强度推定进行了探讨,并阐述了检测中应注意的一些问题。
6) inference intensity
推理强度
补充资料：不能推出
亦称“推不出”。证明中论据和论题之间没有必然联系的逻辑错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条