Matches in SemOpenAlex for { <https://semopenalex.org/work/W2177993800> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2177993800 created "2016-06-24" @default.
- W2177993800 creator A5009801958 @default.
- W2177993800 creator A5087844665 @default.
- W2177993800 date "1990-01-01" @default.
- W2177993800 modified "2023-09-25" @default.
- W2177993800 title "A calculus for order-sorted predicate logic with sort literals" @default.
- W2177993800 cites W2013668092 @default.
- W2177993800 cites W2029903604 @default.
- W2177993800 cites W2047669821 @default.
- W2177993800 cites W2159525276 @default.
- W2177993800 doi "https://doi.org/10.1007/3-540-52337-6_19" @default.
- W2177993800 hasPublicationYear "1990" @default.
- W2177993800 type Work @default.
- W2177993800 sameAs 2177993800 @default.
- W2177993800 citedByCount "2" @default.
- W2177993800 countsByYear W21779938002016 @default.
- W2177993800 crossrefType "book-chapter" @default.
- W2177993800 hasAuthorship W2177993800A5009801958 @default.
- W2177993800 hasAuthorship W2177993800A5087844665 @default.
- W2177993800 hasConcept C100481476 @default.
- W2177993800 hasConcept C102993220 @default.
- W2177993800 hasConcept C110039528 @default.
- W2177993800 hasConcept C11413529 @default.
- W2177993800 hasConcept C136119220 @default.
- W2177993800 hasConcept C19689857 @default.
- W2177993800 hasConcept C199343813 @default.
- W2177993800 hasConcept C199360897 @default.
- W2177993800 hasConcept C202444582 @default.
- W2177993800 hasConcept C203659156 @default.
- W2177993800 hasConcept C23123220 @default.
- W2177993800 hasConcept C2777686260 @default.
- W2177993800 hasConcept C33923547 @default.
- W2177993800 hasConcept C41008148 @default.
- W2177993800 hasConcept C62073222 @default.
- W2177993800 hasConcept C71924100 @default.
- W2177993800 hasConcept C73314972 @default.
- W2177993800 hasConcept C80444323 @default.
- W2177993800 hasConcept C88548561 @default.
- W2177993800 hasConceptScore W2177993800C100481476 @default.
- W2177993800 hasConceptScore W2177993800C102993220 @default.
- W2177993800 hasConceptScore W2177993800C110039528 @default.
- W2177993800 hasConceptScore W2177993800C11413529 @default.
- W2177993800 hasConceptScore W2177993800C136119220 @default.
- W2177993800 hasConceptScore W2177993800C19689857 @default.
- W2177993800 hasConceptScore W2177993800C199343813 @default.
- W2177993800 hasConceptScore W2177993800C199360897 @default.
- W2177993800 hasConceptScore W2177993800C202444582 @default.
- W2177993800 hasConceptScore W2177993800C203659156 @default.
- W2177993800 hasConceptScore W2177993800C23123220 @default.
- W2177993800 hasConceptScore W2177993800C2777686260 @default.
- W2177993800 hasConceptScore W2177993800C33923547 @default.
- W2177993800 hasConceptScore W2177993800C41008148 @default.
- W2177993800 hasConceptScore W2177993800C62073222 @default.
- W2177993800 hasConceptScore W2177993800C71924100 @default.
- W2177993800 hasConceptScore W2177993800C73314972 @default.
- W2177993800 hasConceptScore W2177993800C80444323 @default.
- W2177993800 hasConceptScore W2177993800C88548561 @default.
- W2177993800 hasLocation W21779938001 @default.
- W2177993800 hasOpenAccess W2177993800 @default.
- W2177993800 hasPrimaryLocation W21779938001 @default.
- W2177993800 hasRelatedWork W117698297 @default.
- W2177993800 hasRelatedWork W1521797305 @default.
- W2177993800 hasRelatedWork W1533216727 @default.
- W2177993800 hasRelatedWork W1586690077 @default.
- W2177993800 hasRelatedWork W1782823167 @default.
- W2177993800 hasRelatedWork W196561432 @default.
- W2177993800 hasRelatedWork W2029152873 @default.
- W2177993800 hasRelatedWork W2032504290 @default.
- W2177993800 hasRelatedWork W2047793633 @default.
- W2177993800 hasRelatedWork W2076225942 @default.
- W2177993800 hasRelatedWork W2091352446 @default.
- W2177993800 hasRelatedWork W2122409425 @default.
- W2177993800 hasRelatedWork W2334139645 @default.
- W2177993800 hasRelatedWork W2472726811 @default.
- W2177993800 hasRelatedWork W2503314455 @default.
- W2177993800 hasRelatedWork W260048535 @default.
- W2177993800 hasRelatedWork W2911599249 @default.
- W2177993800 hasRelatedWork W2997315321 @default.
- W2177993800 hasRelatedWork W3085676327 @default.
- W2177993800 hasRelatedWork W71362726 @default.
- W2177993800 isParatext "false" @default.
- W2177993800 isRetracted "false" @default.
- W2177993800 magId "2177993800" @default.
- W2177993800 workType "book-chapter" @default.