@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Grothendieck_universe	foaf:primaryTopic	dbr:Grothendieck_universe .
@prefix dbo:	<http://dbpedia.org/ontology/> .
<http://dbpedia.org/resource/Class_(set_theory)>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Theorem	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Timeline_of_category_theory_and_related_mathematics	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Axiom	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
<http://dbpedia.org/resource/Universe_(mathematics)>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Axiom_of_choice	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Surreal_number	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-pt:	<http://pt.dbpedia.org/resource/> .
dbr:Grothendieck_universe	owl:sameAs	dbpedia-pt:Universo_de_Grothendieck ,
		<http://ko.dbpedia.org/resource/\uADF8\uB85C\uD150\uB514\uD06C_\uC804\uCCB4> .
@prefix dbpedia-de:	<http://de.dbpedia.org/resource/> .
dbr:Grothendieck_universe	owl:sameAs	dbpedia-de:Grothendieck-Universum ,
		<http://rdf.freebase.com/ns/m.043hbj> .
@prefix dbpedia-ca:	<http://ca.dbpedia.org/resource/> .
dbr:Grothendieck_universe	owl:sameAs	dbpedia-ca:Univers_de_Grothendieck .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Grothendieck_universe	owl:sameAs	yago-res:Grothendieck_universe ,
		dbr:Grothendieck_universe .
@prefix dbpedia-fr:	<http://fr.dbpedia.org/resource/> .
dbr:Grothendieck_universe	owl:sameAs	dbpedia-fr:Univers_de_Grothendieck .
@prefix dbpedia-it:	<http://it.dbpedia.org/resource/> .
dbr:Grothendieck_universe	owl:sameAs	dbpedia-it:Universo_di_Grothendieck ,
		<http://ru.dbpedia.org/resource/\u0423\u043D\u0438\u0432\u0435\u0440\u0441\u0443\u043C_\u0413\u0440\u043E\u0442\u0435\u043D\u0434\u0438\u043A\u0430> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Grothendieck_universe	owl:sameAs	wikidata:Q1465090 .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:Grothendieck_universe	owl:sameAs	dbpedia-global:TKwa ,
		<http://ja.dbpedia.org/resource/\u30B0\u30ED\u30BF\u30F3\u30C7\u30A3\u30FC\u30AF\u5B87\u5B99> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Grothendieck_universe	rdfs:label	"\u0423\u043D\u0438\u0432\u0435\u0440\u0441\u0443\u043C \u0413\u0440\u043E\u0442\u0435\u043D\u0434\u0438\u043A\u0430"@ru ,
		"Grothendieck universe"@en ,
		"Universo de Grothendieck"@pt ,
		"Universo di Grothendieck"@it ,
		"\u30B0\u30ED\u30BF\u30F3\u30C7\u30A3\u30FC\u30AF\u5B87\u5B99"@ja ,
		"Grothendieck-Universum"@de ,
		"Univers de Grothendieck"@fr ,
		"\uADF8\uB85C\uD150\uB514\uD06C \uC804\uCCB4"@ko ,
		"Univers de Grothendieck"@ca .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Grothendieck_universe	dct:subject	dbc:Category_theory ,
		dbc:Large_cardinals ,
		dbc:Set-theoretic_universes .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Grothendieck_universe	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Grothendieck_universe?oldid=1259703388&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Grothendieck_universe ;
	dbo:wikiPageWikiLink	dbr:Alexandre_Grothendieck ,
		dbr:List_of_large_cardinal_properties ,
		<http://dbpedia.org/resource/Universe_(mathematics)> ,
		<http://dbpedia.org/resource/Singleton_(mathematics)> ,
		dbr:Inaccessible_cardinal ,
		dbr:Woodin_cardinal ,
		dbr:Model_theory ,
		dbr:Topos ,
		dbc:Set-theoretic_universes ,
		dbr:Transitive_set ,
		dbr:Algebraic_geometry ,
		dbr:Hereditarily_finite_set ,
		dbr:Power_set ,
		dbc:Large_cardinals ,
		dbr:Michael_Artin ,
		dbc:Category_theory ,
		dbr:Constructible_universe ,
		dbr:Von_Neumann_universe ,
		dbr:Mathematics ,
		<http://dbpedia.org/resource/Tarski\u2013Grothendieck_set_theory> ,
		<http://dbpedia.org/resource/Springer_Science+Business_Media> ,
		dbr:Alexander_Grothendieck ,
		dbr:Proper_class ,
		dbr:Measurable_cardinal ,
		dbr:Jean-Louis_Verdier ,
		<http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory> ;
	dbo:description	"notion math\u00E9matique"@fr ,
		"conjunt transitiu tancat sota les operacions d'uni\u00F3 parametritzada, conjunt de pot\u00E8ncies i parells no ordenats"@ca ,
		"Begriff aus der Kategorientheorie"@de ,
		"transitive set closed under the operations of parameterized union, power set and unordered pairs"@en ,
		"transitiva aro fermita la\u016D la operacioj parametrizita kuna\u0135o, aro de subaroj kaj neordita paro"@eo .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Grothendieck_universe	dbp:wikiPageUsesTemplate	dbt:Short_description ,
		dbt:Reflist ,
		dbt:Mathematical_logic ,
		dbt:Math ,
		dbt:Cite_web ,
		dbt:Mvar ,
		<http://dbpedia.org/resource/Template:!> ,
		dbt:Cite_conference ,
		dbt:Tmath ;
	dbo:wikiPageExternalLink	<http://library.msri.org/books/sga/sga/4-1/4-1t_185.html> .
dbr:Condensed_mathematics	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Category_of_sets	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Fibred_category	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Small_set	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
<http://dbpedia.org/resource/Conglomerate_(mathematics)>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
<http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
<http://dbpedia.org/resource/\u00C9tale_cohomology>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:History_of_mathematical_notation	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
<http://dbpedia.org/resource/Tarski\u2013Grothendieck_set_theory>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Universal_set	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Von_Neumann_universe	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Inaccessible_cardinal	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:List_of_things_named_after_Alexander_Grothendieck	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
dbr:Infinity	dbo:wikiPageWikiLink	dbr:Grothendieck_universe .
<http://dbpedia.org/resource/Grothendieck\u0027s_axiom>	dbo:wikiPageWikiLink	dbr:Grothendieck_universe ;
	dbo:wikiPageRedirects	dbr:Grothendieck_universe .