About: Post correspondence problem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Undecidable decision problem

Property Value
dbo:description
  • unentscheidbares Problem in der Theoretischen Informatik (de)
  • proposició indecidible sobre un llenguatge lògic (ca)
  • undecidable decision problem (en)
  • nedecidebla decidoproblemo: je iu alfabeto, donita du finiajn arojn A={a₁,…,aₙ} kaj B={b₁,…,bₙ} da vortoj je tiu alfabeto, ĉu ekzistas kunmeto de vortoj el A (permesanta ripeton), tia ke la sama kunmeto uzanta vortojn el B donas la saman rezulton? (eo)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:align
  • center (en)
dbp:gap
  • 5 (xsd:integer)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Post correspondence problem (en)
  • Postův korespondenční problém (cs)
  • Postsches Korrespondenzproblem (de)
  • Problema de correspondencia de Post (es)
  • Problème de correspondance de Post (fr)
  • Problem odpowiedniości Posta (pl)
  • Correspondentieprobleem van Post (nl)
  • Problema da correspondência de Post (pt)
  • 波斯特对应问题 (zh)
  • Проблема збіжності Поста (uk)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is owl:differentFrom of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International