88 citations · 94 across the 4 of their papers we have counts for
1 paper · 1 filter
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…