Skip to content

Commit 67f577f

Browse files
authored
Fix HTML encoding for triple example
1 parent b1aef2e commit 67f577f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

spec/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1519,7 +1519,7 @@ <h3>RDFS entailment</h3>
15191519

15201520
For example, the asserted triple
15211521

1522-
<br></p>&lt;&lt;( :a :b :c )&gt;&gt; :p :o.</br>
1522+
<br>&lt;&lt;( :a :b :c )&gt;&gt; :p :o.</br>
15231523

15241524
is satisfied in the interpretation where IT maps &lt;x,y,z&gt; to x,
15251525
and x is an instance of the denotation of rdfs:Proposition.

0 commit comments

Comments
 (0)