Matches in SemOpenAlex for { <https://semopenalex.org/work/W1813874586> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1813874586 endingPage "14" @default.
- W1813874586 startingPage "1" @default.
- W1813874586 abstract "A nonconstructive proof can be used to prove the existence of an object with some properties without providing an explicit example of such an object. A special case is a probabilistic proof where we show that an object with required properties appears with some positive probability in some random process. Can we use such arguments to prove the existence of a computable infinite object? Sometimes yes: following [8], we show how the notion of a layerwise computable mapping can be used to prove a computable version of Lovasz local lemma." @default.
- W1813874586 created "2016-06-24" @default.
- W1813874586 creator A5083603294 @default.
- W1813874586 creator A5089321659 @default.
- W1813874586 date "2014-01-01" @default.
- W1813874586 modified "2023-09-25" @default.
- W1813874586 title "Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma" @default.
- W1813874586 cites W1582077892 @default.
- W1813874586 cites W1635986274 @default.
- W1813874586 cites W1652916790 @default.
- W1813874586 cites W1806878848 @default.
- W1813874586 cites W2029308360 @default.
- W1813874586 cites W2087486255 @default.
- W1813874586 cites W2109693504 @default.
- W1813874586 cites W2156189938 @default.
- W1813874586 cites W2953345276 @default.
- W1813874586 doi "https://doi.org/10.3233/fi-2014-1029" @default.
- W1813874586 hasPublicationYear "2014" @default.
- W1813874586 type Work @default.
- W1813874586 sameAs 1813874586 @default.
- W1813874586 citedByCount "22" @default.
- W1813874586 countsByYear W18138745862013 @default.
- W1813874586 countsByYear W18138745862016 @default.
- W1813874586 countsByYear W18138745862017 @default.
- W1813874586 countsByYear W18138745862018 @default.
- W1813874586 countsByYear W18138745862019 @default.
- W1813874586 countsByYear W18138745862020 @default.
- W1813874586 countsByYear W18138745862021 @default.
- W1813874586 countsByYear W18138745862022 @default.
- W1813874586 countsByYear W18138745862023 @default.
- W1813874586 crossrefType "journal-article" @default.
- W1813874586 hasAuthorship W1813874586A5083603294 @default.
- W1813874586 hasAuthorship W1813874586A5089321659 @default.
- W1813874586 hasBestOaLocation W18138745862 @default.
- W1813874586 hasConcept C105795698 @default.
- W1813874586 hasConcept C114614502 @default.
- W1813874586 hasConcept C118615104 @default.
- W1813874586 hasConcept C136119220 @default.
- W1813874586 hasConcept C139719470 @default.
- W1813874586 hasConcept C156382255 @default.
- W1813874586 hasConcept C162324750 @default.
- W1813874586 hasConcept C18903297 @default.
- W1813874586 hasConcept C202444582 @default.
- W1813874586 hasConcept C20522121 @default.
- W1813874586 hasConcept C27318111 @default.
- W1813874586 hasConcept C2777759810 @default.
- W1813874586 hasConcept C33923547 @default.
- W1813874586 hasConcept C41008148 @default.
- W1813874586 hasConcept C46757340 @default.
- W1813874586 hasConcept C49937458 @default.
- W1813874586 hasConcept C54271186 @default.
- W1813874586 hasConcept C80444323 @default.
- W1813874586 hasConcept C86803240 @default.
- W1813874586 hasConceptScore W1813874586C105795698 @default.
- W1813874586 hasConceptScore W1813874586C114614502 @default.
- W1813874586 hasConceptScore W1813874586C118615104 @default.
- W1813874586 hasConceptScore W1813874586C136119220 @default.
- W1813874586 hasConceptScore W1813874586C139719470 @default.
- W1813874586 hasConceptScore W1813874586C156382255 @default.
- W1813874586 hasConceptScore W1813874586C162324750 @default.
- W1813874586 hasConceptScore W1813874586C18903297 @default.
- W1813874586 hasConceptScore W1813874586C202444582 @default.
- W1813874586 hasConceptScore W1813874586C20522121 @default.
- W1813874586 hasConceptScore W1813874586C27318111 @default.
- W1813874586 hasConceptScore W1813874586C2777759810 @default.
- W1813874586 hasConceptScore W1813874586C33923547 @default.
- W1813874586 hasConceptScore W1813874586C41008148 @default.
- W1813874586 hasConceptScore W1813874586C46757340 @default.
- W1813874586 hasConceptScore W1813874586C49937458 @default.
- W1813874586 hasConceptScore W1813874586C54271186 @default.
- W1813874586 hasConceptScore W1813874586C80444323 @default.
- W1813874586 hasConceptScore W1813874586C86803240 @default.
- W1813874586 hasIssue "1" @default.
- W1813874586 hasLocation W18138745861 @default.
- W1813874586 hasLocation W18138745862 @default.
- W1813874586 hasLocation W18138745863 @default.
- W1813874586 hasLocation W18138745864 @default.
- W1813874586 hasOpenAccess W1813874586 @default.
- W1813874586 hasPrimaryLocation W18138745861 @default.
- W1813874586 hasRelatedWork W1480530468 @default.
- W1813874586 hasRelatedWork W153068418 @default.
- W1813874586 hasRelatedWork W1533694441 @default.
- W1813874586 hasRelatedWork W1544102261 @default.
- W1813874586 hasRelatedWork W1813874586 @default.
- W1813874586 hasRelatedWork W2007775665 @default.
- W1813874586 hasRelatedWork W2023962937 @default.
- W1813874586 hasRelatedWork W2167771004 @default.
- W1813874586 hasRelatedWork W2962816983 @default.
- W1813874586 hasRelatedWork W4236179144 @default.
- W1813874586 hasVolume "132" @default.
- W1813874586 isParatext "false" @default.
- W1813874586 isRetracted "false" @default.
- W1813874586 magId "1813874586" @default.
- W1813874586 workType "article" @default.