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.

information about Automated proof checking field

Automated proof checking

https://www.wikidata.org/wiki/Q11387554
Field Hierarchy
Parent
Computer science
56.5M papers
Mathematics
21.7M papers
Programming language
7.4M papers
Geometry
6.3M papers
Algorithm
4.6M papers
Theoretical computer science
641k papers
Mathematical proof
44.6k papers
Model checking
20.4k papers
Automated theorem proving
5,007 papers
Current
Automated proof checking
270 papers
Child
Trends