firstProvedNPCompleteBy

15 triples
GPTKB property