Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547819553> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1547819553 created "2016-06-24" @default.
- W1547819553 creator A5021476649 @default.
- W1547819553 creator A5044908798 @default.
- W1547819553 date "2000-01-01" @default.
- W1547819553 modified "2023-09-27" @default.
- W1547819553 title "Termination and Reduction Checking in the Logical Framework" @default.
- W1547819553 cites W1546574044 @default.
- W1547819553 cites W1569569047 @default.
- W1547819553 cites W1869358111 @default.
- W1547819553 cites W1892887799 @default.
- W1547819553 cites W1974190112 @default.
- W1547819553 cites W2012355197 @default.
- W1547819553 cites W2090855107 @default.
- W1547819553 cites W2098726192 @default.
- W1547819553 cites W2106556867 @default.
- W1547819553 cites W2118032087 @default.
- W1547819553 cites W2161555915 @default.
- W1547819553 hasPublicationYear "2000" @default.
- W1547819553 type Work @default.
- W1547819553 sameAs 1547819553 @default.
- W1547819553 citedByCount "5" @default.
- W1547819553 crossrefType "journal-article" @default.
- W1547819553 hasAuthorship W1547819553A5021476649 @default.
- W1547819553 hasAuthorship W1547819553A5044908798 @default.
- W1547819553 hasConcept C111335779 @default.
- W1547819553 hasConcept C2524010 @default.
- W1547819553 hasConcept C33923547 @default.
- W1547819553 hasConcept C41008148 @default.
- W1547819553 hasConceptScore W1547819553C111335779 @default.
- W1547819553 hasConceptScore W1547819553C2524010 @default.
- W1547819553 hasConceptScore W1547819553C33923547 @default.
- W1547819553 hasConceptScore W1547819553C41008148 @default.
- W1547819553 hasLocation W15478195531 @default.
- W1547819553 hasOpenAccess W1547819553 @default.
- W1547819553 hasPrimaryLocation W15478195531 @default.
- W1547819553 hasRelatedWork W1521984813 @default.
- W1547819553 hasRelatedWork W1556652046 @default.
- W1547819553 hasRelatedWork W1558199937 @default.
- W1547819553 hasRelatedWork W1727609483 @default.
- W1547819553 hasRelatedWork W1971933951 @default.
- W1547819553 hasRelatedWork W1974190112 @default.
- W1547819553 hasRelatedWork W2047719075 @default.
- W1547819553 hasRelatedWork W2048869618 @default.
- W1547819553 hasRelatedWork W2106556867 @default.
- W1547819553 hasRelatedWork W213324484 @default.
- W1547819553 hasRelatedWork W2141287679 @default.
- W1547819553 hasRelatedWork W2154642390 @default.
- W1547819553 hasRelatedWork W2273744655 @default.
- W1547819553 hasRelatedWork W2357906634 @default.
- W1547819553 hasRelatedWork W28802454 @default.
- W1547819553 hasRelatedWork W3137061681 @default.
- W1547819553 hasRelatedWork W3183260104 @default.
- W1547819553 hasRelatedWork W793391272 @default.
- W1547819553 hasRelatedWork W2855880288 @default.
- W1547819553 hasRelatedWork W2875537216 @default.
- W1547819553 isParatext "false" @default.
- W1547819553 isRetracted "false" @default.
- W1547819553 magId "1547819553" @default.
- W1547819553 workType "article" @default.