GQML

MaRDI QIDQ23930swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F3-540-45616-3_19

Cited in

(5)

• A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
• MetTeL
• TABLEAUX
• ModLeanTAP
• FMLtoHOL

This page was built for software: GQML