This HTML5 document contains 29 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n17http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/predkladatel/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F09%3A00029078%21RIV10-GA0-14330___/hodnoceni/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F09%3A00029078%21RIV10-GA0-14330___/hodnoceni/2013/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://linked.opendata.cz/resource/domain/vavai/sjednocenyVysledek/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:2013
rdf:type
n17:OhodnocenyVysledek
rdfs:seeAlso
http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F09%3A00029078!RIV10-GA0-14330___
dcterms:title
On Decidability of LTL Model Checking for Process Rewrite Systems
skos:notation
RIV/00216224:14330/09:00029078!RIV10-GA0-14330___
n3:bodoveHodnoceniCelehoVysledku
17.547
n3:bodovyPodilHodnoceniNaVysledku
17.547
n3:druhVysledkuVHodnoceni
n14:Jimp
n3:duvodHodnoceni
Metodika hodnocení, výsledek hodnocený již v předchozím hodnocení, body se přebírají.
n3:navaznostiVysledku
n6:P%28GA201%2F06%2F1338%29 n6:P%28GP201%2F08%2FP375%29 n6:Z%28MSM0021622419%29 n6:P%281M0545%29
n3:podilHodnoceniNaVysledku
1
n3:predkladatel
n10:orjk_14330
n3:publikacniKanal
Acta informatica
n3:rokHodnoceniVysledku
n12:2014
n3:rozsahVyrazeni
n15:0
n3:skupinaOboru
n7:04
n3:upraveneBodoveHodnoceniCelehoVysledku
17.71
n3:upravenyBodovyPodilHodnoceniNaVysledku
17.71
n3:vysledek
n8:RIV%2F00216224%3A14330%2F09%3A00029078%21RIV10-GA0-14330___
n3:vysledekDruh
n18:J
n3:domaciTvurceVysledku
n4:tvurce_%C5%98eh%C3%A1k%2C%20Vojt%C4%9Bch n4:tvurce_K%C5%99et%C3%ADnsk%C3%BD%2C%20Mojm%C3%ADr n4:tvurce_Strej%C4%8Dek%2C%20Jan
n3:idSjednocenehoVysledku
.EkAJLeTxi8pwe5!gn-GdHzS!a4=
n3:obor
n16:IN
n3:rokUplatneniVysledku
n12:2009
n3:sjednocenyVysledek
n11:.EkAJLeTxi8pwe5%21gn-GdHzS%21a4%3D