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:
Substitutions into propositional tautologies
Goto
Sponge
Distinct
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
We prove the existence of a substitution reducing substantially the number of essential variables in a formula
We prove the existence of a substitution reducing substantially the number of essential variables in a formula
(en)
Dokazujeme existenci substituce značně zmenšující počet podstatných proměnných ve formuli.
(cs)
Title
Substitutions into propositional tautologies
Substituce do výrokových tautologií
(cs)
Substitutions into propositional tautologies
(en)
skos:prefLabel
Substitutions into propositional tautologies
Substituce do výrokových tautologií
(cs)
Substitutions into propositional tautologies
(en)
skos:notation
RIV/67985840:_____/07:00087417!RIV08-AV0-67985840
http://linked.open.../vavai/riv/strany
163;167
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GA201/05/0124), P(IAA1019401), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)
http://linked.open...iv/cisloPeriodika
4
http://linked.open...vai/riv/dodaniDat
2008
http://linked.open...aciTvurceVysledku
Krajíček, Jan
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
Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku
453434
http://linked.open...ai/riv/idVysledku
RIV/67985840:_____/07:00087417
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
computational complexity; proof complexity; automated theorem proving
(en)
http://linked.open.../riv/klicoveSlovo
computational complexity
automated theorem proving
proof complexity
http://linked.open...odStatuVydavatele
NL - Nizozemsko
http://linked.open...ontrolniKodProRIV
[6E6261A6AAED]
http://linked.open...i/riv/nazevZdroje
Information Processing Letters
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Online algorithms, randomness, and extremal problems
Eduard Čech Center for Algebra and Geometry
Theories, proofs and computational complexity
http://linked.open...UplatneniVysledku
2007
http://linked.open...v/svazekPeriodika
101
http://linked.open...iv/tvurceVysledku
Krajíček, Jan
http://linked.open...n/vavai/riv/zamer
Rozvoj a prohloubení obecných matematických poznatků a jejich užití v dalších vědních oborech a v praxi
Metody moderní matematiky a jejich aplikace
issn
0020-0190
number of pages
5
(
xsd:int
)
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software