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:
Simple axioms for 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
Uvádí se jednoduchý nezávislý systém axiomů ortomodulárních implikačních algeber.
(cs)
Simple, independent axioms for orthomodular implication algebras are presented.
Simple, independent axioms for orthomodular implication algebras are presented.
(en)
Title
Simple axioms for orthomodular implication algebras
Simple axioms for orthomodular implication algebras
(en)
Jednoduché axiomy pro ortomodulární implikační algebry
(cs)
skos:prefLabel
Simple axioms for orthomodular implication algebras
Simple axioms for orthomodular implication algebras
(en)
Jednoduché axiomy pro ortomodulární implikační algebry
(cs)
skos:notation
RIV/61989592:15310/04:00002067!RIV/2005/MSM/153105/N
http://linked.open.../vavai/riv/strany
911-914
http://linked.open...avai/riv/aktivita
Z
http://linked.open...avai/riv/aktivity
Z(MSM 153100011)
http://linked.open...iv/cisloPeriodika
4
http://linked.open...vai/riv/dodaniDat
2005
http://linked.open...aciTvurceVysledku
Halaš, Radomír
Chajda, Ivan
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
586212
http://linked.open...ai/riv/idVysledku
RIV/61989592:15310/04:00002067
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
implication algebra;orthoimplication algebra;orthomodular implication algebra;independent axioms;ortholattice
(en)
http://linked.open.../riv/klicoveSlovo
ortholattice
implication algebra
orthoimplication algebra
orthomodular implication algebra
independent axioms
http://linked.open...odStatuVydavatele
US - Spojené státy americké
http://linked.open...ontrolniKodProRIV
[722C24F5DB74]
http://linked.open...i/riv/nazevZdroje
International Journal of Theoretical Physics
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
2
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
3
(
xsd:int
)
http://linked.open...UplatneniVysledku
2004
http://linked.open...v/svazekPeriodika
43
http://linked.open...iv/tvurceVysledku
Chajda, Ivan
Halaš, Radomír
Länger, Helmut
http://linked.open...n/vavai/riv/zamer
http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20153100011
issn
0020-7748
number of pages
4
(
xsd:int
)
http://localhost/t...ganizacniJednotka
15310
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