Open Internet by MindsNet

Vampire's Resolution Theorem Proving

Undocumented resolution techniques in Vampire theorem prover for philosophical logic problems.

Interdisciplinary Fields, Cognitive Science, Philosophy of Mind