DeclarativeConstraintBasedTheory
method
ID: declarativeconstraintbasedtheory
Entity Details
Basic Information
Entity ID
declarativeconstraintbasedtheory
Entity Type
Method
English Label
DeclarativeConstraintBasedTheory
Russian Label
ДекларативнаяТеорияНаОсновеОграничений
Kazakh Label
ШектеулерНегізіндегіДекларативтіТеория
Frequency
1
Description
English Description
A theory that adds constraints to a pool during derivation steps.
Russian Description
-
Kazakh Description
-