Title: A theorem prover for property theory
Subjects: Artificial intelligence, Computer algorithms, Logic