Matches in SemOpenAlex for { <https://semopenalex.org/work/W148453670> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W148453670 endingPage "424" @default.
- W148453670 startingPage "413" @default.
- W148453670 created "2016-06-24" @default.
- W148453670 creator A5014344611 @default.
- W148453670 creator A5019666608 @default.
- W148453670 date "1992-01-01" @default.
- W148453670 modified "2023-09-23" @default.
- W148453670 title "An Order-Sorted Logic with Sort Literals and Disjointness Constraints." @default.
- W148453670 hasPublicationYear "1992" @default.
- W148453670 type Work @default.
- W148453670 sameAs 148453670 @default.
- W148453670 citedByCount "1" @default.
- W148453670 crossrefType "proceedings-article" @default.
- W148453670 hasAuthorship W148453670A5014344611 @default.
- W148453670 hasAuthorship W148453670A5019666608 @default.
- W148453670 hasConcept C10138342 @default.
- W148453670 hasConcept C11413529 @default.
- W148453670 hasConcept C162324750 @default.
- W148453670 hasConcept C182306322 @default.
- W148453670 hasConcept C33923547 @default.
- W148453670 hasConcept C41008148 @default.
- W148453670 hasConcept C88548561 @default.
- W148453670 hasConcept C94375191 @default.
- W148453670 hasConceptScore W148453670C10138342 @default.
- W148453670 hasConceptScore W148453670C11413529 @default.
- W148453670 hasConceptScore W148453670C162324750 @default.
- W148453670 hasConceptScore W148453670C182306322 @default.
- W148453670 hasConceptScore W148453670C33923547 @default.
- W148453670 hasConceptScore W148453670C41008148 @default.
- W148453670 hasConceptScore W148453670C88548561 @default.
- W148453670 hasConceptScore W148453670C94375191 @default.
- W148453670 hasLocation W1484536701 @default.
- W148453670 hasOpenAccess W148453670 @default.
- W148453670 hasPrimaryLocation W1484536701 @default.
- W148453670 hasRelatedWork W1501925977 @default.
- W148453670 hasRelatedWork W1517205743 @default.
- W148453670 hasRelatedWork W1524062755 @default.
- W148453670 hasRelatedWork W1571477890 @default.
- W148453670 hasRelatedWork W1837047238 @default.
- W148453670 hasRelatedWork W1846522280 @default.
- W148453670 hasRelatedWork W1994871870 @default.
- W148453670 hasRelatedWork W2004256601 @default.
- W148453670 hasRelatedWork W2087563242 @default.
- W148453670 hasRelatedWork W2099381750 @default.
- W148453670 hasRelatedWork W2132103202 @default.
- W148453670 hasRelatedWork W2404198436 @default.
- W148453670 hasRelatedWork W2809698264 @default.
- W148453670 hasRelatedWork W2914111272 @default.
- W148453670 hasRelatedWork W2978909621 @default.
- W148453670 hasRelatedWork W298995691 @default.
- W148453670 hasRelatedWork W3033363633 @default.
- W148453670 hasRelatedWork W3099377934 @default.
- W148453670 hasRelatedWork W3100190719 @default.
- W148453670 hasRelatedWork W2147518469 @default.
- W148453670 isParatext "false" @default.
- W148453670 isRetracted "false" @default.
- W148453670 magId "148453670" @default.
- W148453670 workType "article" @default.