@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Saturated_model	foaf:primaryTopic	dbr:Saturated_model .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Hyperreal_number	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Pneumatic_cylinder	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Saturation	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Nonstandard_analysis	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Omega-categorical_theory	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:List_of_first-order_theories	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Institutional_model_theory	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:List_of_mathematical_logic_topics	dbo:wikiPageWikiLink	dbr:Saturated_model .
<http://dbpedia.org/resource/Cantor\u0027s_isomorphism_theorem>	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Rado_graph	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Model_theory	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Log-linear_analysis	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Potential_isomorphism	dbo:wikiPageWikiLink	dbr:Saturated_model .
<http://dbpedia.org/resource/\u0397_set>	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Saturated_structure	dbo:wikiPageWikiLink	dbr:Saturated_model ;
	dbo:wikiPageRedirects	dbr:Saturated_model .
<http://dbpedia.org/resource/Type_(model_theory)>	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Real_closed_field	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Prime_model	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Vaught_conjecture	dbo:wikiPageWikiLink	dbr:Saturated_model .
dbr:Morley_rank	dbo:wikiPageWikiLink	dbr:Saturated_model .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Saturated_model	owl:sameAs	<http://zh.dbpedia.org/resource/\u98FD\u548C\u6A21\u578B> ,
		<http://de.dbpedia.org/resource/Saturiertheit_(Modelltheorie)> ,
		dbr:Saturated_model .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:Saturated_model	owl:sameAs	dbpedia-global:UL1X ,
		<http://rdf.freebase.com/ns/m.02mpdf> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Saturated_model	owl:sameAs	wikidata:Q1473532 .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Saturated_model	rdfs:label	"Saturated model"@en ,
		"Saturiertheit (Modelltheorie)"@de ,
		"\u98FD\u548C\u6A21\u578B"@zh .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Saturated_model	dct:subject	dbc:Mathematical_logic ,
		dbc:Nonstandard_analysis ,
		dbc:Model_theory .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Saturated_model	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Saturated_model?oldid=1296887545&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Saturated_model ;
	dbo:wikiPageWikiLink	dbr:Rational_number ,
		dbr:Finite_set ,
		<http://dbpedia.org/resource/Type_(model_theory)> ,
		dbr:Strongly_inaccessible ,
		dbr:Ultrapower ,
		dbr:Hyperreals ,
		<http://dbpedia.org/resource/H._Jerome_Keisler> ,
		dbr:First-order_language ,
		dbc:Model_theory ,
		dbc:Mathematical_logic ,
		dbr:Model_theory ,
		dbr:Countable_random_graph ,
		dbr:Elementary_embedding ,
		dbr:Transcendental_number ,
		dbr:Categorical_theory ,
		dbr:Prime_model ,
		dbr:Cardinality ,
		dbr:Mathematical_logic ,
		dbr:Homogeneous_model ,
		dbr:Back-and-forth_method ,
		dbr:Elementary_extension ,
		dbr:Aleph-1 ,
		dbr:Internal_set ,
		dbr:Eta_set ,
		dbr:Dense_linear_order ,
		dbr:Stable_theory ,
		dbr:Chen_Chung_Chang ,
		dbr:Infinity ,
		dbr:ZFC ,
		dbr:Real_number ,
		dbr:Cardinal_number ,
		<http://dbpedia.org/resource/Field_(mathematics)> ,
		dbc:Nonstandard_analysis ;
	dbo:description	"concept in mathematical logic"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Saturated_model	dbp:wikiPageUsesTemplate	dbt:Citation ,
		dbt:Isbn ,
		dbt:Reflist ,
		dbt:About ,
		dbt:Short_description ,
		dbt:Mathematical_logic ,
		dbt:Citation_needed ,
		<http://dbpedia.org/resource/Template:=> ,
		dbt:No_footnotes .
<http://dbpedia.org/resource/\u03A9-saturated>	dbo:wikiPageWikiLink	dbr:Saturated_model ;
	dbo:wikiPageRedirects	dbr:Saturated_model .
dbr:O-saturated	dbo:wikiPageWikiLink	dbr:Saturated_model ;
	dbo:wikiPageRedirects	dbr:Saturated_model .