This HTML5 document contains 9 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wdthttp://www.wikidata.org/prop/direct/
schemahttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
wikibasehttp://wikiba.se/ontology#
phttp://www.wikidata.org/prop/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
wdshttp://www.wikidata.org/entity/statement/
wdhttp://www.wikidata.org/entity/

Statements

Subject Item
wd:Q115953246
rdf:type
wikibase:Item
schema:description
tool to check the type safety of a program based on static source code analysis
rdfs:label
static type checker
skos:prefLabel
static type checker
schema:name
static type checker
p:P279
wds:Q115953246-66322a4f-47c3-efa7-c0ab-8d9b187b0a57
wdt:P279
wd:Q1077784
p:P366
wds:Q115953246-0c318c37-4fc9-4274-fc96-76f25b4c93b6
wdt:P366
wd:Q4001197