MKRP

swMATH19606MaRDI QIDQ31431FDOQ31431

Author name not available (Why is that?)

Source code repository: https://github.com/theoremprover-museum/MKRP

Cited In (3)

• Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.
• Mechanizing Mathematical Reasoning
• Using tactics to reformulate formulae for resolution theorem proving

This page was built for software: MKRP