Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296948606> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2296948606 endingPage "131" @default.
- W2296948606 startingPage "130" @default.
- W2296948606 created "2016-06-24" @default.
- W2296948606 creator A5077895764 @default.
- W2296948606 date "2009-01-01" @default.
- W2296948606 modified "2023-09-24" @default.
- W2296948606 title "On the Meaning of Decidability Issues in Dependent Types for the Problem of Output Correctness" @default.
- W2296948606 hasPublicationYear "2009" @default.
- W2296948606 type Work @default.
- W2296948606 sameAs 2296948606 @default.
- W2296948606 citedByCount "0" @default.
- W2296948606 crossrefType "journal-article" @default.
- W2296948606 hasAuthorship W2296948606A5077895764 @default.
- W2296948606 hasConcept C111472728 @default.
- W2296948606 hasConcept C11413529 @default.
- W2296948606 hasConcept C118615104 @default.
- W2296948606 hasConcept C138885662 @default.
- W2296948606 hasConcept C153269930 @default.
- W2296948606 hasConcept C199343813 @default.
- W2296948606 hasConcept C2777686260 @default.
- W2296948606 hasConcept C2780876879 @default.
- W2296948606 hasConcept C33923547 @default.
- W2296948606 hasConcept C41008148 @default.
- W2296948606 hasConcept C55439883 @default.
- W2296948606 hasConcept C71924100 @default.
- W2296948606 hasConceptScore W2296948606C111472728 @default.
- W2296948606 hasConceptScore W2296948606C11413529 @default.
- W2296948606 hasConceptScore W2296948606C118615104 @default.
- W2296948606 hasConceptScore W2296948606C138885662 @default.
- W2296948606 hasConceptScore W2296948606C153269930 @default.
- W2296948606 hasConceptScore W2296948606C199343813 @default.
- W2296948606 hasConceptScore W2296948606C2777686260 @default.
- W2296948606 hasConceptScore W2296948606C2780876879 @default.
- W2296948606 hasConceptScore W2296948606C33923547 @default.
- W2296948606 hasConceptScore W2296948606C41008148 @default.
- W2296948606 hasConceptScore W2296948606C55439883 @default.
- W2296948606 hasConceptScore W2296948606C71924100 @default.
- W2296948606 hasLocation W22969486061 @default.
- W2296948606 hasOpenAccess W2296948606 @default.
- W2296948606 hasPrimaryLocation W22969486061 @default.
- W2296948606 hasRelatedWork W1509220403 @default.
- W2296948606 hasRelatedWork W1511668635 @default.
- W2296948606 hasRelatedWork W1522071656 @default.
- W2296948606 hasRelatedWork W1543158518 @default.
- W2296948606 hasRelatedWork W1596425290 @default.
- W2296948606 hasRelatedWork W1827473830 @default.
- W2296948606 hasRelatedWork W1978078271 @default.
- W2296948606 hasRelatedWork W2030411979 @default.
- W2296948606 hasRelatedWork W2057387500 @default.
- W2296948606 hasRelatedWork W2086942791 @default.
- W2296948606 hasRelatedWork W2093441082 @default.
- W2296948606 hasRelatedWork W2113020196 @default.
- W2296948606 hasRelatedWork W2142065220 @default.
- W2296948606 hasRelatedWork W2326033955 @default.
- W2296948606 hasRelatedWork W2347161843 @default.
- W2296948606 hasRelatedWork W2612793292 @default.
- W2296948606 hasRelatedWork W2624694575 @default.
- W2296948606 hasRelatedWork W3021550643 @default.
- W2296948606 hasRelatedWork W3099937577 @default.
- W2296948606 hasRelatedWork W336329025 @default.
- W2296948606 isParatext "false" @default.
- W2296948606 isRetracted "false" @default.
- W2296948606 magId "2296948606" @default.
- W2296948606 workType "article" @default.