About: Tarski–Kuratowski algorithm

An Entity of Type: Algorithm, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbc:Computability_theory dbr:Universal_quantification dbr:Analytical_hierarchy dbr:Arithmetical_hierarchy dbr:Computability_theory dbc:Mathematical_logic_hierarchies dbr:Alfred_Tarski dbr:Kazimierz_Kuratowski dbr:Mathematical_logic dbr:Hartley_Rogers_Jr. dbc:Theory_of_computation dbr:Prenex_normal_form dbr:Existential_quantification dbr:Upper_bound dbr:Non-deterministic_algorithm
dbp:wikiPageUsesTemplate	dbt:ISBN dbt:Mathlogic-stub
dct:subject	dbc:Computability_theory dbc:Mathematical_logic_hierarchies dbc:Theory_of_computation
gold:hypernym	dbr:Algorithm
rdf:type	dbo:Algorithm
rdfs:label	Tarski–Kuratowski algorithm (en)
owl:sameAs	freebase:Tarski–Kuratowski algorithm wikidata:Tarski–Kuratowski algorithm dbpedia-global:Tarski–Kuratowski algorithm
prov:wasDerivedFrom	wikipedia-en:Tarski–Kuratowski_algorithm?oldid=1130327263&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Tarski–Kuratowski_algorithm
is dbo:knownFor of	dbr:Alfred_Tarski dbr:Kazimierz_Kuratowski
is dbo:wikiPageRedirects of	dbr:Tarski-Kuratowski_algorithm
is dbo:wikiPageWikiLink of	dbr:Arithmetical_hierarchy dbr:Kazimierz_Kuratowski dbr:List_of_algorithms dbr:List_of_things_named_after_Alfred_Tarski dbr:Tarski-Kuratowski_algorithm
is dbp:knownFor of	dbr:Kazimierz_Kuratowski
is foaf:primaryTopic of	wikipedia-en:Tarski–Kuratowski_algorithm

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International