
Concretion block is used when a claim needs to be given a more precise definition or interpretation.
The top claim P(X, Cn, En) can be replaced with a more precise or defined claim P1(X1, Cn, En), Cn and En are configuration and environment.
Concretion block is used when a claim needs to be given a more precise definition or interpretation.
The top claim P(X, Cn, En) can be replaced with a more precise or defined claim P1(X1, Cn, En), Cn and En are configuration and environment.