Wikimedia neighborhood · Wikidata observation Observed Graph-projection

theorem

in mathematics, a statement that has been proved

Provider: Wikidata. These recorded connections are observations, not Counterpedia claims. They do not establish source support.

Data and provenance

Provider: Wikidata · Entity ID: Q65943

Release: sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Graph membership is not truth. Each relation below is an observed typed edge the local Wikimedia graph bundle already materialized — not a corroborated, verified, or admitted claim. Bounded to 40 relations via an offset-index lookup (offset_index_binary_search), never a full scan of the bundle.Serving a published subset: joined entities + 1-hop neighborhood of 35,994 exact Wikipedia–Wikidata title matches. A subject that is not itself in that subset carries only the relations the subset recorded for it, so a small count here is the published scope and not a complete relationship inventory.

Development requests are not available on this deployment. The observed entity and its graph links remain readable.

1-hop relations (40+)

Observed adjacency only. Each spoke is a typed edge already materialized in the graph, labeled by its recorded predicate — graph proximity is not support, corroboration, or admission. The links below are the accessible, no-JavaScript path to the same neighbors.

Follow a connection

Grouped by a fixed presentation taxonomy for legibility only. The grouping asserts no rank, truth, support, or standing — every observed edge is carried, none reordered by importance.

Identity & relations (40)

← instance of (P31)Tarski's undefinability theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q574902
← instance of (P31)Lami's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1149522
← instance of (P31)Case analysisObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q5048330
← instance of (P31)Brown's representability theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q4975963
← instance of (P31)Min-max theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q4454958
← instance of (P31)von Neumann bicommutant theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q528987
← instance of (P31)Rice's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1893717
← instance of (P31)rational root theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q180345
← instance of (P31)modus tollensObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q844118
← instance of (P31)charge-parity-time symmetryObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q260060
← instance of (P31)idempotency of entailmentObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q5988174
← instance of (P31)optical theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1136262
← instance of (P31)Max-flow min-cut theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q608294
← instance of (P31)virial theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q620602
← instance of (P31)convolution theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q2638931
← instance of (P31)Noether normalization lemmaObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1287074
← instance of (P31)Karush–Kuhn–Tucker conditionsObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q2075125
← instance of (P31)transpositionObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q7835331
← instance of (P31)Paris–Harrington theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q7137494
← instance of (P31)Bendixson–Dulac theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q737892
← instance of (P31)Brianchon's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q119450
← instance of (P31)Itō's lemmaObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1151100
← instance of (P31)central limit theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q190391
← instance of (P31)Lerner symmetry theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q6528849
← instance of (P31)chain ruleObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q207455
← instance of (P31)space hierarchy theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q7572588
← instance of (P31)Euler's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q193910
← instance of (P31)primitive element theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q2093886
← instance of (P31)Noether's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q578555
← instance of (P31)Parseval's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1443036
← instance of (P31)Binet–Cauchy identityObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q935404
← instance of (P31)resolutionObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1051925
← instance of (P31)Hille–Yosida theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q974405
← instance of (P31)Harnack's inequalityObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q868279
← instance of (P31)primary decompositionObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q172298
← instance of (P31)Van der Waerden's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q764287
← instance of (P31)Bayes' ruleObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q1754809
← instance of (P31)Wiener–Khinchin theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q2301141
← instance of (P31)Schnyder's theoremObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q7431925
← instance of (P31)Weil reciprocity lawObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: incoming · Entity ID: Q7980189

More relations exist beyond this bounded panel's cap of 40. This panel intentionally shows a small neighborhood, not the full graph.

Return to entry