Skip to content

Commit

Permalink
Update spec/index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
hartig authored Mar 5, 2025
1 parent 6e621f0 commit fdcaaf9
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion spec/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -1092,7 +1092,8 @@ <h3>RDF Dataset Comparison</h3>
the following are true:
<ul>
<li>|M|(|n|) is [=RDF term equality|equal=] to <var>n'</var>.</li>
<li>The triple (|s|, |p|, |o|) is in |G| if and only if
<li>For every triple |t|=(|s|, |p|, |o|), it holds that
|t| is in |G| if and only if
the triple ( |M|(|s|), |M|(|p|), |M|(|o|) ) is in <var>G'</var>.</li>
</ul>
</li>
Expand Down

0 comments on commit fdcaaf9

Please sign in to comment.