This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F08%3A03151009%21RIV09-MSM-21230___/
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n10http://purl.org/net/nknouf/ns/bibtex#
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
n4https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F08%3A03151009%21RIV09-MSM-21230___
rdf:type
skos:Concept n19:Vysledek
dcterms:description
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic. The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic. Kniha se zabývá výrokovou logikou a predikátovou logikou. Rezoluční princip je uveden jak pro vyrokovou tak i predikátovou logiku.
dcterms:title
Matematická logika Mathematical Logic Mathematical Logic
skos:prefLabel
Matematická logika Mathematical Logic Mathematical Logic
skos:notation
RIV/68407700:21230/08:03151009!RIV09-MSM-21230___
n3:aktivita
n6:Z
n3:aktivity
Z(MSM6840770038)
n3:dodaniDat
n15:2009
n3:domaciTvurceVysledku
n7:4665589
n3:druhVysledku
n11:B
n3:duvernostUdaju
n12:S
n3:entitaPredkladatele
n9:predkladatel
n3:idSjednocenehoVysledku
377967
n3:idVysledku
RIV/68407700:21230/08:03151009
n3:jazykVysledku
n16:eng
n3:klicovaSlova
mathematical logic
n3:klicoveSlovo
n13:mathematical%20logic
n3:kontrolniKodProRIV
[A8191673B0AF]
n3:mistoVydani
Praha
n3:nazevZdroje
Mathematical Logic
n3:obor
n18:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetStranKnihy
226
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n15:2008
n3:tvurceVysledku
Demlová, Marie
n3:zamer
n14:MSM6840770038
s:numberOfPages
226
n10:hasPublisher
kernberg publishing
n4:isbn
978-80-87168-07-3
n17:organizacniJednotka
21230