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

Property	Value
dbo:description	Proof by Alan Turing (en)
dbo:wikiPageExternalLink	http://www.turingarchive.org/browse.php/B/12
dbo:wikiPageWikiLink	dbr:Alan_Turing:_The_Enigma dbc:Articles_containing_proofs dbr:Cantor's_diagonal_argument dbc:Mathematical_proofs dbr:Exponentiation dbr:Universal_Turing_machine dbr:Formal_system dbr:Halting_problem dbr:Alan_Turing dbc:Alan_Turing dbc:Mathematical_logic dbr:Martin_Davis_(mathematician) dbr:David_Hilbert dbr:Truth_value dbr:Entscheidungsproblem dbr:Logical_equivalence dbr:Rice's_theorem dbr:Undecidable_problem dbc:Theory_of_computation dbr:Post–Turing_machine dbr:Turing_machine dbr:Decision_problem dbr:Description_number dbr:Church's_theorem dbr:Reductio_ad_absurdum dbr:Emil_Post dbr:Simon_and_Schuster dbr:P._Bernays dbr:Universal_machine dbc:1937_in_mathematics
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Cite_book dbt:Reflist dbt:Notelist dbt:Cite_journal dbt:Use_British_English dbt:Use_dmy_dates dbt:Sfnp dbt:Alan_Turing dbt:Mathematical_logic dbt:Harvp dbt:More_footnotes dbt:Poemquote dbt:Efn dbt:Short_description dbt:Blockquote
dct:subject	dbc:Articles_containing_proofs dbc:1937_in_science dbc:Mathematical_proofs dbc:Alan_Turing dbc:Mathematical_logic dbc:Public_domain_books dbc:20th_century_in_mathematics dbc:Theory_of_computation
gold:hypernym	dbr:Proof
rdfs:label	Turing's proof (en) Dowód Turinga (pl)
owl:sameAs	freebase:m.09yd22 yago-res:Turing's_proof wikidata:Q7854954 dbpedia-pl:Dowód_Turinga dbpedia-global:4wEpH dbr:Turing's_proof
prov:wasDerivedFrom	wikipedia-en:Turing's_proof?oldid=1282956047&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Turing's_proof
is dbo:knownFor of	dbr:Alan_Turing
is dbo:wikiPageRedirects of	dbr:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem dbr:Turing_proof
is dbo:wikiPageWikiLink of	dbr:Proof_of_impossibility dbr:May_28 dbr:Banknotes_of_the_pound_sterling dbr:Halting_problem dbr:Alan_Turing dbr:Entscheidungsproblem dbr:Rice's_theorem dbr:List_of_things_named_after_Alan_Turing dbr:History_of_computing dbr:Turing_machine dbr:Antiquarian_science_books dbr:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem dbr:Turing_proof
is foaf:primaryTopic of	wikipedia-en:Turing's_proof

About: http://dbpedia.org/resource/Turing's_proof