From: Strategy maintenance in smart healthcare systems
study case 1
study case 2
study case 3
# conflict stmt pairs before TAnom-HS
14
8
12
# new stmts deleted by TAnom-HS
2
3
# old stmts deleted by TAnom-HS
1
# conflict stmt pairs saved by TAnom-HS
11