FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W158565500> ?p ?o ?g. }

• W158565500 endingPage "142" @default.
• W158565500 startingPage "137" @default.
• W158565500 abstract "In this paper we are interested in using a first order theorem prover to prove theorems that are formulated in some higher order logic. To this end we present translations of higher order logics into first order logic with flat sorts and equality and give a sufficient criterion for the soundness of these translations. In addition translations are introduced that are sound and complete with respect to L. Henkin's general model semantics. Our higher order logics are based on a restricted type structure in the sense of A. Church, they have typed function symbols and predicate symbols, but no sorts." @default.
• W158565500 created "2016-06-24" @default.
• W158565500 creator A5024794217 @default.
• W158565500 date "1991-08-24" @default.
• W158565500 modified "2023-09-23" @default.
• W158565500 title "How to prove higher order theorems in first order logic" @default.
• W158565500 cites W1559159242 @default.
• W158565500 cites W1567292693 @default.
• W158565500 cites W2048854384 @default.
• W158565500 cites W2084797476 @default.
• W158565500 cites W2160331299 @default.
• W158565500 hasPublicationYear "1991" @default.
• W158565500 type Work @default.
• W158565500 sameAs 158565500 @default.
• W158565500 citedByCount "6" @default.
• W158565500 countsByYear W1585655002013 @default.
• W158565500 countsByYear W1585655002021 @default.
• W158565500 crossrefType "proceedings-article" @default.
• W158565500 hasAuthorship W158565500A5024794217 @default.
• W158565500 hasConcept C100481476 @default.
• W158565500 hasConcept C10138342 @default.
• W158565500 hasConcept C102993220 @default.
• W158565500 hasConcept C11413529 @default.
• W158565500 hasConcept C118615104 @default.
• W158565500 hasConcept C136119220 @default.
• W158565500 hasConcept C140146324 @default.
• W158565500 hasConcept C144791301 @default.
• W158565500 hasConcept C162324750 @default.
• W158565500 hasConcept C169896238 @default.
• W158565500 hasConcept C182306322 @default.
• W158565500 hasConcept C18903297 @default.
• W158565500 hasConcept C19689857 @default.
• W158565500 hasConcept C199343813 @default.
• W158565500 hasConcept C199360897 @default.
• W158565500 hasConcept C202444582 @default.
• W158565500 hasConcept C206880738 @default.
• W158565500 hasConcept C2777299769 @default.
• W158565500 hasConcept C2777686260 @default.
• W158565500 hasConcept C28826006 @default.
• W158565500 hasConcept C2987642246 @default.
• W158565500 hasConcept C33923547 @default.
• W158565500 hasConcept C39920170 @default.
• W158565500 hasConcept C41008148 @default.
• W158565500 hasConcept C71924100 @default.
• W158565500 hasConcept C80444323 @default.
• W158565500 hasConcept C86803240 @default.
• W158565500 hasConceptScore W158565500C100481476 @default.
• W158565500 hasConceptScore W158565500C10138342 @default.
• W158565500 hasConceptScore W158565500C102993220 @default.
• W158565500 hasConceptScore W158565500C11413529 @default.
• W158565500 hasConceptScore W158565500C118615104 @default.
• W158565500 hasConceptScore W158565500C136119220 @default.
• W158565500 hasConceptScore W158565500C140146324 @default.
• W158565500 hasConceptScore W158565500C144791301 @default.
• W158565500 hasConceptScore W158565500C162324750 @default.
• W158565500 hasConceptScore W158565500C169896238 @default.
• W158565500 hasConceptScore W158565500C182306322 @default.
• W158565500 hasConceptScore W158565500C18903297 @default.
• W158565500 hasConceptScore W158565500C19689857 @default.
• W158565500 hasConceptScore W158565500C199343813 @default.
• W158565500 hasConceptScore W158565500C199360897 @default.
• W158565500 hasConceptScore W158565500C202444582 @default.
• W158565500 hasConceptScore W158565500C206880738 @default.
• W158565500 hasConceptScore W158565500C2777299769 @default.
• W158565500 hasConceptScore W158565500C2777686260 @default.
• W158565500 hasConceptScore W158565500C28826006 @default.
• W158565500 hasConceptScore W158565500C2987642246 @default.
• W158565500 hasConceptScore W158565500C33923547 @default.
• W158565500 hasConceptScore W158565500C39920170 @default.
• W158565500 hasConceptScore W158565500C41008148 @default.
• W158565500 hasConceptScore W158565500C71924100 @default.
• W158565500 hasConceptScore W158565500C80444323 @default.
• W158565500 hasConceptScore W158565500C86803240 @default.
• W158565500 hasLocation W1585655001 @default.
• W158565500 hasOpenAccess W158565500 @default.
• W158565500 hasPrimaryLocation W1585655001 @default.
• W158565500 hasRelatedWork W126011539 @default.
• W158565500 hasRelatedWork W1483444285 @default.
• W158565500 hasRelatedWork W1521083034 @default.
• W158565500 hasRelatedWork W1546767004 @default.
• W158565500 hasRelatedWork W1551807233 @default.
• W158565500 hasRelatedWork W1574253590 @default.
• W158565500 hasRelatedWork W1579047470 @default.
• W158565500 hasRelatedWork W1652201657 @default.
• W158565500 hasRelatedWork W1781094 @default.
• W158565500 hasRelatedWork W1976699340 @default.
• W158565500 hasRelatedWork W1979623128 @default.
• W158565500 hasRelatedWork W2037085273 @default.
• W158565500 hasRelatedWork W2059555651 @default.
• W158565500 hasRelatedWork W2124890997 @default.
• W158565500 hasRelatedWork W2153265271 @default.
• W158565500 hasRelatedWork W2160331299 @default.
• W158565500 hasRelatedWork W3175035893 @default.
• W158565500 hasRelatedWork W74207700 @default.
• W158565500 hasRelatedWork W79561349 @default.
• W158565500 hasRelatedWork W2585435203 @default.
• W158565500 isParatext "false" @default.
• W158565500 isRetracted "false" @default.

• next