This HTML5 document contains 45 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/
n8http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n7http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F05%3A03114014%21RIV06-GA0-21230___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F05%3A03114014%21RIV06-GA0-21230___
rdf:type
skos:Concept n13:Vysledek
dcterms:description
We discuss the possibility of automatic simplification of formulas in orthomodular lattices. We describe the principles of a program which decides the validity of equalities and inequalities, as well as implications between them and other important relations significant in quantum mechanics. We discuss the possibility of automatic simplification of formulas in orthomodular lattices. We describe the principles of a program which decides the validity of equalities and inequalities, as well as implications between them and other important relations significant in quantum mechanics. Není k dispozici
dcterms:title
Není k dispozici Decidability in Orthomodular Lattices Decidability in Orthomodular Lattices
skos:prefLabel
Není k dispozici Decidability in Orthomodular Lattices Decidability in Orthomodular Lattices
skos:notation
RIV/68407700:21230/05:03114014!RIV06-GA0-21230___
n4:strany
2201 ; 2210
n4:aktivita
n17:P
n4:aktivity
P(GA201/03/0455)
n4:cisloPeriodika
12
n4:dodaniDat
n10:2006
n4:domaciTvurceVysledku
n9:5972558
n4:druhVysledku
n14:J
n4:duvernostUdaju
n12:S
n4:entitaPredkladatele
n7:predkladatel
n4:idSjednocenehoVysledku
517046
n4:idVysledku
RIV/68407700:21230/05:03114014
n4:jazykVysledku
n6:eng
n4:klicovaSlova
congruence; equivalence; free lattice; ideal; implication; orthomodular lattice
n4:klicoveSlovo
n11:orthomodular%20lattice n11:free%20lattice n11:equivalence n11:congruence n11:ideal n11:implication
n4:kodStatuVydavatele
US - Spojené státy americké
n4:kontrolniKodProRIV
[68B5F87B7DC1]
n4:nazevZdroje
International Journal of Theoretical Physics
n4:obor
n18:JD
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n16:GA201%2F03%2F0455
n4:rokUplatneniVysledku
n10:2005
n4:svazekPeriodika
44
n4:tvurceVysledku
Hyčko, M. Navara, Mirko
s:issn
0020-7748
s:numberOfPages
10
n8:organizacniJednotka
21230