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:
The decision problem of provability logic with only one atom
Goto
Sponge
NotDistinct
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
The decision problem for provability logic remains PSPACE-complete even if the number of propositional atoms is restricted to one.
The decision problem for provability logic remains PSPACE-complete even if the number of propositional atoms is restricted to one.
(en)
Title
The decision problem of provability logic with only one atom
The decision problem of provability logic with only one atom
(en)
skos:prefLabel
The decision problem of provability logic with only one atom
The decision problem of provability logic with only one atom
(en)
skos:notation
RIV/00216208:11210/03:00008263!RIV/2004/GA0/112104/N
http://linked.open.../vavai/riv/strany
763;768
http://linked.open...avai/riv/aktivita
P
http://linked.open...avai/riv/aktivity
P(GA401/01/0218)
http://linked.open...iv/cisloPeriodika
8
http://linked.open...vai/riv/dodaniDat
2004
http://linked.open...aciTvurceVysledku
Švejdar, Vítězslav
http://linked.open.../riv/druhVysledku
J - Článek v odborném periodiku
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 Karlova v Praze / Filozofická fakulta
http://linked.open...dnocenehoVysledku
602858
http://linked.open...ai/riv/idVysledku
RIV/00216208:11210/03:00008263
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
decision;problem;provability;logic;atom
(en)
http://linked.open.../riv/klicoveSlovo
atom
provability
decision
problem
logic
http://linked.open...odStatuVydavatele
SR - Surinamská republika
http://linked.open...ontrolniKodProRIV
[8414D0CC7B88]
http://linked.open...i/riv/nazevZdroje
Archive for Mathematical Logic
http://linked.open...in/vavai/riv/obor
AA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...ocetUcastnikuAkce
0
(
xsd:int
)
http://linked.open...nichUcastnikuAkce
0
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Modal and Many-valued Logics
http://linked.open...UplatneniVysledku
2003
http://linked.open...v/svazekPeriodika
42
http://linked.open...iv/tvurceVysledku
Švejdar, Vítězslav
issn
0933-5846
number of pages
6
(
xsd:int
)
http://localhost/t...ganizacniJednotka
11210
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software