Superposition for Higher-Order Logic
Work
Year: 2023
Type: article
Source: Journal of Automated Reasoning
Institutions Chinese Academy of Sciences, Institute of Software, Vrije Universiteit Amsterdam, Centre National de la Recherche Scientifique, Laboratoire Lorrain de Recherche en Informatique et ses Applications +1 more
Cites: 28
Cited by: 8
Related to: 10
FWCI: 2.277
Citation percentile (by year/subfield): 79.69
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Climate action
Open Access status: closed
Grant IDS 016.Vidi.189.037, 713999