The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability).
Pavel NaumovMark-Oliver StehrJosé MeseguerPublished in: TPHOLs (2001)
Keyphrases
- theorem prover
- formal methods
- natural deduction
- theorem proving
- higher order logic
- automated theorem proving
- inference rules
- higher order
- formal model
- metadata
- information systems
- web services
- expert systems
- semantic web
- artificial intelligence
- information sharing
- heterogeneous systems
- mathematical proofs
- semantic interoperability
- data sets
- knowledge based systems
- decision trees
- real world
- databases