GQML

swMATH11996MaRDI QIDQ23930FDOQ23930

Author name not available (Why is that?)

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