Entscheidungsproblem (Q11030584)
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Entscheidungsproblem |
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms |
Statements
Identifiers
Sitelinks
Wikipedia(24 entries)
- arwiki مسألة القرار (رياضيات)
- bewiki Праблема вырашальнасці
- cawiki Entscheidungsproblem
- cswiki Entscheidungsproblem
- dewiki Entscheidungsproblem
- enwiki Entscheidungsproblem
- eowiki Decidoproblemo algoritma
- eswiki Entscheidungsproblem
- frwiki Entscheidungsproblem
- hrwiki Entscheidungsproblem
- itwiki Entscheidungsproblem
- kowiki 판별 문제
- lawiki Entscheidungsproblem
- nlwiki Entscheidungsproblem
- ptwiki Entscheidungsproblem
- rowiki Problema deciziei
- ruwiki Проблема разрешения
- shwiki Entscheidungsproblem
- simplewiki Entscheidungsproblem
- svwiki Avgörbarhetsproblemet
- trwiki Entscheidungsproblem
- ukwiki Задача розв'язності
- zh_yuewiki 可判定性
- zhwiki 可判定性問題