{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:8cc47160-e281-4f43-93d4-177f7b999134",
  "labels": {
    "zh-CN": "里斯表示定理",
    "en": "Riesz representation theorem"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "1d28ff2a5e62ec5cb2f6ecb3b1abefbdcf2a4548281e542ac0c91e7cb4d06c2d",
  "occurrences": [
    {
      "concept_id": "urn:uuid:8cc47160-e281-4f43-93d4-177f7b999134",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-13/03-linear-functionals",
      "anchor": "first-226eaa7f139e78020d8c-zh",
      "chapter": "13",
      "section": "13.3",
      "offset": 6556,
      "range": [
        10994,
        13277
      ],
      "source_revision": "207bc1d93e4dc345f7ad10ea7719651deb57ff8976de2815aa39cae1b0a552a3",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "zh/chapter-13/03-linear-functionals",
          "lang": "zh-CN",
          "section": "13.3",
          "signal": "named-theorem",
          "label": "里斯表示定理",
          "english": "Riesz representation theorem",
          "offset": 5961
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-10\">定理 13.10</a> · 里斯表示定理 (Riesz representation theorem)",
      "context": {
        "range": [
          10994,
          13277
        ],
        "quote": null,
        "quote_sha256": "6718fc2fc9a4c094760205db7c20a29883b74911f27332eb8719820f3ce3ea83",
        "environment": "theorem",
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "en/chapter-13/03-linear-functionals",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-1b7adc6d19753d81a4ad7087"
    },
    {
      "concept_id": "urn:uuid:8cc47160-e281-4f43-93d4-177f7b999134",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-13/03-linear-functionals",
      "anchor": "first-226eaa7f139e78020d8c-en",
      "chapter": "13",
      "section": "13.3",
      "offset": 7758,
      "range": [
        11689,
        14586
      ],
      "source_revision": "3e548b4b9485caf64e004faa2674fe6e264f5b639289e45227367c98d6d97ebf",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "en/chapter-13/03-linear-functionals",
          "lang": "en",
          "section": "13.3",
          "signal": "named-theorem",
          "label": "Riesz representation theorem",
          "english": "Riesz representation theorem",
          "offset": 7093
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-13-10\">Theorem 13.10</a> · Riesz representation theorem",
      "context": {
        "range": [
          11689,
          14586
        ],
        "quote": null,
        "quote_sha256": "d0facfdf66c2580d2c89140bb8982333d58caa940236c9743173c75d5ba4974d",
        "environment": "theorem",
        "excerpt_omitted": true
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-13/03-linear-functionals",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-9ce5bd30250a7e342a9d7ee9"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-13/03-linear-functionals",
      "lang": "en",
      "section": "13.3",
      "signal": "named-theorem",
      "label": "Riesz representation theorem",
      "english": "Riesz representation theorem",
      "offset": 7093
    },
    {
      "route": "zh/chapter-13/03-linear-functionals",
      "lang": "zh-CN",
      "section": "13.3",
      "signal": "named-theorem",
      "label": "里斯表示定理",
      "english": "Riesz representation theorem",
      "offset": 5961
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#theorem-13-10\"",
      "href": "#theorem-13-10",
      "range": [
        11037,
        11058
      ],
      "relation": "references",
      "target_route": "zh/chapter-13/03-linear-functionals",
      "target_anchor": "theorem-13-10",
      "resolved": true,
      "reason": null,
      "source_revision": "207bc1d93e4dc345f7ad10ea7719651deb57ff8976de2815aa39cae1b0a552a3",
      "source_route": "zh/chapter-13/03-linear-functionals",
      "occurrence_id": "occ-1b7adc6d19753d81a4ad7087"
    },
    {
      "raw": "href=\"#theorem-13-8\"",
      "href": "#theorem-13-8",
      "range": [
        11841,
        11861
      ],
      "relation": "references",
      "target_route": "zh/chapter-13/03-linear-functionals",
      "target_anchor": "theorem-13-8",
      "resolved": true,
      "reason": null,
      "source_revision": "207bc1d93e4dc345f7ad10ea7719651deb57ff8976de2815aa39cae1b0a552a3",
      "source_route": "zh/chapter-13/03-linear-functionals",
      "occurrence_id": "occ-1b7adc6d19753d81a4ad7087"
    },
    {
      "raw": "href=\"#theorem-13-10\"",
      "href": "#theorem-13-10",
      "range": [
        11732,
        11753
      ],
      "relation": "references",
      "target_route": "en/chapter-13/03-linear-functionals",
      "target_anchor": "theorem-13-10",
      "resolved": true,
      "reason": null,
      "source_revision": "3e548b4b9485caf64e004faa2674fe6e264f5b639289e45227367c98d6d97ebf",
      "source_route": "en/chapter-13/03-linear-functionals",
      "occurrence_id": "occ-9ce5bd30250a7e342a9d7ee9"
    },
    {
      "raw": "href=\"#theorem-13-8\"",
      "href": "#theorem-13-8",
      "range": [
        12843,
        12863
      ],
      "relation": "references",
      "target_route": "en/chapter-13/03-linear-functionals",
      "target_anchor": "theorem-13-8",
      "resolved": true,
      "reason": null,
      "source_revision": "3e548b4b9485caf64e004faa2674fe6e264f5b639289e45227367c98d6d97ebf",
      "source_route": "en/chapter-13/03-linear-functionals",
      "occurrence_id": "occ-9ce5bd30250a7e342a9d7ee9"
    }
  ],
  "reading_order": [
    "occ-1b7adc6d19753d81a4ad7087",
    "occ-9ce5bd30250a7e342a9d7ee9"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 2,
    "located_occurrences": 2,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "c2e4b23692ab2a1387a5adece500f26b6ceb85ce894ef930d186aa56a286bbcc",
  "optional_enrichments": []
}