CounterpediaExplore knowledge. Follow the sources.

Guarded Command Language

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 Guarded Command Language

Show relationship types (drawing only; the text lists are unaffected)
described at URL (Observed provider relationships)Relationship label not yet available (Observed provider relationships)inception (Observed provider relationships)creator (Observed provider relationships)instance of (Observed provider relationships)Guarded Command Language — Wikidata entity (Q2442390)Guarded CommandLanguageWIKIDATA ENTITYhttp://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF — Literal value (wikidata:literal:0:http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF)http://www.cs.utexas.edu/users/…LITERAL VALUEpredicate transformer semantics — Wikidata entity (Q291929)predicatetransformer…WIKIDATA ENTITY1975 — Literal value (wikidata:literal:2:1975)1975LITERAL VALUEEdsger W. Dijkstra — Wikidata entity (Q8556)Edsger W.DijkstraWIKIDATA ENTITYformal language — Wikidata entity (Q192161)formal languageWIKIDATA 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)

  • Guarded Command Language — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q2442390
    stable_ref
    Q2442390
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q2442390
    provider
    wikidata
    entity_href
    /entries/wikidata/Q2442390
  • http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF — Literal value
    Technical details
    node_id
    wikidata:literal:0:http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF
    stable_ref
    wikidata:literal:0:http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF
    node_kind
    wikidata_literal
    plane
    provider_observed
  • predicate transformer semantics — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q291929
    stable_ref
    Q291929
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q291929
    provider
    wikidata
    entity_href
    /entries/wikidata/Q291929
  • 1975 — Literal value
    Technical details
    node_id
    wikidata:literal:2:1975
    stable_ref
    wikidata:literal:2:1975
    node_kind
    wikidata_literal
    plane
    provider_observed
  • Edsger W. Dijkstra — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q8556
    stable_ref
    Q8556
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q8556
    provider
    wikidata
    entity_href
    /entries/wikidata/Q8556
  • formal language — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q192161
    stable_ref
    Q192161
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q192161
    provider
    wikidata
    entity_href
    /entries/wikidata/Q192161

Edges (5)

  • Guarded Command Language — described at URL → http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF — Observed provider relationships
    Technical details
    machine_predicate
    P973
    predicate_ref
    wikidata:property:P973
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:0:P973
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • Guarded Command Language — Relationship label not yet available → predicate transformer semantics — Observed provider relationships
    Technical details
    machine_predicate
    P366
    predicate_ref
    wikidata:property:P366
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:1:P366
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • Guarded Command Language — inception → 1975 — Observed provider relationships
    Technical details
    machine_predicate
    P571
    predicate_ref
    wikidata:property:P571
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:2:P571
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • Guarded Command Language — creator → Edsger W. Dijkstra — Observed provider relationships
    Technical details
    machine_predicate
    P170
    predicate_ref
    wikidata:property:P170
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:3:P170
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • Guarded Command Language — instance of → formal language — Observed provider relationships
    Technical details
    machine_predicate
    P31
    predicate_ref
    wikidata:property:P31
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:4:P31
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Reader shortcuts (not graph edges) (0)

    Unresolved references (0)

      Frontier (0)