provenUsing

URI: https://gptkb.org/prop/provenUsing
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Independence_of_the_Axiom_of_Choice gptkb:constructible_universe
gptkb:Riemann_hypothesis_for_varieties_over_finite_fields gptkb:Grothendieck's_theory
gptkb:Riemann_hypothesis_for_varieties_over_finite_fields gptkb:étale_cohomology
gptkb:Independence_of_the_Axiom_of_Choice forcing