Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022937548> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2022937548 endingPage "289" @default.
- W2022937548 startingPage "277" @default.
- W2022937548 abstract "We give a model-theoretic semantics for the logic of higher-order Horn clauses, the basis of a form of the λProlog higher-order logic programming language. We define certain intensional general models and show that higher-order Horn clause logic is sound and complete with respect to them." @default.
- W2022937548 created "2016-06-24" @default.
- W2022937548 creator A5045813603 @default.
- W2022937548 date "1994-12-01" @default.
- W2022937548 modified "2023-09-23" @default.
- W2022937548 title "A semantics for λProlog" @default.
- W2022937548 cites W1524655177 @default.
- W2022937548 cites W1984201153 @default.
- W2022937548 cites W1985234321 @default.
- W2022937548 cites W1996404651 @default.
- W2022937548 cites W2008350386 @default.
- W2022937548 cites W2009247993 @default.
- W2022937548 cites W2034676877 @default.
- W2022937548 cites W2075352622 @default.
- W2022937548 cites W2089702017 @default.
- W2022937548 cites W2093111544 @default.
- W2022937548 cites W2108911687 @default.
- W2022937548 cites W2160331299 @default.
- W2022937548 cites W2169526198 @default.
- W2022937548 cites W4237061074 @default.
- W2022937548 cites W969295556 @default.
- W2022937548 doi "https://doi.org/10.1016/0304-3975(93)00130-w" @default.
- W2022937548 hasPublicationYear "1994" @default.
- W2022937548 type Work @default.
- W2022937548 sameAs 2022937548 @default.
- W2022937548 citedByCount "6" @default.
- W2022937548 countsByYear W20229375482018 @default.
- W2022937548 crossrefType "journal-article" @default.
- W2022937548 hasAuthorship W2022937548A5045813603 @default.
- W2022937548 hasConcept C102993220 @default.
- W2022937548 hasConcept C127001435 @default.
- W2022937548 hasConcept C128838566 @default.
- W2022937548 hasConcept C134083981 @default.
- W2022937548 hasConcept C152076505 @default.
- W2022937548 hasConcept C156325763 @default.
- W2022937548 hasConcept C15744967 @default.
- W2022937548 hasConcept C169896238 @default.
- W2022937548 hasConcept C184337299 @default.
- W2022937548 hasConcept C186644900 @default.
- W2022937548 hasConcept C189790780 @default.
- W2022937548 hasConcept C19417346 @default.
- W2022937548 hasConcept C199360897 @default.
- W2022937548 hasConcept C207648694 @default.
- W2022937548 hasConcept C33923547 @default.
- W2022937548 hasConcept C41008148 @default.
- W2022937548 hasConcept C81721847 @default.
- W2022937548 hasConcept C89497691 @default.
- W2022937548 hasConcept C97169998 @default.
- W2022937548 hasConcept C97212296 @default.
- W2022937548 hasConceptScore W2022937548C102993220 @default.
- W2022937548 hasConceptScore W2022937548C127001435 @default.
- W2022937548 hasConceptScore W2022937548C128838566 @default.
- W2022937548 hasConceptScore W2022937548C134083981 @default.
- W2022937548 hasConceptScore W2022937548C152076505 @default.
- W2022937548 hasConceptScore W2022937548C156325763 @default.
- W2022937548 hasConceptScore W2022937548C15744967 @default.
- W2022937548 hasConceptScore W2022937548C169896238 @default.
- W2022937548 hasConceptScore W2022937548C184337299 @default.
- W2022937548 hasConceptScore W2022937548C186644900 @default.
- W2022937548 hasConceptScore W2022937548C189790780 @default.
- W2022937548 hasConceptScore W2022937548C19417346 @default.
- W2022937548 hasConceptScore W2022937548C199360897 @default.
- W2022937548 hasConceptScore W2022937548C207648694 @default.
- W2022937548 hasConceptScore W2022937548C33923547 @default.
- W2022937548 hasConceptScore W2022937548C41008148 @default.
- W2022937548 hasConceptScore W2022937548C81721847 @default.
- W2022937548 hasConceptScore W2022937548C89497691 @default.
- W2022937548 hasConceptScore W2022937548C97169998 @default.
- W2022937548 hasConceptScore W2022937548C97212296 @default.
- W2022937548 hasIssue "1" @default.
- W2022937548 hasLocation W20229375481 @default.
- W2022937548 hasOpenAccess W2022937548 @default.
- W2022937548 hasPrimaryLocation W20229375481 @default.
- W2022937548 hasRelatedWork W145724370 @default.
- W2022937548 hasRelatedWork W1564303565 @default.
- W2022937548 hasRelatedWork W1572687385 @default.
- W2022937548 hasRelatedWork W1591242928 @default.
- W2022937548 hasRelatedWork W2019182139 @default.
- W2022937548 hasRelatedWork W2022937548 @default.
- W2022937548 hasRelatedWork W2091757904 @default.
- W2022937548 hasRelatedWork W2113956592 @default.
- W2022937548 hasRelatedWork W2121389878 @default.
- W2022937548 hasRelatedWork W348564150 @default.
- W2022937548 hasVolume "136" @default.
- W2022937548 isParatext "false" @default.
- W2022937548 isRetracted "false" @default.
- W2022937548 magId "2022937548" @default.
- W2022937548 workType "article" @default.