@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns1:	<http://dbpedia.org/resource/Category:> .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
ns1:Forcing	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns1:Forcing	rdfs:label	"Forcing"@en ;
	skos:prefLabel	"Forcing"@en ;
	skos:broader	ns1:Mathematical_logic ,
		ns1:Set_theory .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Delta_lemma	skos:subject	ns1:Forcing .
<http://dbpedia.org/resource/Easton%27s_theorem>	skos:subject	ns1:Forcing ,
		ns1:Forcing .
dbpedia:Continuum_hypothesis	skos:subject	ns1:Forcing .
dbpedia:Generic_filter	skos:subject	ns1:Forcing .
dbpedia:Complete_Boolean_algebra	skos:subject	ns1:Forcing .
dbpedia:List_of_forcing_notions	skos:subject	ns1:Forcing .
dbpedia:Boolean-valued_model	skos:subject	ns1:Forcing .
dbpedia:Countable_chain_condition	skos:subject	ns1:Forcing .
<http://dbpedia.org/resource/Martin%27s_maximum>	skos:subject	ns1:Forcing .
dbpedia:Nice_name	skos:subject	ns1:Forcing .
dbpedia:Ramified_forcing	skos:subject	ns1:Forcing .
<http://dbpedia.org/resource/Rasiowa%E2%80%93Sikorski_lemma>	skos:subject	ns1:Forcing .