swMATH9701MaRDI QIDQ21680FDOQ21680
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/BFb0027401
Cited In (7)
- Automatic construction of finite algebras
- Title not available (Why is that?)
- MGTP: a model generation theorem prover. Its advanced features and applications
- 3TAP
- 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
