<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://purl.org/dc/terms/title>	"Recursive and Backward Reasoning in the Verification of Hybrid Systems" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/idSjednocenehoVysledku>	"8F8B5C2F023023FF6A08832FF12B9A5F4F83D4C1" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku>	<http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/P%28GC201%2F08%2FJ020%29> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh>	<http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/D> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/podilHodnoceniNaVysledku>	"1"^^<http://www.w3.org/2001/XMLSchema#decimal> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/bodovyPodilHodnoceniNaVysledku>	"8"^^<http://www.w3.org/2001/XMLSchema#decimal> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/rokHodnoceniVysledku>	<http://reference.data.gov.uk/id/gregorian-year/2010> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/vysledek>	<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/bodoveHodnoceniCelehoVysledku>	"8.0"^^<http://www.w3.org/2001/XMLSchema#double> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://localhost/ontology/zpusobPrizazeniBodu-duvodVyrazeni>	"Metodika hodnocen\u00ED, rok uplatn\u011Bn\u00ED 2008 a pozd\u011Bj\u0161\u00ED, \u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi ISI Proceedings spole\u010Dnosti Thomson Reuters (dohled\u00E1no podle ISBN)." .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://linked.opendata.cz/ontology/domain/vavai/OhodnocenyVysledek> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://www.w3.org/2000/01/rdf-schema#seeAlso>	"http://www.isvav.cz/h09/resultDetail.do?rowId=RIV%2F67985807%3A_____%2F08%3A00314335!RIV09-GA0-67985807"^^<http://www.w3.org/2001/XMLSchema#anyURI> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni>	<http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/D> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://www.w3.org/2004/02/skos/core#notation>	"RIV/67985807:_____/08:00314335" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009>	<http://linked.opendata.cz/ontology/domain/vavai/riv/domaciTvurceVysledku>	<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00314335/hodnoceni/2009/tvurce_Ratschan%2C%20Stefan> .