Robinson arithmetic

swMATH42008MaRDI QIDQ5972508FDOQ5972508

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Robinson_Arithmetic.html

Cited In (5)

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

This page was built for software: Robinson arithmetic