Matches in SemOpenAlex for { <https://semopenalex.org/work/W2750733036> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2750733036 endingPage "590" @default.
- W2750733036 startingPage "577" @default.
- W2750733036 created "2017-09-15" @default.
- W2750733036 creator A5016386181 @default.
- W2750733036 date "2017-09-02" @default.
- W2750733036 modified "2023-09-28" @default.
- W2750733036 title "The Justification of Identity Elimination in Martin-Löf’s Type Theory" @default.
- W2750733036 cites W1196275239 @default.
- W2750733036 cites W1415587708 @default.
- W2750733036 cites W1557413548 @default.
- W2750733036 cites W2041887887 @default.
- W2750733036 cites W206550513 @default.
- W2750733036 cites W2151011698 @default.
- W2750733036 cites W2151972015 @default.
- W2750733036 cites W2221380295 @default.
- W2750733036 cites W2606054052 @default.
- W2750733036 cites W333470958 @default.
- W2750733036 cites W4213279211 @default.
- W2750733036 cites W943508897 @default.
- W2750733036 doi "https://doi.org/10.1007/s11245-017-9509-1" @default.
- W2750733036 hasPublicationYear "2017" @default.
- W2750733036 type Work @default.
- W2750733036 sameAs 2750733036 @default.
- W2750733036 citedByCount "4" @default.
- W2750733036 countsByYear W27507330362018 @default.
- W2750733036 countsByYear W27507330362019 @default.
- W2750733036 countsByYear W27507330362021 @default.
- W2750733036 crossrefType "journal-article" @default.
- W2750733036 hasAuthorship W2750733036A5016386181 @default.
- W2750733036 hasConcept C107038049 @default.
- W2750733036 hasConcept C111472728 @default.
- W2750733036 hasConcept C138885662 @default.
- W2750733036 hasConcept C144024400 @default.
- W2750733036 hasConcept C167729594 @default.
- W2750733036 hasConcept C18903297 @default.
- W2750733036 hasConcept C2524010 @default.
- W2750733036 hasConcept C2777299769 @default.
- W2750733036 hasConcept C2778355321 @default.
- W2750733036 hasConcept C2780876879 @default.
- W2750733036 hasConcept C33923547 @default.
- W2750733036 hasConcept C86803240 @default.
- W2750733036 hasConcept C93682546 @default.
- W2750733036 hasConceptScore W2750733036C107038049 @default.
- W2750733036 hasConceptScore W2750733036C111472728 @default.
- W2750733036 hasConceptScore W2750733036C138885662 @default.
- W2750733036 hasConceptScore W2750733036C144024400 @default.
- W2750733036 hasConceptScore W2750733036C167729594 @default.
- W2750733036 hasConceptScore W2750733036C18903297 @default.
- W2750733036 hasConceptScore W2750733036C2524010 @default.
- W2750733036 hasConceptScore W2750733036C2777299769 @default.
- W2750733036 hasConceptScore W2750733036C2778355321 @default.
- W2750733036 hasConceptScore W2750733036C2780876879 @default.
- W2750733036 hasConceptScore W2750733036C33923547 @default.
- W2750733036 hasConceptScore W2750733036C86803240 @default.
- W2750733036 hasConceptScore W2750733036C93682546 @default.
- W2750733036 hasIssue "3" @default.
- W2750733036 hasLocation W27507330361 @default.
- W2750733036 hasOpenAccess W2750733036 @default.
- W2750733036 hasPrimaryLocation W27507330361 @default.
- W2750733036 hasRelatedWork W2029404646 @default.
- W2750733036 hasRelatedWork W2037747580 @default.
- W2750733036 hasRelatedWork W2096220787 @default.
- W2750733036 hasRelatedWork W2612506836 @default.
- W2750733036 hasRelatedWork W2810401719 @default.
- W2750733036 hasRelatedWork W4235146747 @default.
- W2750733036 hasRelatedWork W4297817897 @default.
- W2750733036 hasRelatedWork W4322716113 @default.
- W2750733036 hasRelatedWork W4376865054 @default.
- W2750733036 hasRelatedWork W4383737506 @default.
- W2750733036 hasVolume "38" @default.
- W2750733036 isParatext "false" @default.
- W2750733036 isRetracted "false" @default.
- W2750733036 magId "2750733036" @default.
- W2750733036 workType "article" @default.