This HTML5 document contains 51 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/
n19http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n17http://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/
n20http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F12%3A00199197%21RIV14-MSM-21230___/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F12%3A00199197%21RIV14-MSM-21230___
rdf:type
n15:Vysledek skos:Concept
dcterms:description
It is known that orthomodular lattices admit 96 binary operations, out of which 16 are commutative. We clarify which of them are associative. It is known that orthomodular lattices admit 96 binary operations, out of which 16 are commutative. We clarify which of them are associative.
dcterms:title
Associativity of operations on orthomodular lattices Associativity of operations on orthomodular lattices
skos:prefLabel
Associativity of operations on orthomodular lattices Associativity of operations on orthomodular lattices
skos:notation
RIV/68407700:21230/12:00199197!RIV14-MSM-21230___
n15:predkladatel
n16:orjk%3A21230
n3:aktivita
n8:Z
n3:aktivity
Z(MSM6840770038)
n3:cisloPeriodika
6
n3:dodaniDat
n7:2014
n3:domaciTvurceVysledku
Gabriëls, Jeannine Jozef Maria n18:5972558
n3:druhVysledku
n10:J
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
123924
n3:idVysledku
RIV/68407700:21230/12:00199197
n3:jazykVysledku
n9:eng
n3:klicovaSlova
orthomodular lattice; free lattice; ideal; congruence; commutator, associativity; commutativity; focusing; Foulis--Holland theorem; implication; equivalence; variety
n3:klicoveSlovo
n6:implication n6:Foulis--Holland%20theorem n6:ideal n6:orthomodular%20lattice n6:focusing n6:commutator n6:commutativity n6:equivalence n6:variety n6:congruence n6:free%20lattice n6:associativity
n3:kodStatuVydavatele
SK - Slovenská republika
n3:kontrolniKodProRIV
[CAE2BF4EC81A]
n3:nazevZdroje
Mathematica Slovaca
n3:obor
n14:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n7:2012
n3:svazekPeriodika
62
n3:tvurceVysledku
Navara, Mirko Gabriëls, Jeannine Jozef Maria
n3:wos
000312663200005
n3:zamer
n17:MSM6840770038
s:issn
0139-9918
s:numberOfPages
10
n20:doi
10.2478/s12175-012-0065-2
n19:organizacniJednotka
21230