notableAttemptedProofYear
1
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:Masser–Oesterlé_conjecture | 2012 |