{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:554bac8e-2cd1-477e-b88f-0bfc5f46da87",
"labels": {
"zh-CN": "弗罗贝尼乌斯定理",
"en": "Frobenius theorem"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "09e5cd39f5a326582602ad5cb1c2b3b7bb7c79596e5b2ddc335f85385258a0f5",
"occurrences": [
{
"concept_id": "urn:uuid:554bac8e-2cd1-477e-b88f-0bfc5f46da87",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"anchor": "first-e3a51828446c9626f9a5-zh",
"chapter": "15",
"section": "15.6",
"offset": 3433,
"range": [
8912,
13260
],
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_category": "translation",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"lang": "zh-CN",
"section": "15.6",
"signal": "named-theorem",
"label": "弗罗贝尼乌斯定理",
"english": "Frobenius theorem",
"offset": 2895
}
},
"label": "> [!theorem] 定理 15.4 · 弗罗贝尼乌斯定理 (Frobenius theorem)",
"context": {
"range": [
8912,
13260
],
"quote": null,
"quote_sha256": "8e5ca51db93e280282e908b1317bf22fa59e2e2e7c9779978ebea415b34bc550",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-74c9c5da3809166ab342a12f"
},
{
"concept_id": "urn:uuid:554bac8e-2cd1-477e-b88f-0bfc5f46da87",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"anchor": "first-e3a51828446c9626f9a5-en",
"chapter": "15",
"section": "15.6",
"offset": 4584,
"range": [
9549,
14911
],
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"lang": "en",
"section": "15.6",
"signal": "named-theorem",
"label": "Frobenius theorem",
"english": "Frobenius theorem",
"offset": 3941
}
},
"label": "> [!theorem] Theorem 15.4 · Frobenius theorem",
"context": {
"range": [
9549,
14911
],
"quote": null,
"quote_sha256": "f87981fd296292e948edc564c98c61842429c24d2cbdb1a4e083c0a42506226c",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-e297c13aaf50077124092a0d"
}
],
"registered_positions": [
{
"route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"lang": "en",
"section": "15.6",
"signal": "named-theorem",
"label": "Frobenius theorem",
"english": "Frobenius theorem",
"offset": 3941
},
{
"route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"lang": "zh-CN",
"section": "15.6",
"signal": "named-theorem",
"label": "弗罗贝尼乌斯定理",
"english": "Frobenius theorem",
"offset": 2895
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"#theorem-15-4\"",
"href": "#theorem-15-4",
"range": [
8955,
8975
],
"relation": "references",
"target_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "theorem-15-4",
"resolved": true,
"reason": null,
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-74c9c5da3809166ab342a12f"
},
{
"raw": "href=\"05-commutators-flows-and-lie-derivatives#theorem-15-3\"",
"href": "05-commutators-flows-and-lie-derivatives#theorem-15-3",
"range": [
9296,
9356
],
"relation": "references",
"target_route": "zh/chapter-15/05-commutators-flows-and-lie-derivatives",
"target_anchor": "theorem-15-3",
"resolved": true,
"reason": null,
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-74c9c5da3809166ab342a12f"
},
{
"raw": "href=\"#equation-15-41\"",
"href": "#equation-15-41",
"range": [
10372,
10394
],
"relation": "references",
"target_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "equation-15-41",
"resolved": true,
"reason": null,
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-74c9c5da3809166ab342a12f"
},
{
"raw": "href=\"#equation-15-43\"",
"href": "#equation-15-43",
"range": [
11405,
11427
],
"relation": "references",
"target_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "equation-15-43",
"resolved": true,
"reason": null,
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-74c9c5da3809166ab342a12f"
},
{
"raw": "href=\"#equation-15-44\"",
"href": "#equation-15-44",
"range": [
11921,
11943
],
"relation": "references",
"target_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "equation-15-44",
"resolved": true,
"reason": null,
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-74c9c5da3809166ab342a12f"
},
{
"raw": "href=\"05-commutators-flows-and-lie-derivatives#theorem-15-3\"",
"href": "05-commutators-flows-and-lie-derivatives#theorem-15-3",
"range": [
12612,
12672
],
"relation": "references",
"target_route": "zh/chapter-15/05-commutators-flows-and-lie-derivatives",
"target_anchor": "theorem-15-3",
"resolved": true,
"reason": null,
"source_revision": "225aab8a17b4738fe4c2c90a0fbd4d1303e79044e70ca9d93a75b916d5200722",
"source_route": "zh/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-74c9c5da3809166ab342a12f"
},
{
"raw": "href=\"#theorem-15-4\"",
"href": "#theorem-15-4",
"range": [
9592,
9612
],
"relation": "references",
"target_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "theorem-15-4",
"resolved": true,
"reason": null,
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-e297c13aaf50077124092a0d"
},
{
"raw": "href=\"05-commutators-flows-and-lie-derivatives#theorem-15-3\"",
"href": "05-commutators-flows-and-lie-derivatives#theorem-15-3",
"range": [
10156,
10216
],
"relation": "references",
"target_route": "en/chapter-15/05-commutators-flows-and-lie-derivatives",
"target_anchor": "theorem-15-3",
"resolved": true,
"reason": null,
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-e297c13aaf50077124092a0d"
},
{
"raw": "href=\"#equation-15-41\"",
"href": "#equation-15-41",
"range": [
11543,
11565
],
"relation": "references",
"target_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "equation-15-41",
"resolved": true,
"reason": null,
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-e297c13aaf50077124092a0d"
},
{
"raw": "href=\"#equation-15-43\"",
"href": "#equation-15-43",
"range": [
12806,
12828
],
"relation": "references",
"target_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "equation-15-43",
"resolved": true,
"reason": null,
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-e297c13aaf50077124092a0d"
},
{
"raw": "href=\"#equation-15-44\"",
"href": "#equation-15-44",
"range": [
13354,
13376
],
"relation": "references",
"target_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"target_anchor": "equation-15-44",
"resolved": true,
"reason": null,
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-e297c13aaf50077124092a0d"
},
{
"raw": "href=\"05-commutators-flows-and-lie-derivatives#theorem-15-3\"",
"href": "05-commutators-flows-and-lie-derivatives#theorem-15-3",
"range": [
14157,
14217
],
"relation": "references",
"target_route": "en/chapter-15/05-commutators-flows-and-lie-derivatives",
"target_anchor": "theorem-15-3",
"resolved": true,
"reason": null,
"source_revision": "9dc392eaf382187323a5ca1c4e44f8254de3aca53722f1a557d9dcc93bf1b795",
"source_route": "en/chapter-15/06-distributions-and-frobenius-theorem",
"occurrence_id": "occ-e297c13aaf50077124092a0d"
}
],
"reading_order": [
"occ-74c9c5da3809166ab342a12f",
"occ-e297c13aaf50077124092a0d"
],
"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": "861839367f350977a7495bce413f589d0ac29779d1c124f3e15070bbe5449b06",
"optional_enrichments": []
}