Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103174631> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W3103174631 abstract "Sections 2.3.4 and 2.3.5 of the chapter ‘Introduction: Logic and Logic Programming Languages’ are crucial prerequisites to this chapter. I summarize their relevance below, but do not repeat their content. Logic programming languages in general are those that compute by deriving semantic consequences of given formulae in order to answer questions. In equational logic programming languages, the formulae are all equations expressing postulated properties of certain functions, and the questions ask for equivalent normal forms for given terms. Section 2.3.4 of the ‘Introduction . . .’ chapter gives definitions of the models of equational logic, the semantic consequence relation . . . T |=≐(t1 ≐ t2) . . . (t1 ≐ t2 is a semantic consequence of the set T of equations, see Definition 2.3.14), and the question answering relation . . . (norm t1,…,ti : t) ?- ≐ (t ≐ s) . . . (t ≐ s asserts the equality of t to the normal form s, which contains no instances of t1, . . . , ti, see Definition 2.3.16)." @default.
- W3103174631 created "2020-11-23" @default.
- W3103174631 creator A5012480905 @default.
- W3103174631 date "1998-01-08" @default.
- W3103174631 modified "2023-09-26" @default.
- W3103174631 title "Equational Logic Programming" @default.
- W3103174631 doi "https://doi.org/10.1093/oso/9780198537922.003.0005" @default.
- W3103174631 hasPublicationYear "1998" @default.
- W3103174631 type Work @default.
- W3103174631 sameAs 3103174631 @default.
- W3103174631 citedByCount "8" @default.
- W3103174631 countsByYear W31031746312012 @default.
- W3103174631 countsByYear W31031746312019 @default.
- W3103174631 countsByYear W31031746312020 @default.
- W3103174631 crossrefType "book-chapter" @default.
- W3103174631 hasAuthorship W3103174631A5012480905 @default.
- W3103174631 hasConcept C100481476 @default.
- W3103174631 hasConcept C102993220 @default.
- W3103174631 hasConcept C128838566 @default.
- W3103174631 hasConcept C136119220 @default.
- W3103174631 hasConcept C169896238 @default.
- W3103174631 hasConcept C177264268 @default.
- W3103174631 hasConcept C19689857 @default.
- W3103174631 hasConcept C199360897 @default.
- W3103174631 hasConcept C202444582 @default.
- W3103174631 hasConcept C33923547 @default.
- W3103174631 hasConcept C41008148 @default.
- W3103174631 hasConceptScore W3103174631C100481476 @default.
- W3103174631 hasConceptScore W3103174631C102993220 @default.
- W3103174631 hasConceptScore W3103174631C128838566 @default.
- W3103174631 hasConceptScore W3103174631C136119220 @default.
- W3103174631 hasConceptScore W3103174631C169896238 @default.
- W3103174631 hasConceptScore W3103174631C177264268 @default.
- W3103174631 hasConceptScore W3103174631C19689857 @default.
- W3103174631 hasConceptScore W3103174631C199360897 @default.
- W3103174631 hasConceptScore W3103174631C202444582 @default.
- W3103174631 hasConceptScore W3103174631C33923547 @default.
- W3103174631 hasConceptScore W3103174631C41008148 @default.
- W3103174631 hasLocation W31031746311 @default.
- W3103174631 hasOpenAccess W3103174631 @default.
- W3103174631 hasPrimaryLocation W31031746311 @default.
- W3103174631 hasRelatedWork W103320545 @default.
- W3103174631 hasRelatedWork W1423770153 @default.
- W3103174631 hasRelatedWork W1580255754 @default.
- W3103174631 hasRelatedWork W1598353695 @default.
- W3103174631 hasRelatedWork W1966767581 @default.
- W3103174631 hasRelatedWork W2001552098 @default.
- W3103174631 hasRelatedWork W204721436 @default.
- W3103174631 hasRelatedWork W2085946842 @default.
- W3103174631 hasRelatedWork W2253960180 @default.
- W3103174631 hasRelatedWork W98437303 @default.
- W3103174631 isParatext "false" @default.
- W3103174631 isRetracted "false" @default.
- W3103174631 magId "3103174631" @default.
- W3103174631 workType "book-chapter" @default.