ATP_ABC_LOGIC_SUBSTITUTION - Logic for Alternative-Based Confirmation Substitution in ATP
The development package ATP_ABC_LOGIC_SUBSTITUTION contains objects for "Logic for Alternative-Based Confirmation Substitution in ATP".
It is a subpackage in its parent development package ATP_ABC_LOGIC. It belongs to software component CA-ATP-ABC.
It is a subpackage in its parent development package ATP_ABC_LOGIC. It belongs to software component CA-ATP-ABC.
This development package contains no child development packages.
This development package contains no tables.