theoremprover-museum

swMATH19605MaRDI QIDQ31430FDOQ31430

Author name not available (Why is that?)

Cited In (2)

• Formalization of the resolution calculus for first-order logic
• Translating the IMPS theory library to MMT/OMDoc

This page was built for software: theoremprover-museum