Fixes markup in Sec.3.8 (Graph Comparison)

[hartig]

In preparation for working on #128, this PR fixes the markup within Sec.3.8. In particular, <var> has been used incorrectly. For instance, M(lit)=lit is not a variable but a formula; the variables in this formula are M and lit.

---

Preview | Diff

[pchampin]

I'm happy with this as a preparation, acknowledging that it does not solve #128 yet.

I'm raising a flag, though: the mapping M is defined on nodes, and the current definition of nodes only includes the subjects and objects of the asserted statements, so recursing on triple-terms may not work...

[hartig]

@pchampin

I'm raising a flag, though: the mapping M is defined on nodes, and the current definition of nodes only includes the subjects and objects of the asserted statements, so recursing on triple-terms may not work...

Yes, I am aware of this issue. See my recent comment on #128, which includes a proposal to change the domain and codomain of M. This proposal also covers the issue that you point out here.