@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Formula_game	foaf:primaryTopic	dbr:Formula_game .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Formula_game	owl:sameAs	<http://es.dbpedia.org/resource/Juego_de_las_f\u00F3rmulas> ,
		<http://rdf.freebase.com/ns/m.08bfwl> ,
		dbr:Formula_game ,
		<http://pt.dbpedia.org/resource/Jogo_de_f\u00F3rmula> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Formula_game	owl:sameAs	wikidata:Q5470340 ,
		<https://global.dbpedia.org/id/4jo9D> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Formula_game	owl:sameAs	yago-res:Formula_game .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Formula_game	rdfs:label	"Jogo de f\u00F3rmula"@pt ,
		"Formula game"@en ,
		"Juego de las f\u00F3rmulas"@es .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Formula_game	dct:subject	dbc:PSPACE-complete_problems ,
		dbc:Satisfiability_problems ,
		dbc:Boolean_algebra .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Formula_game	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Formula_game?oldid=1194426861&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Formula_game .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Formula_game	dbo:wikiPageWikiLink	dbr:Bound_variables ,
		dbc:PSPACE-complete_problems ,
		dbc:Satisfiability_problems ,
		dbr:Truth_value ,
		dbr:Universal_quantification ,
		dbr:PSPACE-complete ,
		dbc:Boolean_algebra ,
		dbr:Existential_quantification ,
		dbr:Computational_complexity_theory ,
		dbr:True_quantified_Boolean_formula .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Formula_game	dbp:wikiPageUsesTemplate	dbt:Comp-sci-stub .
dbr:True_quantified_Boolean_formula	dbo:wikiPageWikiLink	dbr:Formula_game .
dbr:Generalized_geography	dbo:wikiPageWikiLink	dbr:Formula_game .