This HTML5 document contains 39 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/
n16	http://localhost/temp/predkladatel/
n4	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13	http://linked.opendata.cz/ontology/domain/vavai/
n11	http://linked.opendata.cz/resource/domain/vavai/zamer/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n18	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F60076658%3A12410%2F03%3A00004665%21RIV%2F2004%2FMSM%2F124104%2FN/
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F60076658%3A12410%2F03%3A00004665%21RIV%2F2004%2FMSM%2F124104%2FN

rdf:type

n13:Vysledek skos:Concept

dcterms:description

Je ukázáno užití programu QEPCAD, který umožňuje najít k dané formuli obsahující kvantifikátory, ekvivalentní otevřenou formuli Je ukázáno užití programu QEPCAD, který umožňuje najít k dané formuli obsahující kvantifikátory, ekvivalentní otevřenou formuli

dcterms:title

Využití programu QEPCAD při řešení středoškolských úloh obsahujících parametry Využití programu QEPCAD při řešení středoškolských úloh obsahujících parametry

skos:prefLabel

Využití programu QEPCAD při řešení středoškolských úloh obsahujících parametry Využití programu QEPCAD při řešení středoškolských úloh obsahujících parametry

skos:notation

RIV/60076658:12410/03:00004665!RIV/2004/MSM/124104/N

n3:strany

31-38

n3:aktivita

n18:Z

n3:aktivity

Z(MSM 124100006)

n3:cisloPeriodika

1

n3:dodaniDat

n12:2004

n3:domaciTvurceVysledku

n4:6370950

n3:druhVysledku

n9:J

n3:duvernostUdaju

n7:S

n3:entitaPredkladatele

n14:predkladatel

n3:idSjednocenehoVysledku

634711

n3:idVysledku

RIV/60076658:12410/03:00004665

n3:jazykVysledku

n15:eng

n3:klicovaSlova

Quantifiers elimination

n3:klicoveSlovo

n6:Quantifiers%20elimination

n3:kodStatuVydavatele

CZ - Česká republika

n3:kontrolniKodProRIV

[6E1BAA597E5C]

n3:nazevZdroje

Učitel matematiky

n3:obor

n17:BA

n3:pocetDomacichTvurcuVysledku

1

n3:pocetTvurcuVysledku

2

n3:pocetUcastnikuAkce

0

n3:pocetZahranicnichUcastnikuAkce

0

n3:rokUplatneniVysledku

n12:2003

n3:svazekPeriodika

12

n3:tvurceVysledku

Pech, Pavel Hora, Jan

n3:zamer

n11:MSM%20124100006

s:issn

1210-9037

s:numberOfPages

8

n16:organizacniJednotka

12410