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:
On systems of congruences on principal filters of orthomodular implication algebras
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
Jsou popsány deduktivní systémy ortoimplikačních algeber přes jejich restrikce na hlavní filtry.
(cs)
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.
(en)
Title
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
(cs)
On systems of congruences on principal filters of orthomodular implication algebras
(en)
skos:prefLabel
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
(cs)
On systems of congruences on principal filters of orthomodular implication algebras
(en)
skos:notation
RIV/61989592:15310/07:00005653!RIV09-MSM-15310___
http://linked.open...avai/riv/aktivita
Z
http://linked.open...avai/riv/aktivity
Z(MSM6198959214)
http://linked.open...iv/cisloPeriodika
4
http://linked.open...vai/riv/dodaniDat
2009
http://linked.open...aciTvurceVysledku
Halaš, Radomír
http://linked.open.../riv/druhVysledku
J - Článek v odborném periodiku
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
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku
439314
http://linked.open...ai/riv/idVysledku
RIV/61989592:15310/07:00005653
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
orthoimplication algebra; orthomodular lattice; p-filter
(en)
http://linked.open.../riv/klicoveSlovo
orthomodular lattice
orthoimplication algebra
p-filter
http://linked.open...odStatuVydavatele
CZ - Česká republika
http://linked.open...ontrolniKodProRIV
[5B6B31A58144]
http://linked.open...i/riv/nazevZdroje
Mathematica Bohemica
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
2
(
xsd:int
)
http://linked.open...UplatneniVysledku
2007
http://linked.open...v/svazekPeriodika
132
http://linked.open...iv/tvurceVysledku
Halaš, Radomír
Plojhar, Luboš
http://linked.open...n/vavai/riv/zamer
Matematické modely a struktury
issn
0862-7959
number of pages
13
(
xsd:int
)
http://localhost/t...ganizacniJednotka
15310
is
http://linked.open...avai/riv/vysledek
of
On systems of congruences on principal filters of orthomodular implication algebras
On systems of congruences on principal filters of orthomodular implication algebras
On systems of congruences on principal filters of orthomodular implication algebras
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, 38 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software