Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2004.07506
Cited By
v1
v2
v3 (latest)
On Reductions of Hintikka Sets for Higher-Order Logic
16 April 2020
A. Steen
Christoph Benzmüller
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On Reductions of Hintikka Sets for Higher-Order Logic"
1 / 1 papers shown
Title
Extensional Higher-Order Paramodulation in Leo-III
A. Steen
Christoph Benzmüller
LRM
37
25
0
26 Jul 2019
1
