
<https://ld.admin.ch/time/instant/2020-07-05T22:00:00Z> a <http://www.w3.org/2006/time#Instant> ;
	<http://www.w3.org/2006/time#inXSDDateTimeStamp> "2020-07-05T22:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTimeStamp> .