@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://en.wikipedia.org/wiki/\u039C_operator>	foaf:primaryTopic	<http://dbpedia.org/resource/\u039C_operator> .
@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Constructive_set_theory	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:General_recursive_function	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Mu-operator	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Mu_operator	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/\u039C_operator> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<http://dbpedia.org/resource/\u039C_operator>	owl:sameAs	<http://eo.dbpedia.org/resource/\u039C-operatoro> ,
		<https://global.dbpedia.org/id/2r8HA> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
<http://dbpedia.org/resource/\u039C_operator>	owl:sameAs	wikidata:Q307772 ,
		<http://zh.dbpedia.org/resource/\u039C\u7B97\u5B50> ,
		<http://rdf.freebase.com/ns/m.0339j3> ,
		<http://dbpedia.org/resource/\u039C_operator> ,
		<http://uk.dbpedia.org/resource/\u041E\u043F\u0435\u0440\u0430\u0446\u0456\u044F_\u043C\u0456\u043D\u0456\u043C\u0456\u0437\u0430\u0446\u0456\u0457> ,
		<http://pt.dbpedia.org/resource/Operador_\u00B5> .
@prefix dbpedia-it:	<http://it.dbpedia.org/resource/> .
<http://dbpedia.org/resource/\u039C_operator>	owl:sameAs	dbpedia-it:Minimalizzazione .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
<http://dbpedia.org/resource/\u039C_operator>	rdfs:label	"\u041E\u043F\u0435\u0440\u0430\u0446\u0456\u044F \u043C\u0456\u043D\u0456\u043C\u0456\u0437\u0430\u0446\u0456\u0457"@uk ,
		"\u039C-operatoro"@eo ,
		"\u039C operator"@en ,
		"Operador \u00B5"@pt ,
		"Minimalizzazione"@it ,
		"\u039C\u7B97\u5B50"@zh .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
<http://dbpedia.org/resource/\u039C_operator>	dct:subject	dbc:Computability_theory .
@prefix prov:	<http://www.w3.org/ns/prov#> .
<http://dbpedia.org/resource/\u039C_operator>	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/\u039C_operator?oldid=1264000951&ns=0> ;
	foaf:isPrimaryTopicOf	<http://en.wikipedia.org/wiki/\u039C_operator> ;
	dbo:wikiPageExternalLink	<https://www2.mathematik.tu-darmstadt.de/~kohlenbach/> ,
		<https://www.google.com/books/edition/Computability_and_Logic/0LpsXQV2kXAC%3Fhl=en&pg=PA70> ;
	dbo:wikiPageWikiLink	dbr:Computable_function ,
		dbr:Constructive_mathematics ,
		dbr:Partial_function ,
		dbr:Peano_Axioms ,
		dbr:Recursion_theory ,
		dbr:Cambridge_University_Press ,
		dbr:Primitive_recursive_functions ,
		dbr:Natural_numbers ,
		dbr:Reverse_mathematics ,
		dbr:Truncated_subtraction ,
		dbr:Stephen_Kleene ,
		dbr:Counter_machine ,
		dbr:Mu_recursive_function ,
		dbr:McCarthy_Formalism ,
		dbr:Natural_number ,
		dbr:Primitive_recursive_function ,
		dbr:Mu-recursive_function ,
		dbr:Partial_recursive_function ,
		dbr:Total_recursive_function ,
		<http://dbpedia.org/resource/Predicate_(mathematics)> ,
		dbr:Mathematical_induction ,
		dbr:Register_machine ,
		dbc:Computability_theory ,
		dbr:Total_function ,
		dbr:Representing_function ,
		<http://dbpedia.org/resource/Markov\u0027s_principle> ;
	dbo:description	"concept in computability theory"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
<http://dbpedia.org/resource/\u039C_operator>	dbp:wikiPageUsesTemplate	dbt:Citation ,
		dbt:Short_description ,
		dbt:Lowercase ,
		dbt:Reflist ,
		dbt:Harvtxt ,
		dbt:CNone ,
		dbt:Citation_needed .
dbr:Loop_variant	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Algorithm_characterizations	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Lambda-mu_calculus	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Computable_function	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Minimisation	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
<http://dbpedia.org/resource/Function_(mathematics)>	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Undefined_value	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
<http://dbpedia.org/resource/Church\u2013Turing_thesis>	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Random-access_machine	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Counter_machine	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> .
dbr:M_operator	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Unbounded_search	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/\u039C_operator> .
dbr:Unbounded_search_operator	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/\u039C_operator> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/\u039C_operator> .