This HTML5 document contains 23 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/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n10http://linked.opendata.cz/ontology/domain/vavai/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F06%3A00013734%21RIV08-AV0-27240___/hodnoceni/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F06%3A00013734%21RIV08-AV0-27240___/hodnoceni/2010/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://localhost/ontology/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:2010
rdf:type
n10:OhodnocenyVysledek
rdfs:seeAlso
http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F61989100%3A27240%2F06%3A00013734!RIV08-AV0-27240___
dcterms:title
Equivalence-checking on infinite-state systems: Techniques and results
skos:notation
RIV/61989100:27240/06:00013734!RIV08-AV0-27240___
n4:bodoveHodnoceniCelehoVysledku
18.967999999999999972
n4:bodovyPodilHodnoceniNaVysledku
6.3230000000000003979
n4:druhVysledkuVHodnoceni
n7:Jimp
n4:navaznostiVysledku
n13:P%281ET101940420%29
n4:podilHodnoceniNaVysledku
0.33300000000000001821
n4:publikacniKanal
Theory and Practice of Logic Programming
n4:rokHodnoceniVysledku
n5:2011
n4:rozsahVyrazeni
n17:0
n4:skupinaOboru
n11:03
n4:upraveneBodoveHodnoceniCelehoVysledku
18.967999999999999972
n4:upravenyBodovyPodilHodnoceniNaVysledku
6.3230000000000003979
n4:vysledek
n14:RIV%2F61989100%3A27240%2F06%3A00013734%21RIV08-AV0-27240___
n4:vysledekDruh
n9:J
n12:zpusobPrizazeniBodu-duvodVyrazeni
Metodika hodnocení, výsledek hodnocený již v předchozím hodnocení, body se přebírají.
n4:korekcniKoeficient
1.0
n4:domaciTvurceVysledku
n8:tvurce_Jan%C4%8Dar%2C%20Petr
n4:idSjednocenehoVysledku
CA96BB34E42AC95E34838B5350FC0D7FB7B16A5B
n4:obor
n6:IN
n4:rokUplatneniVysledku
n5:2006