Goal Driven Bottom Up Derivation

Back to List
method ID: goaldrivenbottomupderivation

Entity Details

Basic Information

Entity ID

goaldrivenbottomupderivation

Entity Type

Method

English Label

Goal Driven Bottom Up Derivation

Russian Label

Вывод с низу вверх, ориентированный на цель

Kazakh Label

Мақсатқа негізделген төменнен жоғары шығару

Frequency

1

Description

English Description

A derivation method that starts from goals and works backward to find proofs, using a bottom-up approach.

Russian Description

-

Kazakh Description

-