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 implication in WMV-algebras
Goto
Sponge
Distinct
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
V práci jsou studovány a charakterizovány implikační redukty WMV-algeber.
(cs)
We study and characterize implication reducts of WMV-algebras.
We study and characterize implication reducts of WMV-algebras.
(en)
Title
On implication in WMV-algebras
O implikaci ve WMV-algebrách
(cs)
On implication in WMV-algebras
(en)
skos:prefLabel
On implication in WMV-algebras
O implikaci ve WMV-algebrách
(cs)
On implication in WMV-algebras
(en)
skos:notation
RIV/61989592:15310/08:00005651!RIV09-MSM-15310___
http://linked.open...avai/riv/aktivita
Z
http://linked.open...avai/riv/aktivity
Z(MSM6198959214)
http://linked.open...vai/riv/dodaniDat
2009
http://linked.open...aciTvurceVysledku
Halaš, Radomír
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
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
384596
http://linked.open...ai/riv/idVysledku
RIV/61989592:15310/08:00005651
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
WMV-algebra; MV-algebra; section antitone involution; implication; reduct
(en)
http://linked.open.../riv/klicoveSlovo
MV-algebra
section antitone involution
implication
WMV-algebra
reduct
http://linked.open...ontrolniKodProRIV
[080382768FB8]
http://linked.open...i/riv/mistoVydani
Klagenfurt
http://linked.open...i/riv/nazevZdroje
Contributions to General Algebra 18
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
2008
http://linked.open...iv/tvurceVysledku
Halaš, Radomír
Plojhar, Luboš
http://linked.open...n/vavai/riv/zamer
Matematické modely a struktury
number of pages
14
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
J. Heyn
https://schema.org/isbn
978-3-7084-0303-8
http://localhost/t...ganizacniJednotka
15310
is
http://linked.open...avai/riv/vysledek
of
On implication in WMV-algebras
On implication in WMV-algebras
On implication in WMV-algebras
On implication in WMV-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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software