{
  "Name": "greatest_lower_bound_uniqueness",
  "Title": "In a partial order, a greatest lower bound is unique.",
  "SourceFile": "examples/n3/greatest_lower_bound_uniqueness.n3",
  "SourceSHA256": "3a199585b9906a895deba6508458c88551558aec89fdc1b490ed9493bbb63433",
  "Description": "",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 6,
  "CompiledRules": 7,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 1,
  "Builtins": [
    "log:notEqualTo"
  ]
}