@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q4171386 rdfs:label "Чун (дифференциаллă геометри)"@cv,
        "sjæl"@da,
        "Seele"@de,
        "soul theorem"@en,
        "soul"@en-ca,
        "soul"@en-gb,
        "animo (matematiko)"@eo,
        "teorema del alma"@es,
        "arimaren teorema"@eu,
        "théorème de l'âme"@fr,
        "teorema da alma"@gl,
        "anima"@it,
        "ソウル"@ja,
        "영혼"@ko,
        "душа"@ru,
        "靈魂定理"@zh,
        "靈魂"@zh-hant ;
    schema1:dateModified "2026-01-03T11:11:48+00:00"^^xsd:dateTime ;
    schema1:description "matematisk begreb"@da,
        "mathematischer Satz"@de,
        "mathematical theorem"@en,
        "kompakta, tute konveksa, tute geodezia substernaĵo S de kompleta koneksa rimana sternaĵo M, tia ke M estas difeomorfa al la normala fasko de S; ĝi devas ekzisti se M havas nenegativan sekcian kurbecon ĉie (animteoremo)"@eo,
        "théorème de la géométrie riemannienne"@fr,
        "дифференциальная геометрия"@ru ;
    schema1:version 2450857575 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 7 ;
    wikibase:statements 7 ;
    skos:altLabel "soul theorem"@en-ca,
        "soul theorem"@en-gb,
        "animteoremo"@eo,
        "teorema de la alma"@es,
        "Congettura di Soul"@it,
        "Teorema di Cheeger-Gromoll"@it,
        "congettura dell'anima"@it,
        "teorema dell'anima"@it,
        "ソウル定理"@ja,
        "Теорема о душе"@ru,
        "靈魂定理"@zh-hant ;
    p:P1318 wds:Q4171386-66ba9b77-43b9-ec77-33b9-22b95d81e8ef ;
    p:P138 wds:Q4171386-cba598ff-4517-2fdf-692d-8e330317ff13 ;
    p:P31 wds:Q4171386-ECB52487-F1F7-4A04-ABA0-517518FEE95C ;
    p:P361 wds:Q4171386-C6565CA6-EF64-416C-9CDF-2FC81B66B6E3 ;
    p:P6104 wds:Q4171386-27758E6B-DE23-4E9C-ABE7-3ADD9FD1B1C8 ;
    p:P6366 wds:Q4171386-7911FD63-7DEB-46E0-8F44-ACDC7A3676B4 ;
    p:P646 wds:Q4171386-8FB9BB8E-2BD8-4F87-AEDC-FC3E76BD2BEF ;
    wdtn:P6366 <https://makg.org/entity/197435447> ;
    wdt:P1318 wd:Q117346 ;
    wdt:P138 wd:Q98381547 ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "197435447" ;
    wdt:P646 "/m/03rlp1" .