| İngilizce | Türkçe | |
|---|---|---|
| General | ||
| Genel | decidable s. | karar verilebilir |
| Telecom | ||
| Telekom | decidable s. | karar verilebilir |
| Logic | ||
| Mantık | decidable s. | kararlaştırılabilir |
| Mantık | decidable s. | iyi oluşturulmuş formüllerin teorem olup olmadığını mekanik usulle belirleyen |
