author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
Thu, 06 Sep 2012 10:58:02 +0100 | |
changeset 4418 | d370461d4d61 |
parent 4417 | 39cc06f0e2d1 |
child 4419 | be17f8cec9c7 |
model/releases/WD-prov-constraints-20120911/Overview.html |
--- a/model/releases/WD-prov-constraints-20120911/Overview.html Thu Sep 06 10:57:43 2012 +0100 +++ b/model/releases/WD-prov-constraints-20120911/Overview.html Thu Sep 06 10:58:02 2012 +0100 @@ -5184,7 +5184,7 @@ </ul> - <img src="weak-acyclic-6.svg" alt="Graph illustrating weak + <img src="images/constraints/weak-acyclic-6.svg" alt="Graph illustrating weak acyclicity of stage 6"> <p><b>Termination for instances with attributes.</b>