About: Consistency and games - in search of new combinatorial principles

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Consistency and games - in search of new combinatorial principles 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Předkládáme .sigma.1b kombinatorické věty, které charakterizují všechny .sigma.1b dokazatelné věty v S2. (cs) We present .sigma.1b combinatorial sentences that characterize all .sigma. 1b sentences provable in S2. We present .sigma.1b combinatorial sentences that characterize all .sigma. 1b sentences provable in S2. (en)
Title	Consistency and games - in search of new combinatorial principles Consistency and games - in search of new combinatorial principles (en) Bezespornost a hry - hledání nových kombinatorických principů (cs)
skos:prefLabel	Consistency and games - in search of new combinatorial principles Consistency and games - in search of new combinatorial principles (en) Bezespornost a hry - hledání nových kombinatorických principů (cs)
skos:notation	RIV/67985840:_____/06:00039356!RIV07-AV0-67985840
http://linked.open.../vavai/riv/strany	244;281
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/01/1195), P(GD401/03/H047), P(IAA1019401), Z(AV0Z1019905)
http://linked.open...vai/riv/dodaniDat	2007
http://linked.open...aciTvurceVysledku	Pudlák, Pavel
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	Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	469630
http://linked.open...ai/riv/idVysledku	RIV/67985840:_____/06:00039356
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	independent sentences; peano arithmetic; bounded arithmetic (en)
http://linked.open.../riv/klicoveSlovo	independent sentences bounded arithmetic peano arithmetic
http://linked.open...ontrolniKodProRIV	[F1F0E84283FC]
http://linked.open...v/mistoKonaniAkce	Helsinki
http://linked.open...i/riv/mistoVydani	Wellesley
http://linked.open...i/riv/nazevZdroje	Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic
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	Logical foundations of semantics and knowledge representation Combinatorial algorithms and combinatorial problems in complexity theory Theories, proofs and computational complexity
http://linked.open...UplatneniVysledku	2006
http://linked.open...iv/tvurceVysledku	Pudlák, Pavel
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2003-08-14 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Complex development of all branches of mathematics with regard to the needs of physics and technology
number of pages	38 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Association for Symbolic Logic
https://schema.org/isbn	1-56881-293-0

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, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software