5 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Alexander Steen, Christoph Benzmüller
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and…