This website uses cookies.

We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

Automated theorem proving

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

Field Hierarchy

Parent
Computer science 55.7M papers	Mathematics 21.4M papers	Programming language 7.3M papers	Algorithm 4.6M papers
Theoretical computer science 632k papers
Current
Automated theorem proving 5,012 papers
Child
Computer-assisted proof 772 papers		Automated proof checking 268 papers

Trends

Notes

To use the Note feature, you need to be logged in. Please

History