Recording Interpretations

Interpretation Elements

• Finite domain of distinct elements
• Total interpretation of functors
• Total interpretation of predicates
• The TPTP language can do it all, of course

Uses

• Model verification
• Interpretation of formulae
• Identification of isomorphic interpretations