typicalPostconditionForm

P58208
predicate

Indicates that a condition or state typically holds after an action, operation, or process has been completed.

Try in SPARQL

All labels observed (1)

Label Occurrences
typicalPostconditionForm canonical 1

Sample triples (1)

Subject Object
Hoare logic logical formula over program variables ⓘ