Robinson arithmetic

MaRDI QIDQ5972508swMATHFDO

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