| http://www.w3.org/ns/prov#value | - If the propagation candidate gate satisfies no condition or the same is a NOT, EXOR or EXNOR gate, on the other hand, the indefinite value is decided to be propagated and the indefinite value generating signal line is decided as an error signal line.
|
