# Category:Automated theorem proving

Help

## Subcategories

This category has the following 3 subcategories, out of 3 total.

### S

- Satisfiability problems (2 C, 15 P)

### T

- Theorem proving software systems (2 C, 16 P)

### U

- Unification (computer science) (1 C, 7 P)

## Pages in category "Automated theorem proving"

The following 38 pages are in this category, out of 38 total. This list may not reflect recent changes.