Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Post_correspondence_problem> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Post_correspondence_problem abstract "The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.".
- Post_correspondence_problem wikiPageExternalLink pcp-solver.
- Post_correspondence_problem wikiPageExternalLink theory-bk-fourse7.html.
- Post_correspondence_problem wikiPageExternalLink pcpcontest_en.html.
- Post_correspondence_problem wikiPageID "64685".
- Post_correspondence_problem wikiPageRevisionID "598124100".
- Post_correspondence_problem hasPhotoCollection Post_correspondence_problem.
- Post_correspondence_problem subject Category:Computability_theory.
- Post_correspondence_problem subject Category:Theory_of_computation.
- Post_correspondence_problem comment "The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.".
- Post_correspondence_problem label "Correspondentieprobleem van Post".
- Post_correspondence_problem label "Post correspondence problem".
- Post_correspondence_problem label "Postsches Korrespondenzproblem".
- Post_correspondence_problem label "Problem odpowiedniości Posta".
- Post_correspondence_problem label "Problema da correspondência de Post".
- Post_correspondence_problem label "Problema de correspondencia de Post".
- Post_correspondence_problem label "Problème de correspondance de Post".
- Post_correspondence_problem sameAs Postův_korespondenční_problém.
- Post_correspondence_problem sameAs Postsches_Korrespondenzproblem.
- Post_correspondence_problem sameAs Problema_de_correspondencia_de_Post.
- Post_correspondence_problem sameAs Problème_de_correspondance_de_Post.
- Post_correspondence_problem sameAs Correspondentieprobleem_van_Post.
- Post_correspondence_problem sameAs Problem_odpowiedniości_Posta.
- Post_correspondence_problem sameAs Problema_da_correspondência_de_Post.
- Post_correspondence_problem sameAs m.0h7t4.
- Post_correspondence_problem sameAs Q798572.
- Post_correspondence_problem sameAs Q798572.
- Post_correspondence_problem wasDerivedFrom Post_correspondence_problem?oldid=598124100.
- Post_correspondence_problem isPrimaryTopicOf Post_correspondence_problem.