Jump to content

Category:Automated theorem proving

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Felix QW (talk | contribs) at 12:21, 17 July 2023 (removed Category:Logic programming using HotCat Related, but not a subset of logic programming.). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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"