Decidability

https://www.wikidata.org/wiki/Q430001

Field Hierarchy

Parent
Computer science 61.9M papers	Mathematics 21.8M papers	Algorithm 4.6M papers	Discrete mathematics 685k papers
Theoretical computer science 609k papers
Current
Decidability 11.5k papers
Child
Undecidable problem 4,011 papers	Reachability problem 1,404 papers	Presburger arithmetic 338 papers

Trends

Notes

History