Assertion: sieve | /r/HasProperty | introduced by giraud
Facets:
Source sentences:
text: Sieves were introduced by Giraud (1964) in order to reformulate the notion of a Grothendieck topology.