Formal target: Corpus.WikipediaDiophantineTuple.hasUniqueExtension_of_forall

The "strong Diophantine 5-tuple conjecture", so-called because it implies the Diophantine 5-tuple theorem (see noIntegralDiophantineFiveTuple_of_hasUniqueExtensionOfForall).

Exact formal statement

Corpus.WikipediaDiophantineTuple.HasUniqueExtensionOfForall

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record