06 истинность в модели
Оценка (означивание) термов в модели
Определение истинности формул при интерпретации в модели
1 week ago 00:17:17 1
2 weeks ago 01:27:00 1
2 weeks ago 00:23:57 30
2 weeks ago 00:07:03 1
3 weeks ago 03:16:48 1
3 weeks ago 00:26:07 1
4 weeks ago 00:07:16 15
4 weeks ago 00:17:55 1
4 weeks ago 11:57:26 1
4 weeks ago 01:15:55 1
2 months ago 01:03:36 1
2 months ago 00:25:49 1
2 months ago 00:24:31 1
2 months ago 00:44:34 1
2 months ago 00:38:05 2
2 months ago 01:32:37 2
3 months ago 00:55:16 1
3 months ago 00:30:58 1
3 months ago 00:10:50 1
3 months ago 00:26:27 1
3 months ago 00:43:04 1
3 months ago 00:14:11 15
3 months ago 00:06:38 1
3 months ago 00:51:01 1
