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/
n11http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/ontology/domain/vavai/
n17http://linked.opendata.cz/resource/domain/vavai/zamer/
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#
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F10%3A10050432%21RIV11-GA0-11320___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F10%3A10050432%21RIV11-GA0-11320___
rdf:type
skos:Concept n8:Vysledek
dcterms:description
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers.
dcterms:title
Automated Theorem Proving in Quasigroup and Loop Theory Automated Theorem Proving in Quasigroup and Loop Theory
skos:prefLabel
Automated Theorem Proving in Quasigroup and Loop Theory Automated Theorem Proving in Quasigroup and Loop Theory
skos:notation
RIV/00216208:11320/10:10050432!RIV11-GA0-11320___
n3:aktivita
n13:P n13:Z
n3:aktivity
P(GP201/08/P056), Z(MSM0021620839)
n3:cisloPeriodika
2-3
n3:dodaniDat
n12:2011
n3:domaciTvurceVysledku
n15:9494448
n3:druhVysledku
n9:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
248170
n3:idVysledku
RIV/00216208:11320/10:10050432
n3:jazykVysledku
n10:eng
n3:klicovaSlova
Theory; Loop; and; Quasigroup; Proving; Theorem; Automated
n3:klicoveSlovo
n4:Proving n4:and n4:Theorem n4:Loop n4:Quasigroup n4:Theory n4:Automated
n3:kodStatuVydavatele
NL - Nizozemsko
n3:kontrolniKodProRIV
[0462E717EB40]
n3:nazevZdroje
AI Communications
n3:obor
n19:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:projekt
n6:GP201%2F08%2FP056
n3:rokUplatneniVysledku
n12:2010
n3:svazekPeriodika
23
n3:tvurceVysledku
Stanovský, David Phillips, J. D.
n3:wos
000275821600011
n3:zamer
n17:MSM0021620839
s:issn
0921-7126
s:numberOfPages
17
n11:organizacniJednotka
11320