Contents of this Asset file:
| Field Name | Value | HTML Tag Type |
|---|---|---|
| BIDM.Asset.Abstract | MACE (formerly called ANL-DP) is a program that can be used to search for (small) finite models of first-order statements. | META |
| BIDM.Asset.ContactIs.Organization | http://www.nhse.org/rib/repositories/nhse/objects/Organization/mccune.html | LINK |
| BIDM.Asset.DateOfInformation | Fri Feb 5 16:30:56 1999 | META |
| BIDM.Asset.Domain | Scientific and Engineering Applications | META |
| BIDM.Asset.Name | Models And Counter-Examples (MACE) | META |
| BIDM.Asset.RecordMaintainedBy.Organization | http://www.nhse.org/rib/repositories/nhse/objects/Organization/netlib.html | LINK |
| BIDM.Asset.TargetEnvironment | UNIX | META |
| BIDM.Asset.Webpage | http://www.mcs.anl.gov/AR/mace/ | META |