Maqola

Logical specifications of effectively separable data models

N. Kh. KasymovNational University of Uzbekistan

Izvestiya Vysshikh Uchebnykh Zavedenii Matematikajournal2024en

ABI

Annotatsiya

It is established that any effectively separable many-sorted universal algebra has an enrichment that is the only (up to isomorphism) model constructed from constants for a suitable computably enumerable set of sentences

Mavzular

Semantic Web and Ontologies Computability, Logic, AI Algorithms Logic, Reasoning, and Knowledge

Identifikatorlar

DOI: 10.26907/0021-3446-2024-6-15-26

Iqtiboslar va manbalar

1 ta iqtibos 14 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar · Tez orada