decidability (Q430001)
Jump to navigation
Jump to search
property of theories that have computable membership
- decidable
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | decidability |
property of theories that have computable membership |
|
Statements
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(16 entries)
- cawiki Decidibilitat
- cswiki Rozhodnutelnost
- enwiki Decidability (logic)
- eswiki Decidibilidad
- fawiki تصمیمپذیری (منطق)
- frwiki Décidabilité
- hewiki כריעות
- itwiki Decidibilità
- jawiki 決定可能性
- kowiki 결정가능성
- plwiki Rozstrzygalność
- ptwiki Decidibilidade
- ruwiki Алгоритмическая разрешимость
- slwiki Odločljivost
- srwiki Одлучивост
- ukwiki Алгоритмічна розв'язність