@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:NEXPTIME	foaf:primaryTopic	dbr:NEXPTIME .
@prefix dbo:	<http://dbpedia.org/ontology/> .
<http://dbpedia.org/resource/Harry_R._Lewis>	dbo:wikiPageWikiLink	dbr:NEXPTIME .
<http://dbpedia.org/resource/Bernays\u2013Sch\u00F6nfinkel_class>	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:EXPSPACE	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Time_hierarchy_theorem	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Complexity_class	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:EXPTIME	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Carsten_Lund	dbo:wikiPageWikiLink	dbr:NEXPTIME .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-global:aPrP .
@prefix dbpedia-sr:	<http://sr.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-sr:NEXPTIME .
@prefix dbpedia-zh:	<http://zh.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-zh:NEXPTIME .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:NEXPTIME	owl:sameAs	yago-res:NEXPTIME .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:NEXPTIME	owl:sameAs	wikidata:Q1575791 .
@prefix dbpedia-es:	<http://es.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-es:NEXPTIME .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-ja:NEXPTIME ,
		dbr:NEXPTIME .
@prefix dbpedia-de:	<http://de.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-de:NEXPTIME .
@prefix dbpedia-ca:	<http://ca.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-ca:NEXPTIME .
@prefix dbpedia-pt:	<http://pt.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-pt:NEXPTIME .
@prefix dbpedia-fr:	<http://fr.dbpedia.org/resource/> .
dbr:NEXPTIME	owl:sameAs	dbpedia-fr:NEXPTIME ,
		<http://rdf.freebase.com/ns/m.030wh5> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:NEXPTIME	rdfs:label	"NEXPTIME"@en ,
		"NEXPTIME"@fr ,
		"NEXPTIME"@ja ,
		"NEXPTIME"@ca ,
		"NEXPTIME"@de ,
		"NEXPTIME"@pt ,
		"NEXPTIME"@zh ,
		"NEXPTIME"@es .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:NEXPTIME	dct:subject	dbc:Complexity_classes .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:NEXPTIME	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/NEXPTIME?oldid=1307736808&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:NEXPTIME ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/P_=_NP_problem> ,
		dbr:Non-deterministic_Turing_machine ,
		<http://dbpedia.org/resource/NE_(complexity)> ,
		<http://dbpedia.org/resource/E_(complexity)> ,
		dbr:Adjacency_matrix ,
		dbr:Algorithm ,
		dbr:Padding_argument ,
		dbr:NTIME ,
		dbr:Sparse_language ,
		dbr:Polynomial-time_many-one_reduction ,
		dbr:Polynomial_time ,
		dbr:Hamiltonian_path ,
		dbr:Game_complexity ,
		dbc:Complexity_classes ,
		dbr:Interactive_proof_system ,
		dbr:Succinct_circuit ,
		dbr:Decision_problem ,
		dbr:Time_hierarchy_theorem ,
		dbr:Cambridge_University_Press ,
		<http://dbpedia.org/resource/NP_(complexity)> ,
		dbr:Complexity_class ,
		dbr:EXPTIME ,
		<http://dbpedia.org/resource/P_(complexity)> ,
		dbr:NP-complete ,
		dbr:Formal_language ,
		dbr:Probabilistically_checkable_proof ,
		dbr:Computational_complexity_theory ;
	dbo:description	"clase de complejidad"@es ,
		"classe de complexit\u00E9"@fr ,
		"classe di complessit\u00E0"@it ,
		"complexity class"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:NEXPTIME	dbp:wikiPageUsesTemplate	dbt:Math ,
		dbt:ComplexityClasses ,
		dbt:Citation ,
		dbt:CZoo ,
		dbt:Sans-serif ,
		dbt:Short_description ,
		dbt:Tmath ;
	dbo:wikiPageExternalLink	<http://www.cs.princeton.edu/theory/complexity/> .
dbr:Exponential_hierarchy	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:NEXP	dbo:wikiPageWikiLink	dbr:NEXPTIME ;
	dbo:wikiPageRedirects	dbr:NEXPTIME .
dbr:List_of_complexity_classes	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:ACC0	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Computational_complexity_theory	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Interactive_proof_system	dbo:wikiPageWikiLink	dbr:NEXPTIME .
<http://dbpedia.org/resource/Dynamic_logic_(modal_logic)>	dbo:wikiPageWikiLink	dbr:NEXPTIME .
@prefix ns22:	<http://dbpedia.org/resource/P/> .
ns22:poly	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Integer_circuit	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Circuits_over_sets_of_natural_numbers	dbo:wikiPageWikiLink	dbr:NEXPTIME .
<http://dbpedia.org/resource/Ryan_Williams_(computer_scientist)>	dbo:wikiPageWikiLink	dbr:NEXPTIME .
<http://dbpedia.org/resource/2-EXPTIME>	dbo:wikiPageWikiLink	dbr:NEXPTIME .
<http://dbpedia.org/resource/NE_(complexity)>	dbo:wikiPageWikiLink	dbr:NEXPTIME .
dbr:Exponential_time_hypothesis	dbo:wikiPageWikiLink	dbr:NEXPTIME .