CounterpediaExplore knowledge. Follow the sources.

sentence

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 sentence

Show relationship types (drawing only; the text lists are unaffected)
Relationship label not yet available (Observed provider relationships)Relationship label not yet available (Observed provider relationships)Relationship label not yet available (Observed provider relationships)subclass of (Observed provider relationships)different from (Observed provider relationships)Relationship label not yet available (Observed provider relationships)different from (Observed provider relationships)sentence — Wikidata entity (Q2509500)sentenceWIKIDATA ENTITYhttps://cstheory.stackexchange.com/tags/boolean-formulas — Literal value (wikidata:literal:0:https://cstheory.stackexchange.com/tags/boolean-formulas)https://cstheory.stackexchange.…LITERAL VALUEopen formula — Wikidata entity (Q830486)open formulaWIKIDATA ENTITYWikiProject Mathematics — Wikidata entity (Q8487137)WikiProjectMathematicsWIKIDATA ENTITYwell-formed formula — Wikidata entity (Q655328)well-formedformulaWIKIDATA ENTITYstatement — Wikidata entity (Q2684591)statementWIKIDATA ENTITY

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)

  • sentence — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q2509500
    stable_ref
    Q2509500
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q2509500
    provider
    wikidata
    entity_href
    /entries/wikidata/Q2509500
  • https://cstheory.stackexchange.com/tags/boolean-formulas — Literal value
    Technical details
    node_id
    wikidata:literal:0:https://cstheory.stackexchange.com/tags/boolean-formulas
    stable_ref
    wikidata:literal:0:https://cstheory.stackexchange.com/tags/boolean-formulas
    node_kind
    wikidata_literal
    plane
    provider_observed
  • open formula — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q830486
    stable_ref
    Q830486
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q830486
    provider
    wikidata
    entity_href
    /entries/wikidata/Q830486
  • WikiProject Mathematics — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q8487137
    stable_ref
    Q8487137
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q8487137
    provider
    wikidata
    entity_href
    /entries/wikidata/Q8487137
  • well-formed formula — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q655328
    stable_ref
    Q655328
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q655328
    provider
    wikidata
    entity_href
    /entries/wikidata/Q655328
  • statement — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q2684591
    stable_ref
    Q2684591
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q2684591
    provider
    wikidata
    entity_href
    /entries/wikidata/Q2684591

Edges (7)

  • sentence — Relationship label not yet available → https://cstheory.stackexchange.com/tags/boolean-formulas — Observed provider relationships
    Technical details
    machine_predicate
    P1482
    predicate_ref
    wikidata:property:P1482
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:0:P1482
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • sentence — Relationship label not yet available → open formula — Observed provider relationships
    Technical details
    machine_predicate
    P461
    predicate_ref
    wikidata:property:P461
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:1:P461
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • sentence — Relationship label not yet available → WikiProject Mathematics — Observed provider relationships
    Technical details
    machine_predicate
    P6104
    predicate_ref
    wikidata:property:P6104
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:2:P6104
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • sentence — subclass of → well-formed formula — Observed provider relationships
    Technical details
    machine_predicate
    P279
    predicate_ref
    wikidata:property:P279
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:3:P279
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • sentence — different from → statement — Observed provider relationships
    Technical details
    machine_predicate
    P1889
    predicate_ref
    wikidata:property:P1889
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:4:P1889
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • open formula — Relationship label not yet available → sentence — Observed provider relationships
    Technical details
    machine_predicate
    P461
    predicate_ref
    wikidata:property:P461
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:5:P461
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • statement — different from → sentence — Observed provider relationships
    Technical details
    machine_predicate
    P1889
    predicate_ref
    wikidata:property:P1889
    provider
    wikidata
    provider_direction
    incoming
    plane
    provider_observed
    edge_id
    wikidata:relation:6:P1889
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Reader shortcuts (not graph edges) (0)

    Unresolved references (0)

      Frontier (0)