Login / Signup

Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.

James R. Slagle
Published in: J. ACM (1972)
Keyphrases
  • partial ordering
  • automatic theorem proving
  • total ordering
  • partially ordered
  • partial order
  • fixed number
  • data mining
  • information retrieval
  • multi dimensional
  • theoretical framework
  • scoring function
  • totally ordered