Jump to content

Category:Automated theorem proving

From Wikipedia, the free encyclopedia

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, 17 P)

U

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

Pages in category "Automated theorem proving"

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Automated_theorem_proving&oldid=1165790074"