Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
New results in associativity and distributivity of orthomodular lattices
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
We study the existence of normal forms in orthomodular lattices and show the new results.
We study the existence of normal forms in orthomodular lattices and show the new results.
(en)
Title
New results in associativity and distributivity of orthomodular lattices
New results in associativity and distributivity of orthomodular lattices
(en)
skos:prefLabel
New results in associativity and distributivity of orthomodular lattices
New results in associativity and distributivity of orthomodular lattices
(en)
skos:notation
RIV/68407700:21230/12:00212412!RIV14-MSM-21230___
http://linked.open...avai/predkladatel
Fakulta elektrotechnická
http://linked.open...avai/riv/aktivita
S
http://linked.open...avai/riv/aktivity
S
http://linked.open...vai/riv/dodaniDat
2014
http://linked.open...aciTvurceVysledku
Navara, Mirko
Gabriëls, Jeannine Jozef Maria
http://linked.open.../riv/druhVysledku
V/S - Souhrnná výzkumná zpráva
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku
154097
http://linked.open...ai/riv/idVysledku
RIV/68407700:21230/12:00212412
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
orthomodular lattice; free algebra; computer algebra; associativity; distributivity; normal form
(en)
http://linked.open.../riv/klicoveSlovo
orthomodular lattice
free algebra
computer algebra
associativity
normal form
distributivity
http://linked.open...ontrolniKodProRIV
[08EB9E9F47BA]
http://linked.open...i/riv/mistoVydani
Praha
http://linked.open...telVyzkumneZpravy
Center for Machine Perception, K13133 FEE Czech Technical University
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
2
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
2
(
xsd:int
)
http://linked.open...UplatneniVysledku
2012
http://linked.open...iv/tvurceVysledku
Navara, Mirko
Gabriëls, Jeannine Jozef Maria
number of pages
50
(
xsd:int
)
http://localhost/t...ganizacniJednotka
21230
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software