Properties (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:addresses |
Preda Mihăilescu
|
| gptkbp:appliesTo |
natural numbers
|
| gptkbp:designedBy |
gptkb:Édouard_Lucas
|
| https://www.w3.org/2000/01/rdf-schema#label |
Catalan's conjecture
|
| gptkbp:involves |
natural numbers
|
| gptkbp:isA |
gptkb:theorem
|
| gptkbp:issues |
the equation x^a - y^b = 1
|
| gptkbp:previouslyKnownAs |
Mihăilescu's_theorem
|
| gptkbp:publishedIn |
2002
|
| gptkbp:relatedTo |
Diophantine_equations
|
| gptkbp:state |
the only solution in natural numbers is 3^2 - 2^3 = 1
|