Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279502020> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2279502020 endingPage "409" @default.
- W2279502020 startingPage "383" @default.
- W2279502020 abstract "We introduce classes of interpretations. We characterize the free and Herbrand interpretations for a class. We define the algebraic, equational, relational and first-order classes of interpretations, study their properties and relate them to the literature. We apply this study to derive complete proof systems for deducing (in some (in) equational logic) all (in) equalitions valid in a class." @default.
- W2279502020 created "2016-06-24" @default.
- W2279502020 creator A5040345541 @default.
- W2279502020 date "1986-12-01" @default.
- W2279502020 modified "2023-09-26" @default.
- W2279502020 title "Survey on classes of interpretations and some of their applications" @default.
- W2279502020 hasPublicationYear "1986" @default.
- W2279502020 type Work @default.
- W2279502020 sameAs 2279502020 @default.
- W2279502020 citedByCount "1" @default.
- W2279502020 crossrefType "book" @default.
- W2279502020 hasAuthorship W2279502020A5040345541 @default.
- W2279502020 hasConcept C10138342 @default.
- W2279502020 hasConcept C134306372 @default.
- W2279502020 hasConcept C136119220 @default.
- W2279502020 hasConcept C154945302 @default.
- W2279502020 hasConcept C162324750 @default.
- W2279502020 hasConcept C182306322 @default.
- W2279502020 hasConcept C199343813 @default.
- W2279502020 hasConcept C199360897 @default.
- W2279502020 hasConcept C202444582 @default.
- W2279502020 hasConcept C2777212361 @default.
- W2279502020 hasConcept C2777686260 @default.
- W2279502020 hasConcept C33923547 @default.
- W2279502020 hasConcept C41008148 @default.
- W2279502020 hasConcept C527412718 @default.
- W2279502020 hasConcept C71924100 @default.
- W2279502020 hasConcept C9376300 @default.
- W2279502020 hasConceptScore W2279502020C10138342 @default.
- W2279502020 hasConceptScore W2279502020C134306372 @default.
- W2279502020 hasConceptScore W2279502020C136119220 @default.
- W2279502020 hasConceptScore W2279502020C154945302 @default.
- W2279502020 hasConceptScore W2279502020C162324750 @default.
- W2279502020 hasConceptScore W2279502020C182306322 @default.
- W2279502020 hasConceptScore W2279502020C199343813 @default.
- W2279502020 hasConceptScore W2279502020C199360897 @default.
- W2279502020 hasConceptScore W2279502020C202444582 @default.
- W2279502020 hasConceptScore W2279502020C2777212361 @default.
- W2279502020 hasConceptScore W2279502020C2777686260 @default.
- W2279502020 hasConceptScore W2279502020C33923547 @default.
- W2279502020 hasConceptScore W2279502020C41008148 @default.
- W2279502020 hasConceptScore W2279502020C527412718 @default.
- W2279502020 hasConceptScore W2279502020C71924100 @default.
- W2279502020 hasConceptScore W2279502020C9376300 @default.
- W2279502020 hasLocation W22795020201 @default.
- W2279502020 hasOpenAccess W2279502020 @default.
- W2279502020 hasPrimaryLocation W22795020201 @default.
- W2279502020 hasRelatedWork W102124637 @default.
- W2279502020 hasRelatedWork W115298951 @default.
- W2279502020 hasRelatedWork W1473763092 @default.
- W2279502020 hasRelatedWork W1494745377 @default.
- W2279502020 hasRelatedWork W1840966633 @default.
- W2279502020 hasRelatedWork W1919274657 @default.
- W2279502020 hasRelatedWork W2137106928 @default.
- W2279502020 hasRelatedWork W2284538163 @default.
- W2279502020 hasRelatedWork W2295008350 @default.
- W2279502020 hasRelatedWork W2621794756 @default.
- W2279502020 hasRelatedWork W2776784986 @default.
- W2279502020 hasRelatedWork W2806593949 @default.
- W2279502020 hasRelatedWork W2914799684 @default.
- W2279502020 hasRelatedWork W2963598346 @default.
- W2279502020 hasRelatedWork W2981921276 @default.
- W2279502020 hasRelatedWork W2990258384 @default.
- W2279502020 hasRelatedWork W3093803346 @default.
- W2279502020 hasRelatedWork W3171769836 @default.
- W2279502020 hasRelatedWork W3193203090 @default.
- W2279502020 hasRelatedWork W45854502 @default.
- W2279502020 isParatext "false" @default.
- W2279502020 isRetracted "false" @default.
- W2279502020 magId "2279502020" @default.
- W2279502020 workType "book" @default.