hasNashEquilibrium
P137830
predicate
Indicates that a strategic interaction or game possesses at least one Nash equilibrium, where no participant can benefit by unilaterally changing their strategy.