About: http://dbpedia.org/resource/Trakhtenbrot's

Property	Value
dbo:wikiPageExternalLink	http://logic.amu.edu.pl/images/2/21/Churchtrakhtenbrot.pdf
dbo:wikiPageWikiLink	dbc:Computability_theory dbr:Validity_(logic) dbr:Löwenheim–Skolem_theorem dbr:First-order_logic dbr:Satisfiability dbr:Boris_Trakhtenbrot dbr:Gödel's_completeness_theorem dbr:Logic dbc:Finite_model_theory dbc:Undecidable_problems dbr:Halting_problem dbr:Computability_theory dbr:Finite_model_theory dbr:Turing_machine dbr:Recursively_enumerable dbr:Recursive_set dbr:Gödel's_First_Incompleteness_Theorem dbr:Co-recursively_enumerable dbr:Σ-sentence
dct:subject	dbc:Computability_theory dbc:Theorems_in_the_foundations_of_mathematics dbc:Finite_model_theory dbc:Undecidable_problems
rdfs:label	Trakhtenbrot's theorem (en) Satz von Trachtenbrot (de) Teoremo de Trahtenbrot (eo) Théorème de Trakhtenbrot (fr) Теорема Трахтенброта (ru)
owl:sameAs	freebase:m.0br9_c yago-res:Trakhtenbrot's_theorem wikidata:Q10965882 dbpedia-de:Satz_von_Trachtenbrot dbpedia-fr:Théorème_de_Trakhtenbrot dbpedia-ru:Теорема_Трахтенброта dbpedia-eo:Teoremo_de_Trahtenbrot dbpedia-global:A7NL dbr:Trakhtenbrot's_theorem
prov:wasDerivedFrom	wikipedia-en:Trakhtenbrot's_theorem?oldid=1285653890&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Trakhtenbrot's_theorem
is dbo:wikiPageRedirects of	dbr:Trakhtenbrot's_Theorem dbr:Trakhtenbrot_theorem
is dbo:wikiPageWikiLink of	dbr:List_of_undecidable_problems dbr:Satisfiability dbr:Boris_Trakhtenbrot dbr:Timeline_of_mathematical_logic dbr:List_of_Russian_mathematicians dbr:List_of_mathematical_logic_topics dbr:Finite_model_theory dbr:List_of_Russian_scientists dbr:Büchi-Elgot-Trakhtenbrot_theorem dbr:Trakhtenbrot's_Theorem dbr:Trakhtenbrot_theorem
is foaf:primaryTopic of	wikipedia-en:Trakhtenbrot's_theorem

About: http://dbpedia.org/resource/Trakhtenbrot's_theorem