A proof of Shelah's partition theorem.

Menachem Kojman

Published in: Arch. Math. Log. (1995)

Keyphrases

interactive theorem proving
theorem proving
linear logic
real world
information retrieval
theorem prover
partitioning algorithm
automated theorem proving
search engine
case study
objective function
relational databases
von neumann
geometry theorem proving