rows {
  options {
    physical_type: PHYSICAL_STREAM_TYPE_QUADS
    max_name_table_size: 128
    max_prefix_table_size: 16
    max_datatype_table_size: 16
    logical_type: LOGICAL_STREAM_TYPE_DATASETS
    version: 2
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/"
  }
}
rows {
  name {
    value: "RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI"
  }
}
rows {
  namespace {
    name: "this"
    value {
      prefix_id: 1
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RAUyaSwDeKfbXl4-_Q4-u58fRoHh98whfp-bRbmI8T4KI/"
  }
}
rows {
  name {
  }
}
rows {
  namespace {
    name: "sub"
    value {
      prefix_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.nanopub.org/nschema#"
  }
}
rows {
  namespace {
    name: "np"
    value {
      prefix_id: 3
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/dc/terms/"
  }
}
rows {
  namespace {
    name: "dct"
    value {
      prefix_id: 4
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  }
}
rows {
  namespace {
    name: "rdf"
    value {
      prefix_id: 5
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/o/ntemplate/"
  }
}
rows {
  namespace {
    name: "nt"
    value {
      prefix_id: 6
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2001/XMLSchema#"
  }
}
rows {
  namespace {
    name: "xsd"
    value {
      prefix_id: 7
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/2000/01/rdf-schema#"
  }
}
rows {
  namespace {
    name: "rdfs"
    value {
      prefix_id: 8
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://www.w3.org/ns/prov#"
  }
}
rows {
  namespace {
    name: "prov"
    value {
      prefix_id: 9
      name_id: 2
    }
  }
}
rows {
  prefix {
    value: "http://purl.org/nanopub/x/"
  }
}
rows {
  namespace {
    name: "npx"
    value {
      prefix_id: 10
      name_id: 2
    }
  }
}
rows {
  name {
    value: "hasAssertion"
  }
}
rows {
  name {
    value: "assertion"
  }
}
rows {
  name {
    value: "Head"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 1
      name_id: 1
    }
    p_iri {
      prefix_id: 3
      name_id: 3
    }
    o_iri {
      prefix_id: 2
    }
    g_iri {
    }
  }
}
rows {
  name {
    value: "hasProvenance"
  }
}
rows {
  name {
    value: "provenance"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 3
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "hasPublicationInfo"
  }
}
rows {
  name {
    value: "pubinfo"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 3
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "type"
  }
}
rows {
  name {
    value: "Nanopublication"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
    }
    o_iri {
      prefix_id: 3
    }
  }
}
rows {
  name {
    value: "description"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 4
    }
    p_iri {
      prefix_id: 4
      name_id: 12
    }
    o_literal {
      lex: "Such a nanopublication asserts that a proof or other deductive argument establishes a given statement. Use this instead of a support relation when the grounds are deductive: a proof settles the statement given its premises, rather than adding weight that could later be outweighed. The statement is an AIDA sentence and the proof is an item in the evidence and arguments layer."
    }
    g_iri {
      prefix_id: 2
      name_id: 4
    }
  }
}
rows {
  name {
    value: "AssertionTemplate"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
      name_id: 10
    }
    o_iri {
      prefix_id: 6
      name_id: 13
    }
  }
}
rows {
  name {
    value: "label"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
    }
    o_literal {
      lex: "Asserting that a proof establishes a statement"
    }
  }
}
rows {
  name {
    value: "hasNanopubLabelPattern"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
    }
    o_literal {
      lex: "${proof} proves ${statement}"
    }
  }
}
rows {
  name {
    value: "hasStatement"
  }
}
rows {
  name {
    value: "st0"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "hasTag"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
    }
    o_literal {
      lex: "Spaces"
    }
  }
}
rows {
  name {
    value: "proof"
  }
}
rows {
  name {
    value: "GuidedChoicePlaceholder"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
    }
    p_iri {
      prefix_id: 5
      name_id: 10
    }
    o_iri {
      prefix_id: 6
      name_id: 20
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
      name_id: 14
    }
    o_literal {
      lex: "the proof or deductive argument"
    }
  }
}
rows {
  name {
    value: "possibleValuesFromApi"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
      name_id: 21
    }
    o_literal {
      lex: "https://w3id.org/np/l/nanopub-query-1.1/api/RAyMrQ89RECTi9gZK5q7gjL1wKTiP8StkLy0NIkkCiyew/find-things?type=http://www.wikidata.org/entity/Q11538"
    }
  }
}
rows {
  name {
    value: "object"
  }
}
rows {
  name {
    value: "statement"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 17
    }
    p_iri {
      prefix_id: 5
      name_id: 22
    }
    o_iri {
      prefix_id: 2
    }
  }
}
rows {
  name {
    value: "predicate"
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RApY2x9ZrKtmpsW-ZINc1M1cvI9LYbmZ1-Gbgl3TEJsCI/"
  }
}
rows {
  name {
    value: "proves"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
    }
    o_iri {
      prefix_id: 11
    }
  }
}
rows {
  name {
    value: "subject"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 5
    }
    o_iri {
      prefix_id: 2
      name_id: 19
    }
  }
}
rows {
  name {
    value: "ExternalUriPlaceholder"
  }
}
rows {
  quad {
    s_iri {
      name_id: 23
    }
    p_iri {
      prefix_id: 5
      name_id: 10
    }
    o_iri {
      prefix_id: 6
      name_id: 27
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
      name_id: 14
    }
    o_literal {
      lex: "the statement that is established (an AIDA sentence URI)"
    }
  }
}
rows {
  name {
    value: "hasRegex"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
      name_id: 28
    }
    o_literal {
      lex: "http://purl.org/aida/.*"
    }
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 11
      name_id: 25
    }
    p_iri {
      prefix_id: 8
      name_id: 14
    }
    o_literal {
      lex: "proves"
    }
  }
}
rows {
  name {
    value: "wasAttributedTo"
  }
}
rows {
  prefix {
    value: "https://w3id.org/np/RA0SDqJIc3dtX2AihcvcSzBR7QIWfVl5lwk6U_MbH5RoA/"
  }
}
rows {
  name {
    value: "nanopub-ecosystem-paper-bot"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
      name_id: 4
    }
    p_iri {
      prefix_id: 9
      name_id: 29
    }
    o_iri {
      prefix_id: 12
    }
    g_iri {
      prefix_id: 2
      name_id: 7
    }
  }
}
rows {
  name {
    value: "created"
  }
}
rows {
  datatype {
    value: "http://www.w3.org/2001/XMLSchema#dateTime"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 1
      name_id: 1
    }
    p_iri {
      prefix_id: 4
      name_id: 31
    }
    o_literal {
      lex: "2026-08-18T08:46:29Z"
      datatype: 1
    }
    g_iri {
      prefix_id: 2
      name_id: 9
    }
  }
}
rows {
  name {
    value: "creator"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 32
    }
    o_iri {
      prefix_id: 12
      name_id: 30
    }
  }
}
rows {
  name {
    value: "license"
  }
}
rows {
  prefix {
    value: "https://creativecommons.org/licenses/by/4.0/"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 4
      name_id: 33
    }
    o_iri {
      prefix_id: 13
      name_id: 2
    }
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 8
      name_id: 14
    }
    o_literal {
      lex: "Asserting that a proof establishes a statement"
    }
  }
}
rows {
  name {
    value: "wasCreatedFromProvenanceTemplate"
  }
}
rows {
  name {
    value: "RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
      name_id: 34
    }
    o_iri {
      prefix_id: 1
    }
  }
}
rows {
  name {
    value: "wasCreatedFromPubinfoTemplate"
  }
}
rows {
  name {
    value: "RA0J4vUn_dekg-U1kK3AOEt02p9mT2WO03uGxLDec1jLw"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
    }
    o_iri {
      prefix_id: 1
    }
  }
}
rows {
  name {
    value: "RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI"
  }
}
rows {
  quad {
    o_iri {
    }
  }
}
rows {
  name {
    value: "wasCreatedFromTemplate"
  }
}
rows {
  name {
    value: "RA97ErZmL97PuPlwui1_qIdVTi5Ag8IaDdKeXlumYD_ms"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 6
    }
    o_iri {
      prefix_id: 1
    }
  }
}
rows {
  name {
    value: "sig"
  }
}
rows {
  name {
    value: "hasAlgorithm"
  }
}
rows {
  quad {
    s_iri {
      prefix_id: 2
    }
    p_iri {
      prefix_id: 10
    }
    o_literal {
      lex: "RSA"
    }
  }
}
rows {
  name {
    value: "hasPublicKey"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxo+arlpyxYYoHYYVTNSOWe/es90yVMBA8vaDyaAQk4pnOjTlpPptP5IkGg6zuCRIlm11QrHKkiU536witBT6gdh9kP9ay3S6m7wZ3iM7YcPMfhVHUXN6TBnuiKHHyJdVeK6RxMZlfXRKEz9HYcND+PGCXMVp8BofpKBKke3y4m8FTt+8aMEcgVcFBHFdrkWXoIIvkMlodtXkMgSwuGK8yXt/9lXqChIWpsbzu2juuX6pktMkfexkfQTwIH7oNSr/ma4KzZXERuLrCSO6IH5SfWXwjQUery6rKHiEMyie58mgBf0ssKh+uJoaZOqgbmj0f+EDwTIzq0dNsPA0A+n2QIDAQAB"
    }
  }
}
rows {
  name {
    value: "hasSignature"
  }
}
rows {
  quad {
    p_iri {
    }
    o_literal {
      lex: "K25j8mI5Obqz3O9i6YapcK0U20DJnn+CirTZoZ6UtwhMH5LyvG8k2y7LYp/eBsiwfTrrgqgbbsRcTaBnH3yxF/x/s9vCIZheU/O0QZMRWFczUzGrZ9AQTVHc0sHx5yNm2LOHI86vrdc5JQG1sZvgqJyMj2i5E216VNgztAzhtmgO1pDGblUmakexdQyGzq7SDMxZS0uAgOcSBfkjcBTB39qWwz9H3JQ1hcv2Wc62qZEBDO6HVH4gYDfAhKu2KftSwbdvz/6B735naVUD4zTKeO/9bHJIFDwEnZMUj2hHKoKmSQ3n1ZzsJ07ks8IgmpKVewo0BAA0wzVYcg9XvGEJ+w=="
    }
  }
}
rows {
  name {
    value: "hasSignatureTarget"
  }
}
rows {
  quad {
    p_iri {
    }
    o_iri {
      prefix_id: 1
      name_id: 1
    }
  }
}
rows {
  name {
    value: "signedBy"
  }
}
rows {
  quad {
    p_iri {
      prefix_id: 10
      name_id: 46
    }
    o_iri {
      prefix_id: 12
      name_id: 30
    }
  }
}