Implementing Superposition in iProver (System Description).

André Duarte Konstantin Korovin

Published in: IJCAR (2) (2020)

Keyphrases

high level
pattern recognition
theorem proving
semantic description
databases
high quality
real world
machine learning
mobile devices
management system
efficient implementation