Matches in SemOpenAlex for { <https://semopenalex.org/work/W1643485152> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1643485152 abstract "A proof is presented for an omitting types theorem in lattice-valued model theory. The theorem was announced by the author previously (see Proc. 18th Symposium on Multiple-value Logic, Palma de Mallorca (1988)) with proof. >" @default.
- W1643485152 created "2016-06-24" @default.
- W1643485152 creator A5066990063 @default.
- W1643485152 date "2003-01-07" @default.
- W1643485152 modified "2023-09-27" @default.
- W1643485152 title "A proof of an omitting types theorem in lattice valued model theory" @default.
- W1643485152 cites W1593505166 @default.
- W1643485152 cites W2012502602 @default.
- W1643485152 cites W2040121225 @default.
- W1643485152 doi "https://doi.org/10.1109/ismvl.1989.37788" @default.
- W1643485152 hasPublicationYear "2003" @default.
- W1643485152 type Work @default.
- W1643485152 sameAs 1643485152 @default.
- W1643485152 citedByCount "0" @default.
- W1643485152 crossrefType "proceedings-article" @default.
- W1643485152 hasAuthorship W1643485152A5066990063 @default.
- W1643485152 hasConcept C108710211 @default.
- W1643485152 hasConcept C11413529 @default.
- W1643485152 hasConcept C118615104 @default.
- W1643485152 hasConcept C121332964 @default.
- W1643485152 hasConcept C144237770 @default.
- W1643485152 hasConcept C173613240 @default.
- W1643485152 hasConcept C18903297 @default.
- W1643485152 hasConcept C206880738 @default.
- W1643485152 hasConcept C2318724 @default.
- W1643485152 hasConcept C24890656 @default.
- W1643485152 hasConcept C2524010 @default.
- W1643485152 hasConcept C2777299769 @default.
- W1643485152 hasConcept C2781204021 @default.
- W1643485152 hasConcept C33923547 @default.
- W1643485152 hasConcept C47030870 @default.
- W1643485152 hasConcept C86803240 @default.
- W1643485152 hasConcept C93682546 @default.
- W1643485152 hasConceptScore W1643485152C108710211 @default.
- W1643485152 hasConceptScore W1643485152C11413529 @default.
- W1643485152 hasConceptScore W1643485152C118615104 @default.
- W1643485152 hasConceptScore W1643485152C121332964 @default.
- W1643485152 hasConceptScore W1643485152C144237770 @default.
- W1643485152 hasConceptScore W1643485152C173613240 @default.
- W1643485152 hasConceptScore W1643485152C18903297 @default.
- W1643485152 hasConceptScore W1643485152C206880738 @default.
- W1643485152 hasConceptScore W1643485152C2318724 @default.
- W1643485152 hasConceptScore W1643485152C24890656 @default.
- W1643485152 hasConceptScore W1643485152C2524010 @default.
- W1643485152 hasConceptScore W1643485152C2777299769 @default.
- W1643485152 hasConceptScore W1643485152C2781204021 @default.
- W1643485152 hasConceptScore W1643485152C33923547 @default.
- W1643485152 hasConceptScore W1643485152C47030870 @default.
- W1643485152 hasConceptScore W1643485152C86803240 @default.
- W1643485152 hasConceptScore W1643485152C93682546 @default.
- W1643485152 hasLocation W16434851521 @default.
- W1643485152 hasOpenAccess W1643485152 @default.
- W1643485152 hasPrimaryLocation W16434851521 @default.
- W1643485152 hasRelatedWork W1511090187 @default.
- W1643485152 hasRelatedWork W1593505166 @default.
- W1643485152 hasRelatedWork W1778421935 @default.
- W1643485152 hasRelatedWork W1964435671 @default.
- W1643485152 hasRelatedWork W1976533476 @default.
- W1643485152 hasRelatedWork W1984856495 @default.
- W1643485152 hasRelatedWork W2031392871 @default.
- W1643485152 hasRelatedWork W2046177236 @default.
- W1643485152 hasRelatedWork W2085660860 @default.
- W1643485152 hasRelatedWork W2089017459 @default.
- W1643485152 hasRelatedWork W2127246914 @default.
- W1643485152 hasRelatedWork W2160312815 @default.
- W1643485152 hasRelatedWork W2481922523 @default.
- W1643485152 hasRelatedWork W2606189036 @default.
- W1643485152 hasRelatedWork W2768826633 @default.
- W1643485152 hasRelatedWork W2900819960 @default.
- W1643485152 hasRelatedWork W3009027761 @default.
- W1643485152 hasRelatedWork W3097845976 @default.
- W1643485152 hasRelatedWork W3099269944 @default.
- W1643485152 hasRelatedWork W1899877418 @default.
- W1643485152 isParatext "false" @default.
- W1643485152 isRetracted "false" @default.
- W1643485152 magId "1643485152" @default.
- W1643485152 workType "article" @default.