1) second recursion theorem
第二递归定理
2) first recursion theorem
第一递归定理
3) recursion theorem
递归定理
4) the second Helly theorem
Helly第二定理
5) recursive definition
递归定义
1.
Sub-ontology,atom ontology,and the recursive definition of ontology are made under summarization of the existing results.
总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础。
2.
Besides of meeting more needs from users, in the latest version of the collecting sub database of the oil and gas production dynamic database, a kind of bran new recursive definition mode is successfully used to replace the former attributive definition mode by way of a.
目前该库在满足更高需求的前提下 ,通过分析关键数据的内在联系 ,在升级版的汇总库中采用了全新的递归定义模式来取代过去的定语定义模式 ,并取得了良好的实际效
3.
Summarizing the results of the calculation we obtain a recursive definition of Sn,and the result that Sn can be generated by the binary elements,which may facilitate us to have further researches on abstract groups.
并将结果用于Sn(n=2,3,4,5,6)进行验证,表明了程序判断的正确性,对计算结果进行归纳获得了Sn的递归定义及Sn可由二元生成等结果,可为进一步研究抽象群提供方便。
补充资料：卡氏第二定理
见克罗蒂－恩盖塞定理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条