This HTML5 document contains 41 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/
n18http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F07%3A00005653%21RIV09-MSM-15310___/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F07%3A00005653%21RIV09-MSM-15310___
rdf:type
skos:Concept n6:Vysledek
dcterms:description
Jsou popsány deduktivní systémy ortoimplikačních algeber přes jejich restrikce na hlavní filtry. Deductive systems of orthomodular implication algebras are characterized by their restriction to principal filters. Deductive systems of orthomodular implication algebras are characterized by their restriction to principal filters.
dcterms:title
O systémech kongruencí na hlavních filterch ortomodulárních implikačních algeber On systems of congruences on principal filters of orthomodular implication algebras On systems of congruences on principal filters of orthomodular implication algebras
skos:prefLabel
On systems of congruences on principal filters of orthomodular implication algebras On systems of congruences on principal filters of orthomodular implication algebras O systémech kongruencí na hlavních filterch ortomodulárních implikačních algeber
skos:notation
RIV/61989592:15310/07:00005653!RIV09-MSM-15310___
n3:aktivita
n12:Z
n3:aktivity
Z(MSM6198959214)
n3:cisloPeriodika
4
n3:dodaniDat
n10:2009
n3:domaciTvurceVysledku
n16:3213145
n3:druhVysledku
n14:J
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n11:predkladatel
n3:idSjednocenehoVysledku
439314
n3:idVysledku
RIV/61989592:15310/07:00005653
n3:jazykVysledku
n17:eng
n3:klicovaSlova
orthoimplication algebra; orthomodular lattice; p-filter
n3:klicoveSlovo
n4:p-filter n4:orthomodular%20lattice n4:orthoimplication%20algebra
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[5B6B31A58144]
n3:nazevZdroje
Mathematica Bohemica
n3:obor
n13:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n10:2007
n3:svazekPeriodika
132
n3:tvurceVysledku
Plojhar, Luboš Halaš, Radomír
n3:zamer
n15:MSM6198959214
s:issn
0862-7959
s:numberOfPages
13
n18:organizacniJednotka
15310