MGTP

swMATH9701MaRDI QIDQ21680FDOQ21680

Author name not available (Why is that?)

Cited In (6)

• Automatic construction of finite algebras
• Title not available (Why is that?)
• MGTP: a model generation theorem prover. Its advanced features and applications
• MACE4 and SEM: a comparison of finite model generators
• Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving
• Title not available (Why is that?)

This page was built for software: MGTP