list of theorems

Relationships observed in Wikidata. Connections do not establish verification or source support.

Release: sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Provider: Wikidata · graph projection only.

OBSERVED · GRAPH-PROJECTION · NOT ADMITTED · NOT VERIFIED · NOT SUPPORT

Edge identity is the provider property id (for example P31). It is not a Counterpedia predicate.

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

Relationships of list of theorems

Show relationship types (drawing only; the text lists are unaffected) part of

Legend

Governed record relationships (solid)
Countergraph traversal (dashed)
Countergraph evidence (dotted)
Observed provider relationships (dash-dot)
Structurally derived (sparse dots)

Node shape identifies node kind only. Size, color, and position carry no meaning beyond hop distance from the root.

A line means a supported artifact carried an explicit structured relation. It does not mean the relation is true, admitted, verified, or authoritative.

Graph as text

Nodes (27)

list of theorems — Wikidata entity
Technical details
node_id
wikidata:entity:Q944443
stable_ref
Q944443
node_kind
wikidata_entity
plane
provider_observed
qid
Q944443
provider
wikidata
entity_href
/entries/wikidata/Q944443
Tarski's undefinability theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q574902
stable_ref
Q574902
node_kind
wikidata_entity
plane
provider_observed
qid
Q574902
provider
wikidata
entity_href
/entries/wikidata/Q574902
space hierarchy theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q7572588
stable_ref
Q7572588
node_kind
wikidata_entity
plane
provider_observed
qid
Q7572588
provider
wikidata
entity_href
/entries/wikidata/Q7572588
Parseval's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q1443036
stable_ref
Q1443036
node_kind
wikidata_entity
plane
provider_observed
qid
Q1443036
provider
wikidata
entity_href
/entries/wikidata/Q1443036
central limit theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q190391
stable_ref
Q190391
node_kind
wikidata_entity
plane
provider_observed
qid
Q190391
provider
wikidata
entity_href
/entries/wikidata/Q190391
Brown's representability theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q4975963
stable_ref
Q4975963
node_kind
wikidata_entity
plane
provider_observed
qid
Q4975963
provider
wikidata
entity_href
/entries/wikidata/Q4975963
Van der Waerden's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q764287
stable_ref
Q764287
node_kind
wikidata_entity
plane
provider_observed
qid
Q764287
provider
wikidata
entity_href
/entries/wikidata/Q764287
Noether's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q578555
stable_ref
Q578555
node_kind
wikidata_entity
plane
provider_observed
qid
Q578555
provider
wikidata
entity_href
/entries/wikidata/Q578555
von Neumann bicommutant theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q528987
stable_ref
Q528987
node_kind
wikidata_entity
plane
provider_observed
qid
Q528987
provider
wikidata
entity_href
/entries/wikidata/Q528987
Max-flow min-cut theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q608294
stable_ref
Q608294
node_kind
wikidata_entity
plane
provider_observed
qid
Q608294
provider
wikidata
entity_href
/entries/wikidata/Q608294
Hille–Yosida theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q974405
stable_ref
Q974405
node_kind
wikidata_entity
plane
provider_observed
qid
Q974405
provider
wikidata
entity_href
/entries/wikidata/Q974405
optical theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q1136262
stable_ref
Q1136262
node_kind
wikidata_entity
plane
provider_observed
qid
Q1136262
provider
wikidata
entity_href
/entries/wikidata/Q1136262
primitive element theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q2093886
stable_ref
Q2093886
node_kind
wikidata_entity
plane
provider_observed
qid
Q2093886
provider
wikidata
entity_href
/entries/wikidata/Q2093886
Lerner symmetry theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q6528849
stable_ref
Q6528849
node_kind
wikidata_entity
plane
provider_observed
qid
Q6528849
provider
wikidata
entity_href
/entries/wikidata/Q6528849
Paris–Harrington theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q7137494
stable_ref
Q7137494
node_kind
wikidata_entity
plane
provider_observed
qid
Q7137494
provider
wikidata
entity_href
/entries/wikidata/Q7137494
butterfly theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q377047
stable_ref
Q377047
node_kind
wikidata_entity
plane
provider_observed
qid
Q377047
provider
wikidata
entity_href
/entries/wikidata/Q377047
Lami's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q1149522
stable_ref
Q1149522
node_kind
wikidata_entity
plane
provider_observed
qid
Q1149522
provider
wikidata
entity_href
/entries/wikidata/Q1149522
Bendixson–Dulac theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q737892
stable_ref
Q737892
node_kind
wikidata_entity
plane
provider_observed
qid
Q737892
provider
wikidata
entity_href
/entries/wikidata/Q737892
Brianchon's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q119450
stable_ref
Q119450
node_kind
wikidata_entity
plane
provider_observed
qid
Q119450
provider
wikidata
entity_href
/entries/wikidata/Q119450
convolution theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q2638931
stable_ref
Q2638931
node_kind
wikidata_entity
plane
provider_observed
qid
Q2638931
provider
wikidata
entity_href
/entries/wikidata/Q2638931
primary decomposition — Wikidata entity
Technical details
node_id
wikidata:entity:Q172298
stable_ref
Q172298
node_kind
wikidata_entity
plane
provider_observed
qid
Q172298
provider
wikidata
entity_href
/entries/wikidata/Q172298
rational root theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q180345
stable_ref
Q180345
node_kind
wikidata_entity
plane
provider_observed
qid
Q180345
provider
wikidata
entity_href
/entries/wikidata/Q180345
virial theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q620602
stable_ref
Q620602
node_kind
wikidata_entity
plane
provider_observed
qid
Q620602
provider
wikidata
entity_href
/entries/wikidata/Q620602
Euler's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q193910
stable_ref
Q193910
node_kind
wikidata_entity
plane
provider_observed
qid
Q193910
provider
wikidata
entity_href
/entries/wikidata/Q193910
Rice's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q1893717
stable_ref
Q1893717
node_kind
wikidata_entity
plane
provider_observed
qid
Q1893717
provider
wikidata
entity_href
/entries/wikidata/Q1893717
Schnyder's theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q7431925
stable_ref
Q7431925
node_kind
wikidata_entity
plane
provider_observed
qid
Q7431925
provider
wikidata
entity_href
/entries/wikidata/Q7431925
Min-max theorem — Wikidata entity
Technical details
node_id
wikidata:entity:Q4454958
stable_ref
Q4454958
node_kind
wikidata_entity
plane
provider_observed
qid
Q4454958
provider
wikidata
entity_href
/entries/wikidata/Q4454958

Edges (26)

Tarski's undefinability theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:0:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
space hierarchy theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:1:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Parseval's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:2:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
central limit theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:3:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Brown's representability theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:4:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Van der Waerden's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:5:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Noether's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:6:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
von Neumann bicommutant theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:7:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Max-flow min-cut theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:8:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Hille–Yosida theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:9:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
optical theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:10:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
primitive element theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:11:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Lerner symmetry theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:12:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Paris–Harrington theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:13:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
butterfly theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:14:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Lami's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:15:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Bendixson–Dulac theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:16:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Brianchon's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:17:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
convolution theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:18:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
primary decomposition — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:19:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
rational root theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:20:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
virial theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:21:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Euler's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:22:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Rice's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:23:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Schnyder's theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:24:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
Min-max theorem — part of → list of theorems — Observed provider relationships
Technical details
machine_predicate
P361
predicate_ref
wikidata:property:P361
provider
wikidata
provider_direction
incoming
plane
provider_observed
edge_id
wikidata:relation:25:P361
release_ref
sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7