Lean Logic
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 Lean Logic
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 (6)
- Lean Logic — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q101314624
- stable_ref
- Q101314624
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q101314624
- provider
- wikidata
- entity_href
- /entries/wikidata/Q101314624
- profanity — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q184439
- stable_ref
- Q184439
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q184439
- provider
- wikidata
- entity_href
- /entries/wikidata/Q184439
- social constructivism — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q1135710
- stable_ref
- Q1135710
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q1135710
- provider
- wikidata
- entity_href
- /entries/wikidata/Q1135710
- violence — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q124490
- stable_ref
- Q124490
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q124490
- provider
- wikidata
- entity_href
- /entries/wikidata/Q124490
- barter — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q484830
- stable_ref
- Q484830
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q484830
- provider
- wikidata
- entity_href
- /entries/wikidata/Q484830
- intelligence — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q83500
- stable_ref
- Q83500
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q83500
- provider
- wikidata
- entity_href
- /entries/wikidata/Q83500
Edges (5)
- profanity — described by source → Lean Logic — Observed provider relationships
Technical details
- machine_predicate
- P1343
- predicate_ref
- wikidata:property:P1343
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:0:P1343
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
- social constructivism — described by source → Lean Logic — Observed provider relationships
Technical details
- machine_predicate
- P1343
- predicate_ref
- wikidata:property:P1343
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:1:P1343
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
- violence — described by source → Lean Logic — Observed provider relationships
Technical details
- machine_predicate
- P1343
- predicate_ref
- wikidata:property:P1343
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:2:P1343
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
- barter — described by source → Lean Logic — Observed provider relationships
Technical details
- machine_predicate
- P1343
- predicate_ref
- wikidata:property:P1343
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:3:P1343
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
- intelligence — described by source → Lean Logic — Observed provider relationships
Technical details
- machine_predicate
- P1343
- predicate_ref
- wikidata:property:P1343
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:4:P1343
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7