[Specifications] new commits pushed by RubenVerborgh

The following commits were just pushed by RubenVerborgh to https://github.com/HydraCG/Specifications:

* Clarify blank nodes and skolemization.
  by Ruben Verborgh
https://github.com/HydraCG/Specifications/commit/d248173ad1539b59ab801bedfb3a51567016eee7

Received on Friday, 18 January 2019 09:38:32 UTC