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:
Automated Proof Compression by Invention of New Definitions
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
We propose a new algorithm for automated compression of arbitrary sets of terms by invention of new definitions.
We propose a new algorithm for automated compression of arbitrary sets of terms by invention of new definitions.
(en)
Title
Automated Proof Compression by Invention of New Definitions
Automated Proof Compression by Invention of New Definitions
(en)
skos:prefLabel
Automated Proof Compression by Invention of New Definitions
Automated Proof Compression by Invention of New Definitions
(en)
skos:notation
RIV/00216208:11320/10:10051623!RIV11-GA0-11320___
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GP201/08/P056), Z(MSM0021620839), Z(MSM6840770038)
http://linked.open...vai/riv/dodaniDat
2011
http://linked.open...aciTvurceVysledku
Stanovský, David
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
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 / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku
248165
http://linked.open...ai/riv/idVysledku
RIV/00216208:11320/10:10051623
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
compression; proof; Automated
(en)
http://linked.open.../riv/klicoveSlovo
compression
Automated
proof
http://linked.open...ontrolniKodProRIV
[9AD9AE8B64C9]
http://linked.open...v/mistoKonaniAkce
Dakar, Senegal
http://linked.open...i/riv/mistoVydani
Německo
http://linked.open...i/riv/nazevZdroje
In Proc. of the 16th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
3
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Algorithmic and structural problems of equational logic
http://linked.open...UplatneniVysledku
2010
http://linked.open...iv/tvurceVysledku
Urban, Josef
Vyskočil, Jiří
Stanovský, David
http://linked.open...vavai/riv/typAkce
WRD - Světová
http://linked.open.../riv/zahajeniAkce
2010-04-24
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
Metody moderní matematiky a jejich aplikace
Decision Making and Control for Manufacturing III
number of pages
16
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
Springer-Verlag. (Berlin; Heidelberg)
https://schema.org/isbn
978-3-642-17510-7
http://localhost/t...ganizacniJednotka
11320
is
http://linked.open...avai/riv/vysledek
of
Automated Proof Compression by Invention of New Definitions
Automated Proof Compression by Invention of New Definitions
Automated Proof Compression by Invention of New Definitions
Faceted Search & Find service v1.16.116 as of Feb 22 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 80 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software