| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | b | |||
| 001 | Контрольный номер | RU/IS/BASE/292357111 | ||
| 005 | Дата корректировки | 20200630193305.7 | ||
| 008 | Кодируемые данные | 20090406 | ||
| 040 | b | Код языка каталог. | rus | |
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 084 | a | Индекс другой классификации/Индекс ББК | 87.443.13с51 | |
| 100 | 1_ | a | Автор | Красненкова А. В. |
| 245 | 10 | a | Заглавие | Алгоритмы вывода для негативных силлогистик |
| 504 | a | Библиография | Примеч. | |
| 520 | 0_ | a | Аннотация | Автор описывает алгоритм поиска доказательств для различных силлогистических систем и его компьютерную реализацию |
| 650 | 04 | a | Основная рубрика | логика |
| a | Основная рубрика | философские науки; информационные технологии | ||
| 653 | 0_ | a | Ключевые слова | алгоритмизация силлогистики |
| a | Ключевые слова | негативные силлогические системы | ||
| a | Ключевые слова | позитивные силлогические системы | ||
| a | Ключевые слова | силлогистика | ||
| a | Ключевые слова | силлогические системы | ||
| 773 | 08 | t | Заглавие источника | Вестник Московского университета. Серия 7, Философия |
| d | Дата издания источника | 2008 | ||
| g | Прочая информация | № 2. - С. 109 - 115 | ||
| w | Контрольный № источника | RU/IS/BASE/286474667 | ||
| 901 | t | Тип документа | b |