home.md

@@ -12,11 +12,11 @@ The Decision Model and Notation (DMN) is an OMG standard for the representation
 
 Our tool implements the verification capabilities proposed by Smit et al. (2017). Please note that we did not implement "unnecessary fact verification" as this is geared towards analyzing case-dependent facts and is beyond the scope of this project. In the following, we present examples for the individual verification capabilities.
 
-##Identical rules verification
+## Identical rules verification
 ![Bildschirmfoto_2019-06-02_um_16.20.06](uploads/485fba45b77b64b8b546925b45a413e3/Bildschirmfoto_2019-06-02_um_16.20.06.png)
 In this table, identical rules can be identified, e.g. rules 1 and 3, or rules 4 and 5.
 
-##Equivalent rules verification
+## Equivalent rules verification
 
 ![Bildschirmfoto_2019-06-02_um_16.22.23](uploads/314f0799dad8dfe21911728cfbde5af0/Bildschirmfoto_2019-06-02_um_16.22.23.png)
 In this table, rule 3 is subsumed by rule 4.