This HTML5 document contains 46 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/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985840%3A_____%2F07%3A00087421%21RIV08-AV0-67985840/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985840%3A_____%2F07%3A00087421%21RIV08-AV0-67985840
rdf:type
n15:Vysledek skos:Concept
dcterms:description
We provide characterizations of NP search problems definable in low fragments of bounded arifthmetic. We provide characterizations of NP search problems definable in low fragments of bounded arifthmetic. Předložíme charakterizaci NP vyhledávacích problémů definovatelných ve slabých fragmentech omezené aritmetiky.
dcterms:title
NP search problems in low fragments of bounded arithmetic NP vyhledávací problémy v slabých fragmentech omezené aritmetiky NP search problems in low fragments of bounded arithmetic
skos:prefLabel
NP search problems in low fragments of bounded arithmetic NP vyhledávací problémy v slabých fragmentech omezené aritmetiky NP search problems in low fragments of bounded arithmetic
skos:notation
RIV/67985840:_____/07:00087421!RIV08-AV0-67985840
n4:strany
649;672
n4:aktivita
n8:Z n8:P
n4:aktivity
P(GA201/05/0124), P(IAA1019401), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)
n4:cisloPeriodika
2
n4:dodaniDat
n11:2008
n4:domaciTvurceVysledku
n12:9626913
n4:druhVysledku
n17:J
n4:duvernostUdaju
n6:S
n4:entitaPredkladatele
n18:predkladatel
n4:idSjednocenehoVysledku
438028
n4:idVysledku
RIV/67985840:_____/07:00087421
n4:jazykVysledku
n14:eng
n4:klicovaSlova
search problems; bounded arithmetic
n4:klicoveSlovo
n10:search%20problems n10:bounded%20arithmetic
n4:kodStatuVydavatele
US - Spojené státy americké
n4:kontrolniKodProRIV
[E970D91D0C82]
n4:nazevZdroje
Journal of Symbolic Logic
n4:obor
n9:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
3
n4:projekt
n16:GA201%2F05%2F0124 n16:IAA1019401 n16:LC505
n4:rokUplatneniVysledku
n11:2007
n4:svazekPeriodika
72
n4:tvurceVysledku
Krajíček, Jan Skelley, A. Thapen, N.
n4:zamer
n13:AV0Z10190503 n13:MSM0021620839
s:issn
0022-4812
s:numberOfPages
24