Monotonox

swMATH10406MaRDI QIDQ22367FDOQ22367

Author name not available (Why is that?)

Cited In (4)

• Automatic Proof and Disproof in Isabelle/HOL
• Sort It Out with Monotonicity
• Monotonicity inference for higher-order formulas
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism

This page was built for software: Monotonox