mathematical 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 mathematical 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 (3)
- mathematical logic — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q1166618
- stable_ref
- Q1166618
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q1166618
- provider
- wikidata
- entity_href
- /entries/wikidata/Q1166618
- Moses Schönfinkel — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q45113
- stable_ref
- Q45113
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q45113
- provider
- wikidata
- entity_href
- /entries/wikidata/Q45113
- J. Barkley Rosser — Wikidata entity
Technical details
- node_id
- wikidata:entity:Q332905
- stable_ref
- Q332905
- node_kind
- wikidata_entity
- plane
- provider_observed
- qid
- Q332905
- provider
- wikidata
- entity_href
- /entries/wikidata/Q332905
Edges (2)
- Moses Schönfinkel — field of work → mathematical logic — Observed provider relationships
Technical details
- machine_predicate
- P101
- predicate_ref
- wikidata:property:P101
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:0:P101
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
- J. Barkley Rosser — field of work → mathematical logic — Observed provider relationships
Technical details
- machine_predicate
- P101
- predicate_ref
- wikidata:property:P101
- provider
- wikidata
- provider_direction
- incoming
- plane
- provider_observed
- edge_id
- wikidata:relation:1:P101
- release_ref
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7