English

English Deutsch Español Français Nederlands Polski Português Türkçe فارسی 中文

EntityQ798572· pop 16· linked from 25 articles

Post correspondence problem

Also known as Post's correspondence problem

undecidable decision problem

Wikidata facts

Show 1 more fact

time of discovery or invention: 1946-00-00

Sources (2)

via Wikidata · CC0

Available in 16 languages

Connections

International Standard Book Number

Entity

digital object identifier

Entity

What links here25 pages

Entity

Turing degree

Entity

proof of impossibility

recursively enumerable language

Entity

Géraud Sénizergues

Entity

parsing expression grammar

Entity

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

ALL

Entitydist 0.58

cooperation procedure

group decision-making

Entitydist 0.66

selection rule

Entitydist 0.68

partially observable Markov decision process

Sequential consistency

Entitydist 0.69

Post correspondence problem

Wikidata facts

Available in 16 languages

Connections

What links here25 pages

Similar entities

Categories

Similar entities

What links here25 pages