lemma generation
- порождение лемм
#
в логическом программировании – способ доказательства справедливости утверждений (теорем); в поисковых системах или стратегиях вычислений – способ уменьшения избыточности пространства поиска или пространства вычислений.
Связные термины
computation space, lemma, logical programming, search space
