Making Higher-Order Superposition Work.
Zenodo (CERN European Organization for Nuclear Research)（2021）
Key words
Higher-order theorem proving,Heuristics,Zipperposition,Superposition
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined