@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Elementary_theory	foaf:primaryTopic	dbr:Elementary_theory .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Yury_Yershov	dbo:wikiPageWikiLink	dbr:Elementary_theory .
dbr:Elementary_definition	dbo:wikiPageWikiLink	dbr:Elementary_theory .
dbr:Algebraic_theory	dbo:wikiPageWikiLink	dbr:Elementary_theory .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Elementary_theory	owl:sameAs	dbr:Elementary_theory ,
		<http://rdf.freebase.com/ns/m.080md67> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Elementary_theory	owl:sameAs	wikidata:Q5358916 ,
		<https://global.dbpedia.org/id/4jV4x> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Elementary_theory	rdfs:label	"Elementary theory"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Elementary_theory	dct:subject	dbc:Mathematical_logic .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Elementary_theory	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Elementary_theory?oldid=1217913002&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Elementary_theory .
@prefix dbp:	<http://dbpedia.org/property/> .
dbr:Elementary_theory	dbp:date	"January 2021"@en ;
	dbp:reason	"It would be nice to have some examples of elementary theories which are not algebraic."@en ;
	dbo:wikiPageWikiLink	dbr:Real_closed_field ,
		dbr:Elementary_definition ,
		<http://dbpedia.org/resource/Theory_(mathematical_logic)> ,
		dbr:Elementary_sentence ,
		dbr:Algebraic_theory ,
		<http://dbpedia.org/resource/Group_(mathematics)> ,
		dbr:First-order_logic ,
		dbr:Set_theory ,
		dbr:Finite_fields ,
		dbc:Mathematical_logic ,
		dbr:Abelian_group ,
		dbr:Elementary_theory_of_the_reals ,
		dbr:Mathematical_logic ,
		<http://dbpedia.org/resource/Tarski\u0027s_axioms> ,
		<http://dbpedia.org/resource/Field_(mathematics)> ,
		dbr:Finite_group ,
		dbr:Consistency_strength ,
		dbr:Finitary ;
	dbo:description	"mathematical logic"@en .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Elementary_theory	dbp:wikiPageUsesTemplate	dbt:Short_description ,
		dbt:Mathlogic-stub ,
		dbt:Expand_section .
<http://dbpedia.org/resource/Tarski\u0027s_axioms>	dbo:wikiPageWikiLink	dbr:Elementary_theory .
dbr:Beryl_May_Dent	dbo:wikiPageWikiLink	dbr:Elementary_theory .
dbr:Elementary_sentence	dbo:wikiPageWikiLink	dbr:Elementary_theory .