<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/CCS>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2004/02/skos/core#Concept> .
<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/CCS>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"CCS" .
<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/CCS>	<http://www.w3.org/2004/02/skos/core#notation>	"CCS" .
<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/CCS>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"CCS - bisimulation - temporal logic - timed automata" .
<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/CCS>	<http://www.w3.org/2004/02/skos/core#inScheme>	<http://linked.opendata.cz/ontology/domain/vavai/riv/KlicoveSlovo> .