FRINK Linked Data Fragments server

Matches in Wikidata for { <http://www.wikidata.org/entity/Q798572> ?p ?o ?g. }

• Q798572 description "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?" @default.
• Q798572 description "proposició indecidible sobre un llenguatge lògic" @default.
• Q798572 description "undecidable decision problem" @default.
• Q798572 description "unentscheidbares Problem in der Theoretischen Informatik" @default.
• Q798572 name "Correspondentieprobleem van Post" @default.
• Q798572 name "Post Correspondence Problemi" @default.
• Q798572 name "Post correspondence problem" @default.
• Q798572 name "Posts korrespondanseproblem" @default.
• Q798572 name "Posts korrespondanseproblem" @default.
• Q798572 name "Postsches Korrespondenzproblem" @default.
• Q798572 name "Postův korespondenční problém" @default.
• Q798572 name "Problem odpowiedniości Posta" @default.
• Q798572 name "Problema da correspondência de Post" @default.
• Q798572 name "Problema de correspondència de Post" @default.
• Q798572 name "Problème de correspondance de Post" @default.
• Q798572 name "Samræmingarverkefni Posts" @default.
• Q798572 name "problema de correspondencia de Post" @default.
• Q798572 name "respondoproblemo de Post" @default.
• Q798572 name "Проблема збіжності Поста" @default.
• Q798572 name "בעיית ההתאמה של פוסט" @default.
• Q798572 name "مسئله تناظر پست" @default.
• Q798572 name "波斯特对应问题" @default.
• Q798572 type Item @default.
• Q798572 label "Correspondentieprobleem van Post" @default.
• Q798572 label "Post Correspondence Problemi" @default.
• Q798572 label "Post correspondence problem" @default.
• Q798572 label "Posts korrespondanseproblem" @default.
• Q798572 label "Posts korrespondanseproblem" @default.
• Q798572 label "Postsches Korrespondenzproblem" @default.
• Q798572 label "Postův korespondenční problém" @default.
• Q798572 label "Problem odpowiedniości Posta" @default.
• Q798572 label "Problema da correspondência de Post" @default.
• Q798572 label "Problema de correspondència de Post" @default.
• Q798572 label "Problème de correspondance de Post" @default.
• Q798572 label "Samræmingarverkefni Posts" @default.
• Q798572 label "problema de correspondencia de Post" @default.
• Q798572 label "respondoproblemo de Post" @default.
• Q798572 label "Проблема збіжності Поста" @default.
• Q798572 label "בעיית ההתאמה של פוסט" @default.
• Q798572 label "مسئله تناظر پست" @default.
• Q798572 label "波斯特对应问题" @default.
• Q798572 altLabel "PCP" @default.
• Q798572 altLabel "PKP" @default.
• Q798572 altLabel "Post Correspondence Problem" @default.
• Q798572 altLabel "Post correspondence problem" @default.
• Q798572 altLabel "Post's correspondence problem" @default.
• Q798572 altLabel "Post'sches Korrespondenzproblem" @default.
• Q798572 prefLabel "Correspondentieprobleem van Post" @default.
• Q798572 prefLabel "Post Correspondence Problemi" @default.
• Q798572 prefLabel "Post correspondence problem" @default.
• Q798572 prefLabel "Posts korrespondanseproblem" @default.
• Q798572 prefLabel "Posts korrespondanseproblem" @default.
• Q798572 prefLabel "Postsches Korrespondenzproblem" @default.
• Q798572 prefLabel "Postův korespondenční problém" @default.
• Q798572 prefLabel "Problem odpowiedniości Posta" @default.
• Q798572 prefLabel "Problema da correspondência de Post" @default.
• Q798572 prefLabel "Problema de correspondència de Post" @default.
• Q798572 prefLabel "Problème de correspondance de Post" @default.
• Q798572 prefLabel "Samræmingarverkefni Posts" @default.
• Q798572 prefLabel "problema de correspondencia de Post" @default.
• Q798572 prefLabel "respondoproblemo de Post" @default.
• Q798572 prefLabel "Проблема збіжності Поста" @default.
• Q798572 prefLabel "בעיית ההתאמה של פוסט" @default.
• Q798572 prefLabel "مسئله تناظر پست" @default.
• Q798572 prefLabel "波斯特对应问题" @default.
• Q798572 P10374 Q798572-881C6F1A-D15C-4B79-8144-783532967664 @default.
• Q798572 P138 Q798572-baa32a0a-44e5-5898-1e51-9927faaa5001 @default.
• Q798572 P1889 Q798572-8CA981BE-F1CD-49F2-A37C-9EE3703A771A @default.
• Q798572 P2534 Q798572-608a1e81-48bb-30e0-0c29-2200139e2683 @default.
• Q798572 P31 Q798572-63b665e8-4a31-0f64-f948-d5678cf35bce @default.
• Q798572 P5106 Q798572-6F3E0C3A-4628-48AB-BC28-B52A4845FCDF @default.
• Q798572 P575 Q798572-8d6bf27c-4369-149d-5300-9d659a60f26d @default.
• Q798572 P61 Q798572-e8700160-45fe-3a70-f427-b69fbc00abc6 @default.
• Q798572 P6104 Q798572-A71D6AC2-D49C-4B52-B0C9-9195F0B3176B @default.
• Q798572 P6366 Q798572-CDF61211-633B-4FE1-B307-910B7894E9D6 @default.
• Q798572 P646 Q798572-149D5950-9897-4828-8384-F07C6D2049A0 @default.
• Q798572 P7726 Q798572-1ac5dd7b-45fa-59bc-7331-883a4c921f7e @default.
• Q798572 P6366 123609886 @default.
• Q798572 P10374 Q905621 @default.
• Q798572 P138 Q351366 @default.
• Q798572 P1889 Q407324 @default.
• Q798572 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \alpha _{i_{1}}\dotsm \alpha _{i_{K}}=\beta _{i_{1}}\dotsm \beta _{i_{K}}\qquad (\alpha _{1},\dotsc ,\alpha _{N},\beta _{1},\dotsc ,\beta _{N}\in \Sigma ^{*})}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>&#x03B1;<!-- α --></mi> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>i</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> </mrow> </msub> <mo>&#x22EF;<!-- ⋯ --></mo> <msub> <mi>&#x03B1;<!-- α --></mi> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>i</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>K</mi> </mrow> </msub> </mrow> </msub> <mo>=</mo> <msub> <mi>&#x03B2;<!-- β --></mi> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>i</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> </mrow> </msub> <mo>&#x22EF;<!-- ⋯ --></mo> <msub> <mi>&#x03B2;<!-- β --></mi> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>i</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>K</mi> </mrow> </msub> </mrow> </msub> <mspace width="2em" /> <mo stretchy="false">(</mo> <msub> <mi>&#x03B1;<!-- α --></mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mo>&#x2026;<!-- … --></mo> <mo>,</mo> <msub> <mi>&#x03B1;<!-- α --></mi> <mrow class="MJX-TeXAtom-ORD"> <mi>N</mi> </mrow> </msub> <mo>,</mo> <msub> <mi>&#x03B2;<!-- β --></mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mo>&#x2026;<!-- … --></mo> <mo>,</mo> <msub> <mi>&#x03B2;<!-- β --></mi> <mrow class="MJX-TeXAtom-ORD"> <mi>N</mi> </mrow> </msub> <mo>&#x2208;<!-- ∈ --></mo> <msup> <mi mathvariant="normal">&#x03A3;<!-- Σ --></mi> <mrow class="MJX-TeXAtom-ORD"> <mo>&#x2217;<!-- ∗ --></mo> </mrow> </msup> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \alpha _{i_{1}}\dotsm \alpha _{i_{K}}=\beta _{i_{1}}\dotsm \beta _{i_{K}}\qquad (\alpha _{1},\dotsc ,\alpha _{N},\beta _{1},\dotsc ,\beta _{N}\in \Sigma ^{*})}</annotation> </semantics> </math>" @default.
• Q798572 P31 Q3262192 @default.
• Q798572 P5106 "pcp" @default.
• Q798572 P575 "1946-01-01T00:00:00Z" @default.
• Q798572 P61 Q351366 @default.
• Q798572 P6104 Q8487137 @default.
• Q798572 P6366 "123609886" @default.
• Q798572 P646 "/m/0h7t4" @default.
• Q798572 P7726 "PostCorrespondenceProblem" @default.