Open Induction

swMATH38018MaRDI QIDQ53718FDOQ53718

Author name not available (Why is that?)

Cited In (3)

• A Mechanized Proof of Higman’s Lemma by Open Induction
• Proving open properties by induction
• On induction principles for partial orders

This page was built for software: Open Induction