Predicate Invariance
method
ID: predicateinvariance
Entity Details
Basic Information
Entity ID
predicateinvariance
Entity Type
Method
English Label
Predicate Invariance
Russian Label
Предикатная инвариантность
Kazakh Label
Предикаттық инварианттылық
Frequency
1
Description
English Description
A property indicating that both types of function are invariant under predicates.
Russian Description
-
Kazakh Description
-