Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367189892> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4367189892 abstract "We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo." @default.
- W4367189892 created "2023-04-28" @default.
- W4367189892 creator A5073164575 @default.
- W4367189892 date "2023-04-26" @default.
- W4367189892 modified "2023-10-14" @default.
- W4367189892 title "Simple Type Theory as a Clausal Theory" @default.
- W4367189892 doi "https://doi.org/10.48550/arxiv.2304.13319" @default.
- W4367189892 hasPublicationYear "2023" @default.
- W4367189892 type Work @default.
- W4367189892 citedByCount "0" @default.
- W4367189892 crossrefType "posted-content" @default.
- W4367189892 hasAuthorship W4367189892A5073164575 @default.
- W4367189892 hasBestOaLocation W43671898921 @default.
- W4367189892 hasConcept C111472728 @default.
- W4367189892 hasConcept C127313418 @default.
- W4367189892 hasConcept C138885662 @default.
- W4367189892 hasConcept C144237770 @default.
- W4367189892 hasConcept C151730666 @default.
- W4367189892 hasConcept C199343813 @default.
- W4367189892 hasConcept C2777299769 @default.
- W4367189892 hasConcept C2777686260 @default.
- W4367189892 hasConcept C2780586882 @default.
- W4367189892 hasConcept C33923547 @default.
- W4367189892 hasConcept C41008148 @default.
- W4367189892 hasConcept C71924100 @default.
- W4367189892 hasConcept C93682546 @default.
- W4367189892 hasConceptScore W4367189892C111472728 @default.
- W4367189892 hasConceptScore W4367189892C127313418 @default.
- W4367189892 hasConceptScore W4367189892C138885662 @default.
- W4367189892 hasConceptScore W4367189892C144237770 @default.
- W4367189892 hasConceptScore W4367189892C151730666 @default.
- W4367189892 hasConceptScore W4367189892C199343813 @default.
- W4367189892 hasConceptScore W4367189892C2777299769 @default.
- W4367189892 hasConceptScore W4367189892C2777686260 @default.
- W4367189892 hasConceptScore W4367189892C2780586882 @default.
- W4367189892 hasConceptScore W4367189892C33923547 @default.
- W4367189892 hasConceptScore W4367189892C41008148 @default.
- W4367189892 hasConceptScore W4367189892C71924100 @default.
- W4367189892 hasConceptScore W4367189892C93682546 @default.
- W4367189892 hasLocation W43671898921 @default.
- W4367189892 hasOpenAccess W4367189892 @default.
- W4367189892 hasPrimaryLocation W43671898921 @default.
- W4367189892 hasRelatedWork W1634262489 @default.
- W4367189892 hasRelatedWork W2003295197 @default.
- W4367189892 hasRelatedWork W2068880842 @default.
- W4367189892 hasRelatedWork W2119811164 @default.
- W4367189892 hasRelatedWork W2145625628 @default.
- W4367189892 hasRelatedWork W2163192648 @default.
- W4367189892 hasRelatedWork W2776018879 @default.
- W4367189892 hasRelatedWork W2953101030 @default.
- W4367189892 hasRelatedWork W3156224329 @default.
- W4367189892 hasRelatedWork W3021962464 @default.
- W4367189892 isParatext "false" @default.
- W4367189892 isRetracted "false" @default.
- W4367189892 workType "article" @default.