CounterpediaExplore knowledge. Follow the sources.

BLAST model checker

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 BLAST model checker

Show relationship types (drawing only; the text lists are unaffected)
Relationship label not yet available (Observed provider relationships)country (Observed provider relationships)Relationship label not yet available (Observed provider relationships)Relationship label not yet available (Observed provider relationships)Relationship label not yet available (Observed provider relationships)instance of (Observed provider relationships)Relationship label not yet available (Observed provider relationships)country (Observed provider relationships)Relationship label not yet available (Observed provider relationships)Relationship label not yet available (Observed provider relationships)BLAST model checker — Wikidata entity (Q4034701)BLAST modelcheckerWIKIDATA ENTITYhttp://mtc.epfl.ch/software-tools/blast/ — Literal value (wikidata:literal:0:http://mtc.epfl.ch/software-tools/blast/)http://mtc.epfl.ch/software-too…LITERAL VALUERussia — Wikidata entity (Q159)RussiaWIKIDATA ENTITYApache License — Wikidata entity (Q616526)Apache LicenseWIKIDATA ENTITYLinux — Wikidata entity (Q388)LinuxWIKIDATA ENTITYcopyrighted — Wikidata entity (Q50423863)copyrightedWIKIDATA ENTITYsoftware — Wikidata entity (Q7397)softwareWIKIDATA ENTITYhttps://forge.ispras.ru/projects/blast — Literal value (wikidata:literal:6:https://forge.ispras.ru/projects/blast)https://forge.ispras.ru/project…LITERAL VALUESwitzerland — Wikidata entity (Q39)SwitzerlandWIKIDATA ENTITYstatic program analysis — Wikidata entity (Q1329550)static programanalysisWIKIDATA ENTITYOCaml — Wikidata entity (Q212587)OCamlWIKIDATA 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 (11)

  • BLAST model checker — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q4034701
    stable_ref
    Q4034701
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q4034701
    provider
    wikidata
    entity_href
    /entries/wikidata/Q4034701
  • http://mtc.epfl.ch/software-tools/blast/ — Literal value
    Technical details
    node_id
    wikidata:literal:0:http://mtc.epfl.ch/software-tools/blast/
    stable_ref
    wikidata:literal:0:http://mtc.epfl.ch/software-tools/blast/
    node_kind
    wikidata_literal
    plane
    provider_observed
  • Russia — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q159
    stable_ref
    Q159
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q159
    provider
    wikidata
    entity_href
    /entries/wikidata/Q159
  • Apache License — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q616526
    stable_ref
    Q616526
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q616526
    provider
    wikidata
    entity_href
    /entries/wikidata/Q616526
  • Linux — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q388
    stable_ref
    Q388
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q388
    provider
    wikidata
    entity_href
    /entries/wikidata/Q388
  • copyrighted — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q50423863
    stable_ref
    Q50423863
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q50423863
    provider
    wikidata
    entity_href
    /entries/wikidata/Q50423863
  • software — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q7397
    stable_ref
    Q7397
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q7397
    provider
    wikidata
    entity_href
    /entries/wikidata/Q7397
  • https://forge.ispras.ru/projects/blast — Literal value
    Technical details
    node_id
    wikidata:literal:6:https://forge.ispras.ru/projects/blast
    stable_ref
    wikidata:literal:6:https://forge.ispras.ru/projects/blast
    node_kind
    wikidata_literal
    plane
    provider_observed
  • Switzerland — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q39
    stable_ref
    Q39
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q39
    provider
    wikidata
    entity_href
    /entries/wikidata/Q39
  • static program analysis — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q1329550
    stable_ref
    Q1329550
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q1329550
    provider
    wikidata
    entity_href
    /entries/wikidata/Q1329550
  • OCaml — Wikidata entity
    Technical details
    node_id
    wikidata:entity:Q212587
    stable_ref
    Q212587
    node_kind
    wikidata_entity
    plane
    provider_observed
    qid
    Q212587
    provider
    wikidata
    entity_href
    /entries/wikidata/Q212587

Edges (10)

  • BLAST model checker — Relationship label not yet available → http://mtc.epfl.ch/software-tools/blast/ — Observed provider relationships
    Technical details
    machine_predicate
    P856
    predicate_ref
    wikidata:property:P856
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:0:P856
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — country → Russia — Observed provider relationships
    Technical details
    machine_predicate
    P17
    predicate_ref
    wikidata:property:P17
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:1:P17
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — Relationship label not yet available → Apache License — Observed provider relationships
    Technical details
    machine_predicate
    P275
    predicate_ref
    wikidata:property:P275
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:2:P275
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — Relationship label not yet available → Linux — Observed provider relationships
    Technical details
    machine_predicate
    P306
    predicate_ref
    wikidata:property:P306
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:3:P306
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — Relationship label not yet available → copyrighted — Observed provider relationships
    Technical details
    machine_predicate
    P6216
    predicate_ref
    wikidata:property:P6216
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:4:P6216
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — instance of → software — 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:5:P31
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — Relationship label not yet available → https://forge.ispras.ru/projects/blast — Observed provider relationships
    Technical details
    machine_predicate
    P856
    predicate_ref
    wikidata:property:P856
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:6:P856
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — country → Switzerland — Observed provider relationships
    Technical details
    machine_predicate
    P17
    predicate_ref
    wikidata:property:P17
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:7:P17
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — Relationship label not yet available → static program analysis — 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:8:P366
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
  • BLAST model checker — Relationship label not yet available → OCaml — Observed provider relationships
    Technical details
    machine_predicate
    P277
    predicate_ref
    wikidata:property:P277
    provider
    wikidata
    provider_direction
    outgoing
    plane
    provider_observed
    edge_id
    wikidata:relation:9:P277
    release_ref
    sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Reader shortcuts (not graph edges) (0)

    Unresolved references (0)

      Frontier (0)