provenBy

URI: https://gptkb.org/prop/provenBy
844 triples
GPTKB property
Alternative names (11)
bewiesen von • firstProvedBy • proof • proofBy • proofMethod • provedBy • provedIn • proven using • provenFor • provenIn • proves • more
Random triples
Subject Object
gptkb:Schnirelmann's_theorem gptkb:Lev_Schnirelmann
gptkb:Gallai's_conjecture trees
gptkb:Rota's_conjecture gptkb:Eric_Katz
gptkb:Margulis_arithmeticity_theorem gptkb:Grigory_Margulis
gptkb:Farrell–Jones_conjecture gptkb:hyperbolic_groups
gptkb:Law_of_Large_Numbers Chebyshev
gptkb:Cayley-Hamilton_theorem gptkb:Arthur_Cayley
gptkb:spectral_theorem gptkb:David_Hilbert
gptkb:Strong_Perfect_Graph_Theorem gptkb:Paul_Seymour
gptkb:PCP_theorem gptkb:Sanjeev_Arora
gptkb:PCP_theorem gptkb:Madhu_Sudan
gptkb:multidimensional_Szemerédi_theorem gptkb:Alexander_Leibman
gptkb:Euclid–Euler_Theorem gptkb:Euclid
gptkb:Compactness_theorem gptkb:Kurt_Gödel
gptkb:Calabi-Yau_manifolds gptkb:Shing-Tung_Yau
gptkb:Property_P_conjecture gptkb:Tomasz_Mrowka
gptkb:Willmore_conjecture gptkb:André_Neves
gptkb:Lovász–Kneser_theorem gptkb:László_Lovász
gptkb:Riemannian_Gauss–Bonnet_theorem gptkb:Chern_Shiing-Shen
gptkb:Adams_conjecture gptkb:Daniel_Quillen
Please wait…