simpleGraph_isSatisfiable

Mathlib.ModelTheory.Graph

URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.Theory.simpleGraph_isSatisfiable

English

Theory.simpleGraph is satisfiable.

Русский

Теория simpleGraph удовлетворима.

LaTeX

$$$Theory.simpleGraph.IsSatisfiable$$$

Lean4

theorem simpleGraph_isSatisfiable : Theory.IsSatisfiable Theory.simpleGraph :=
  ⟨@Theory.ModelType.of _ _ Unit (SimpleGraph.structure ⊥) _ _⟩

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru