21 citations · 29 across the 9 of their papers we have counts for
1 paper · 2 filters
Zarathustra Goertzel, Jan Jakubův, Stephan Schulz +1
Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter and Prover9 theorem p…