70 citations · 85 across the 5 of their papers we have counts for
1 paper · 2 filters
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restr…