is one of the seven millennium prize problems

2 triples
GPTKB property