Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172019237> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2172019237 abstract "We present a complete unification algorithm for logic with the language of all finite types. In addition, we show how this procedure can be used with a generalized resolution principle which does not require expressions to be pre-Skolemized. Both of these steps are essential for an effective and complete mechanization of higher order logic." @default.
- W2172019237 created "2016-06-24" @default.
- W2172019237 creator A5060465760 @default.
- W2172019237 creator A5091299355 @default.
- W2172019237 date "1972-01-01" @default.
- W2172019237 modified "2023-09-25" @default.
- W2172019237 title "A complete mechanization of (ω) -order type theory" @default.
- W2172019237 cites W1513495447 @default.
- W2172019237 cites W1594912681 @default.
- W2172019237 cites W2100738443 @default.
- W2172019237 cites W2115610240 @default.
- W2172019237 cites W2160331299 @default.
- W2172019237 cites W2977904728 @default.
- W2172019237 doi "https://doi.org/10.1145/800193.805824" @default.
- W2172019237 hasPublicationYear "1972" @default.
- W2172019237 type Work @default.
- W2172019237 sameAs 2172019237 @default.
- W2172019237 citedByCount "15" @default.
- W2172019237 countsByYear W21720192372013 @default.
- W2172019237 countsByYear W21720192372014 @default.
- W2172019237 crossrefType "proceedings-article" @default.
- W2172019237 hasAuthorship W2172019237A5060465760 @default.
- W2172019237 hasAuthorship W2172019237A5091299355 @default.
- W2172019237 hasConcept C10138342 @default.
- W2172019237 hasConcept C11413529 @default.
- W2172019237 hasConcept C118518473 @default.
- W2172019237 hasConcept C138268822 @default.
- W2172019237 hasConcept C154945302 @default.
- W2172019237 hasConcept C162324750 @default.
- W2172019237 hasConcept C182306322 @default.
- W2172019237 hasConcept C18903297 @default.
- W2172019237 hasConcept C199360897 @default.
- W2172019237 hasConcept C205797222 @default.
- W2172019237 hasConcept C2777299769 @default.
- W2172019237 hasConcept C33923547 @default.
- W2172019237 hasConcept C41008148 @default.
- W2172019237 hasConcept C86803240 @default.
- W2172019237 hasConcept C93682546 @default.
- W2172019237 hasConcept C96146094 @default.
- W2172019237 hasConceptScore W2172019237C10138342 @default.
- W2172019237 hasConceptScore W2172019237C11413529 @default.
- W2172019237 hasConceptScore W2172019237C118518473 @default.
- W2172019237 hasConceptScore W2172019237C138268822 @default.
- W2172019237 hasConceptScore W2172019237C154945302 @default.
- W2172019237 hasConceptScore W2172019237C162324750 @default.
- W2172019237 hasConceptScore W2172019237C182306322 @default.
- W2172019237 hasConceptScore W2172019237C18903297 @default.
- W2172019237 hasConceptScore W2172019237C199360897 @default.
- W2172019237 hasConceptScore W2172019237C205797222 @default.
- W2172019237 hasConceptScore W2172019237C2777299769 @default.
- W2172019237 hasConceptScore W2172019237C33923547 @default.
- W2172019237 hasConceptScore W2172019237C41008148 @default.
- W2172019237 hasConceptScore W2172019237C86803240 @default.
- W2172019237 hasConceptScore W2172019237C93682546 @default.
- W2172019237 hasConceptScore W2172019237C96146094 @default.
- W2172019237 hasLocation W21720192371 @default.
- W2172019237 hasOpenAccess W2172019237 @default.
- W2172019237 hasPrimaryLocation W21720192371 @default.
- W2172019237 hasRelatedWork W1569206238 @default.
- W2172019237 hasRelatedWork W1975247475 @default.
- W2172019237 hasRelatedWork W2071141629 @default.
- W2172019237 hasRelatedWork W2094992993 @default.
- W2172019237 hasRelatedWork W2155209389 @default.
- W2172019237 hasRelatedWork W2160611313 @default.
- W2172019237 hasRelatedWork W2303045392 @default.
- W2172019237 hasRelatedWork W2349865494 @default.
- W2172019237 hasRelatedWork W3176555162 @default.
- W2172019237 hasRelatedWork W81024070 @default.
- W2172019237 isParatext "false" @default.
- W2172019237 isRetracted "false" @default.
- W2172019237 magId "2172019237" @default.
- W2172019237 workType "article" @default.