This HTML5 document contains 20 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/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00022548%21RIV10-MSM-14330___/hodnoceni/2011/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n4http://linked.opendata.cz/ontology/domain/vavai/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://localhost/ontology/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n10http://reference.data.gov.uk/id/gregorian-year/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00022548%21RIV10-MSM-14330___/hodnoceni/

Statements

Subject Item
n2:2011
rdf:type
n4:OhodnocenyVysledek
rdfs:seeAlso
http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F07%3A00022548!RIV10-MSM-14330___
dcterms:title
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
skos:notation
RIV/00216224:14330/07:00022548!RIV10-MSM-14330___
n5:druhVysledkuVHodnoceni
n6:D
n5:navaznostiVysledku
n7:P%281M0545%29
n5:podilHodnoceniNaVysledku
1
n5:publikacniKanal
Proceedings of 18th International Conference on Concurrency Theory (CONCUR 2007)
n5:rokHodnoceniVysledku
n10:2012
n5:rozsahVyrazeni
n8:0
n5:skupinaOboru
n15:03
n5:upraveneBodoveHodnoceniCelehoVysledku
8.074
n5:upravenyBodovyPodilHodnoceniNaVysledku
8.074
n5:vysledek
n16:RIV%2F00216224%3A14330%2F07%3A00022548%21RIV10-MSM-14330___
n5:vysledekDruh
n13:D
n11:zpusobPrizazeniBodu-duvodVyrazeni
Metodika hodnocení, výsledek hodnocený již v předchozím hodnocení, body se přebírají.
n5:domaciTvurceVysledku
n12:tvurce_Br%C3%A1zdil%2C%20Tom%C3%A1%C5%A1
n5:idSjednocenehoVysledku
!NGKLHpFTzpX2xFRaZH2pp0S6zQ=
n5:obor
n17:IN
n5:rokUplatneniVysledku
n10:2007