Robinson arithmetic

swMATH42008MaRDI QIDQ5972508FDOQ5972508

Author name not available (Why is that?)

Cited In (2)

• Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
• Formalizing Bachmair and Ganzinger's ordered resolution prover

This page was built for software: Robinson arithmetic