Research Concept

Decidability

property of theories that have computable membership

Works
28,139
Citations
313,502
Level
2
OpenAlex ID
C153269930