Ascent++
Search
thermodynamic process
subgroup of
process
,
2
assertions
HasProperty
1
irreversible
0.79
ReceivesAction
1
analyzed
0.74