Matches in SemOpenAlex for { <https://semopenalex.org/work/W1538156632> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1538156632 endingPage "26" @default.
- W1538156632 startingPage "17" @default.
- W1538156632 abstract "A resolution based proof procedure for order-sorted predicate logic is presented where sorts are represented by feature terms. Term unification is extended by feature unification. Soundness and completeness of the calculus presented are reduced to the soundness and completeness results for an order-sorted predicate calculus with a fixed sort lattice containing primitive sorts only." @default.
- W1538156632 created "2016-06-24" @default.
- W1538156632 creator A5009801958 @default.
- W1538156632 creator A5014119362 @default.
- W1538156632 date "1988-01-01" @default.
- W1538156632 modified "2023-09-24" @default.
- W1538156632 title "Resolution with feature unification" @default.
- W1538156632 cites W2035182234 @default.
- W1538156632 cites W2156720842 @default.
- W1538156632 cites W2170967726 @default.
- W1538156632 doi "https://doi.org/10.1007/3-540-50241-6_26" @default.
- W1538156632 hasPublicationYear "1988" @default.
- W1538156632 type Work @default.
- W1538156632 sameAs 1538156632 @default.
- W1538156632 citedByCount "0" @default.
- W1538156632 crossrefType "book-chapter" @default.
- W1538156632 hasAuthorship W1538156632A5009801958 @default.
- W1538156632 hasAuthorship W1538156632A5014119362 @default.
- W1538156632 hasBestOaLocation W15381566322 @default.
- W1538156632 hasConcept C100481476 @default.
- W1538156632 hasConcept C102993220 @default.
- W1538156632 hasConcept C11413529 @default.
- W1538156632 hasConcept C134306372 @default.
- W1538156632 hasConcept C138885662 @default.
- W1538156632 hasConcept C140146324 @default.
- W1538156632 hasConcept C17231256 @default.
- W1538156632 hasConcept C19689857 @default.
- W1538156632 hasConcept C199343813 @default.
- W1538156632 hasConcept C199360897 @default.
- W1538156632 hasConcept C2776401178 @default.
- W1538156632 hasConcept C2777686260 @default.
- W1538156632 hasConcept C33923547 @default.
- W1538156632 hasConcept C39920170 @default.
- W1538156632 hasConcept C41008148 @default.
- W1538156632 hasConcept C41895202 @default.
- W1538156632 hasConcept C71924100 @default.
- W1538156632 hasConcept C80444323 @default.
- W1538156632 hasConcept C96146094 @default.
- W1538156632 hasConceptScore W1538156632C100481476 @default.
- W1538156632 hasConceptScore W1538156632C102993220 @default.
- W1538156632 hasConceptScore W1538156632C11413529 @default.
- W1538156632 hasConceptScore W1538156632C134306372 @default.
- W1538156632 hasConceptScore W1538156632C138885662 @default.
- W1538156632 hasConceptScore W1538156632C140146324 @default.
- W1538156632 hasConceptScore W1538156632C17231256 @default.
- W1538156632 hasConceptScore W1538156632C19689857 @default.
- W1538156632 hasConceptScore W1538156632C199343813 @default.
- W1538156632 hasConceptScore W1538156632C199360897 @default.
- W1538156632 hasConceptScore W1538156632C2776401178 @default.
- W1538156632 hasConceptScore W1538156632C2777686260 @default.
- W1538156632 hasConceptScore W1538156632C33923547 @default.
- W1538156632 hasConceptScore W1538156632C39920170 @default.
- W1538156632 hasConceptScore W1538156632C41008148 @default.
- W1538156632 hasConceptScore W1538156632C41895202 @default.
- W1538156632 hasConceptScore W1538156632C71924100 @default.
- W1538156632 hasConceptScore W1538156632C80444323 @default.
- W1538156632 hasConceptScore W1538156632C96146094 @default.
- W1538156632 hasLocation W15381566321 @default.
- W1538156632 hasLocation W15381566322 @default.
- W1538156632 hasOpenAccess W1538156632 @default.
- W1538156632 hasPrimaryLocation W15381566321 @default.
- W1538156632 hasRelatedWork W12418839 @default.
- W1538156632 hasRelatedWork W1538156632 @default.
- W1538156632 hasRelatedWork W1557497390 @default.
- W1538156632 hasRelatedWork W1581901593 @default.
- W1538156632 hasRelatedWork W2022355938 @default.
- W1538156632 hasRelatedWork W2101249805 @default.
- W1538156632 hasRelatedWork W2363970783 @default.
- W1538156632 hasRelatedWork W2391485113 @default.
- W1538156632 hasRelatedWork W977675734 @default.
- W1538156632 hasRelatedWork W2585435203 @default.
- W1538156632 isParatext "false" @default.
- W1538156632 isRetracted "false" @default.
- W1538156632 magId "1538156632" @default.
- W1538156632 workType "book-chapter" @default.