Automated reasoning

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

Field Hierarchy

Parent
Computer science 61.9M papers	Artificial intelligence 11.5M papers	Programming language 7.6M papers	Theoretical computer science 609k papers
Current
Automated reasoning 1,998 papers
Child
Robbins algebra 0 papers

Trends

Notes

History