Refinement

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

Field Hierarchy

Parent
Computer science 54.8M papers	Engineering 23.9M papers	Mathematics 21.1M papers	Programming language 7.2M papers
Algorithm 4.5M papers	Software engineering 674k papers	Theoretical computer science 615k papers	Formal verification 14.6k papers
Formal methods 12k papers		Formal specification 9,195 papers
Current
Refinement 587 papers
Child

Trends

Notes

History