Can a higher-order and a first-order theorem prover cooperate?

Keyphrases

• First-order 100%
• High-order 100%
• Theorem Prover 100%
• Calculus 20%
• Set Relations 20%
• Reasoning System 20%
• Interactive Theorem Prover 20%
• Problem Formulation 20%
• First Order Systems 20%
• Set Function 20%
• Automated Theorem Proving 20%
• Efficient Reasoning 20%
• Flexible Environment 20%
• Resolution Principle 20%
• Distributed Environment 20%
• Higher-order Reasoning 20%
• Forgoing 20%

Computer Science

• Order Theorem Prover 100%
• Reasoning System 50%
• Theorem Prover 50%
• Theorem Proving 50%
• Problem Formulation 50%
• Automated Theorem Proving 50%
• Distributed Environment 50%
• Resolution Principle 50%
• Inherent Complexity 50%