Title: Using sophisticated models in resolution theorem proving
Subjects: Automatic theorem proving, Data processing, Mathematics, Mathematical models