Unification for Subformula Linking under Quantifiers.

Ike Mulder Robbert Krebbers

Published in: CPP (2024)

Keyphrases

automated theorem proving
theorem prover
first order logic
natural language
theorem proving
higher order
proof procedures
expert systems
inference rules
database
information retrieval
social networks
information systems
equational theories