GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
yearProved
URI:
https://gptkb.org/prop/yearProved
520
triples
GPTKB property
Alternative names (6)
bewiesen im Jahr
•
proofYear
•
provedInYear
•
provenInYear
•
yearOfFirstProof
•
yearProven
Random triples
Subject
Object
gptkb:Mordell–Weil_theorem
1922
gptkb:Erdős–Ginzburg–Ziv_theorem
1961
gptkb:Gross–Zagier_formula
1986
gptkb:Schmidt_Subspace_Theorem
1972
gptkb:positive_energy_theorem
1979
gptkb:Green–Tao_theorem
2004
gptkb:Mordell-Weil_Theorem
1922
gptkb:Hadamard's_prime_number_theorem
1896
gptkb:Alexandrov–Hausdorff_theorem
1916
gptkb:Hartman–Grobman_theorem
1960
gptkb:Little_Picard_theorem
1879
gptkb:Serre's_conjecture
2008
gptkb:Piatetski-Shapiro_prime_number_theorem
1953
gptkb:Sacks_jump_inversion_theorem
1964
gptkb:Berger's_theorem_on_cellular_automata
1966
gptkb:Chen's_theorem
1966
gptkb:Matiyasevich–Robinson–Davis–Putnam_theorem
1970
gptkb:Riemannian_Synge's_theorem
1936
gptkb:Rokhlin's_theorem
1952
gptkb:Thurston's_geometrization_conjecture
2003
Please wait…