A Note on Unification, Subsumption and Unification Type.

Manfred Schmidt-Schauß

Published in: Description Logic, Theory Combination, and All That (2019)

Keyphrases

theorem proving
higher order
equational theories
description logics
database
databases
real world
learning algorithm
feature selection
website
medical images
theorem prover
transitive closure
automated theorem proving