existenceTheorem

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Nash_Equilibria Every finite game has at least one Nash equilibrium (possibly in mixed strategies)
gptkb:Nash_equilibrium every finite game has at least one Nash equilibrium (possibly in mixed strategies)