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

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n13	http://linked.opendata.cz/ontology/domain/vavai/
skos	http://www.w3.org/2004/02/skos/core#
rdfs	http://www.w3.org/2000/01/rdf-schema#
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21240%2F09%3A00159044%21RIV10-MSM-21240___/hodnoceni/
n17	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n8	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21240%2F09%3A00159044%21RIV10-MSM-21240___/hodnoceni/2011/
xsdh	http://www.w3.org/2001/XMLSchema#
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n11	http://localhost/ontology/
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:2011

rdf:type

n13:OhodnocenyVysledek

rdfs:seeAlso

http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F68407700%3A21240%2F09%3A00159044!RIV10-MSM-21240___

dcterms:title

On Properties of SAT Instances Produced by SAT-Based ATPGs

skos:notation

RIV/68407700:21240/09:00159044!RIV10-MSM-21240___

n3:druhVysledkuVHodnoceni

n14:neu

n3:navaznostiVysledku

n16:P%28GA102%2F09%2F1668%29

n3:podilHodnoceniNaVysledku

0.667

n3:publikacniKanal

Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

n3:rokHodnoceniVysledku

n9:2012

n3:rozsahVyrazeni

n10:0

n3:skupinaOboru

n15:03

n3:upraveneBodoveHodnoceniCelehoVysledku

0

n3:upravenyBodovyPodilHodnoceniNaVysledku

0

n3:vysledek

n17:RIV%2F68407700%3A21240%2F09%3A00159044%21RIV10-MSM-21240___

n3:vysledekDruh

n4:D

n11:zpusobPrizazeniBodu-duvodVyrazeni

Článek ve sborníku má uvedeno ISBN nebo ISSN, ale to není v databázi Conference Proceedings Citation Index společnosti Thomson Reuters.

n3:domaciTvurceVysledku

n8:tvurce_Fi%C5%A1er%2C%20Petr

n3:idSjednocenehoVysledku

YaxJzBMRNoxUB+35iMohR4L5m5w=

n3:obor

n6:IN

n3:rokUplatneniVysledku

n9:2009