Alternative names (6)
bewiesen im Jahr • proofYear • provedInYear • provenInYear • yearOfFirstProof • yearProvenRandom triples
| Subject | Object |
|---|---|
| gptkb:Catalan's_Conjecture | 2002 |
| gptkb:Uniformization_theorem | 1907 |
| gptkb:Horn_conjecture | 1999 |
| gptkb:Lagrange's_theorem_(number_theory) | 1770 |
| gptkb:Yau's_theorem | 1978 |
| gptkb:positive_energy_theorem | 1979 |
| gptkb:Kunen_inconsistency | 1971 |
| gptkb:Hilbert–Waring_theorem | 1909 |
| gptkb:Wilkie's_theorem | 1996 |
| gptkb:Mihăilescu's_Theorem | 2002 |
| gptkb:Mostow_rigidity_theorem | 1968 |
| gptkb:Index_theorem | 1963 |
| gptkb:Church-Rosser_theorem | 1936 |
| gptkb:Thue–Siegel–Roth_theorem | 1955 |
| gptkb:Thomason's_theorem | 1978 |
| gptkb:Fejér's_theorem | 1900 |
| gptkb:Borel–Tits_theorem | 1972 |
| gptkb:Gibbard–Satterthwaite_Theorem | 1973 |
| gptkb:Shanin's_theorem | 1948 |
| gptkb:Mori's_theorem | 1982 |