Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300360378> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4300360378 abstract "We prove the decidability of Ticket Entailment. Raised by Anderson and Belnap within the framework of relevance logic, this question is equivalent to the question of the decidability of type inhabitation in simply-typed combinatory logic with the partial basis BB'IW. We solve the equivalent problem of type inhabitation for the restriction of simply-typed lambda-calculus to hereditarily right-maximal terms." @default.
- W4300360378 created "2022-10-03" @default.
- W4300360378 creator A5027374816 @default.
- W4300360378 date "2011-06-09" @default.
- W4300360378 modified "2023-10-17" @default.
- W4300360378 title "Ticket Entailment is decidable" @default.
- W4300360378 doi "https://doi.org/10.48550/arxiv.1106.1875" @default.
- W4300360378 hasPublicationYear "2011" @default.
- W4300360378 type Work @default.
- W4300360378 citedByCount "0" @default.
- W4300360378 crossrefType "posted-content" @default.
- W4300360378 hasAuthorship W4300360378A5027374816 @default.
- W4300360378 hasBestOaLocation W43003603781 @default.
- W4300360378 hasConcept C118615104 @default.
- W4300360378 hasConcept C134752490 @default.
- W4300360378 hasConcept C153269930 @default.
- W4300360378 hasConcept C154945302 @default.
- W4300360378 hasConcept C158154518 @default.
- W4300360378 hasConcept C17744445 @default.
- W4300360378 hasConcept C18903297 @default.
- W4300360378 hasConcept C199343813 @default.
- W4300360378 hasConcept C199360897 @default.
- W4300360378 hasConcept C199539241 @default.
- W4300360378 hasConcept C2777299769 @default.
- W4300360378 hasConcept C2777686260 @default.
- W4300360378 hasConcept C33923547 @default.
- W4300360378 hasConcept C41008148 @default.
- W4300360378 hasConcept C71924100 @default.
- W4300360378 hasConcept C86803240 @default.
- W4300360378 hasConceptScore W4300360378C118615104 @default.
- W4300360378 hasConceptScore W4300360378C134752490 @default.
- W4300360378 hasConceptScore W4300360378C153269930 @default.
- W4300360378 hasConceptScore W4300360378C154945302 @default.
- W4300360378 hasConceptScore W4300360378C158154518 @default.
- W4300360378 hasConceptScore W4300360378C17744445 @default.
- W4300360378 hasConceptScore W4300360378C18903297 @default.
- W4300360378 hasConceptScore W4300360378C199343813 @default.
- W4300360378 hasConceptScore W4300360378C199360897 @default.
- W4300360378 hasConceptScore W4300360378C199539241 @default.
- W4300360378 hasConceptScore W4300360378C2777299769 @default.
- W4300360378 hasConceptScore W4300360378C2777686260 @default.
- W4300360378 hasConceptScore W4300360378C33923547 @default.
- W4300360378 hasConceptScore W4300360378C41008148 @default.
- W4300360378 hasConceptScore W4300360378C71924100 @default.
- W4300360378 hasConceptScore W4300360378C86803240 @default.
- W4300360378 hasLocation W43003603781 @default.
- W4300360378 hasLocation W43003603782 @default.
- W4300360378 hasLocation W43003603783 @default.
- W4300360378 hasLocation W43003603784 @default.
- W4300360378 hasLocation W43003603785 @default.
- W4300360378 hasLocation W43003603786 @default.
- W4300360378 hasLocation W43003603787 @default.
- W4300360378 hasOpenAccess W4300360378 @default.
- W4300360378 hasPrimaryLocation W43003603781 @default.
- W4300360378 hasRelatedWork W134144667 @default.
- W4300360378 hasRelatedWork W1481826604 @default.
- W4300360378 hasRelatedWork W1576014289 @default.
- W4300360378 hasRelatedWork W1966737172 @default.
- W4300360378 hasRelatedWork W2331020993 @default.
- W4300360378 hasRelatedWork W2963301870 @default.
- W4300360378 hasRelatedWork W2972379433 @default.
- W4300360378 hasRelatedWork W3132018246 @default.
- W4300360378 hasRelatedWork W4287547801 @default.
- W4300360378 hasRelatedWork W4383764068 @default.
- W4300360378 isParatext "false" @default.
- W4300360378 isRetracted "false" @default.
- W4300360378 workType "article" @default.