{
  "Name": "composition_of_injective_functions_is_injective",
  "Title": "Composition of injective functions is injective.",
  "SourceFile": "examples/n3/composition_of_injective_functions_is_injective.n3",
  "SourceSHA256": "59429a6490d6587b42c78b3206d390c6a9c1570a2fcdfa09407be0261c99b88f",
  "Description": "",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 12,
  "CompiledRules": 8,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 1,
  "Builtins": [
    "log:notEqualTo"
  ]
}