This HTML5 document contains 26 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/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985840%3A_____%2F12%3A00380502%21RIV13-AV0-67985840/hodnoceni/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n17http://linked.opendata.cz/ontology/domain/vavai/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985840%3A_____%2F12%3A00380502%21RIV13-AV0-67985840/hodnoceni/2013/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/predkladatel/
skoshttp://www.w3.org/2004/02/skos/core#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n5http://linked.opendata.cz/resource/domain/vavai/sjednocenyVysledek/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://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%2F67985840%3A_____%2F12%3A00380502!RIV13-AV0-67985840
dcterms:title
A note on SAT algorithms and proof complexity
skos:notation
RIV/67985840:_____/12:00380502!RIV13-AV0-67985840
n4:bodoveHodnoceniCelehoVysledku
14.85
n4:bodovyPodilHodnoceniNaVysledku
7.425
n4:druhVysledkuVHodnoceni
n11:Jimp
n4:duvodHodnoceni
J_imp článek v impaktovaném časopise
n4:navaznostiVysledku
n6:Z%28MSM0021620839%29 n6:P%28IAA100190902%29 n6:Z%28AV0Z10190503%29
n4:podilHodnoceniNaVysledku
0.5
n4:predkladatel
n8:ico_67985840
n4:publikacniKanal
Information Processing Letters
n4:rokHodnoceniVysledku
n14:2014
n4:rozsahVyrazeni
n18:0
n4:skupinaOboru
n9:07
n4:upraveneBodoveHodnoceniCelehoVysledku
14.038
n4:upravenyBodovyPodilHodnoceniNaVysledku
7.019
n4:vysledek
n10:RIV%2F67985840%3A_____%2F12%3A00380502%21RIV13-AV0-67985840
n4:vysledekDruh
n13:J
n4:domaciTvurceVysledku
n12:tvurce_Kraj%C3%AD%C4%8Dek%2C%20Jan
n4:idSjednocenehoVysledku
3WjjsQyfsDrx8+tL-L5XoAh1Sqc=
n4:obor
n15:BA
n4:rokUplatneniVysledku
n14:2012
n4:sjednocenyVysledek
n5:3WjjsQyfsDrx8%2BtL-L5XoAh1Sqc%3D