Browse Wiki & Semantic Web

Jump to: navigation, search
Http://www.wikidata.org/entity/Q6382043
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://www.wikidata.org/entity/Q6382043
http://schema.org/description formal verification tool
http://schema.org/name KeY
http://www.w3.org/2004/02/skos/core#prefLabel KeY
http://www.wikidata.org/prop/P154 http://www.wikidata.org/entity/statement/Q6382043-B4D22E4C-43B4-4D18-A483-C3AE985C73E8 +
http://www.wikidata.org/prop/P178 http://www.wikidata.org/entity/statement/Q6382043-2C91AAF5-E595-4D53-BE66-8E4A681771C4 +
http://www.wikidata.org/prop/P18 http://www.wikidata.org/entity/statement/Q6382043-05E6EBF7-2186-4DF6-870F-F5A9C7BD3260 +
http://www.wikidata.org/prop/P275 http://www.wikidata.org/entity/statement/Q6382043-1A6F39E9-A6E2-42CA-B3B8-1EF79D64EF0D +
http://www.wikidata.org/prop/P277 http://www.wikidata.org/entity/statement/Q6382043-8DED9430-54A4-438D-85AC-B63ABA687A3D +
http://www.wikidata.org/prop/P31 http://www.wikidata.org/entity/statement/q6382043-40D4344D-909A-45D7-A677-7CC1ADF80979 +
http://www.wikidata.org/prop/P366 http://www.wikidata.org/entity/statement/Q6382043-ED915968-5A00-4FA4-9D80-2C4B7AE2AF20 +
http://www.wikidata.org/prop/P373 http://www.wikidata.org/entity/statement/Q6382043-91906414-C768-4665-9FFD-4B8CA938FF64 +
http://www.wikidata.org/prop/P6216 http://www.wikidata.org/entity/statement/Q6382043-5589D371-708E-4225-955F-D9C77F9BEC47 +
http://www.wikidata.org/prop/P646 http://www.wikidata.org/entity/statement/Q6382043-0FD02373-EDA6-4DFD-B129-757EEE1E92E2 +
http://www.wikidata.org/prop/P856 http://www.wikidata.org/entity/statement/Q6382043-B2689533-BFDE-40BE-94D1-2F1D497C0F05 +
http://www.wikidata.org/prop/direct/P154 http://commons.wikimedia.org/wiki/Special:FilePath/KeY%20logo.svg +
http://www.wikidata.org/prop/direct/P178 http://www.wikidata.org/entity/Q309988 +
http://www.wikidata.org/prop/direct/P18 http://commons.wikimedia.org/wiki/Special:FilePath/Key-tool.jpg +
http://www.wikidata.org/prop/direct/P275 http://www.wikidata.org/entity/Q7603 +
http://www.wikidata.org/prop/direct/P277 http://www.wikidata.org/entity/Q251 +
http://www.wikidata.org/prop/direct/P31 http://www.wikidata.org/entity/Q1077784 +
http://www.wikidata.org/prop/direct/P366 http://www.wikidata.org/entity/Q173326 +
http://www.wikidata.org/prop/direct/P373 KeY program verification tool
http://www.wikidata.org/prop/direct/P6216 http://www.wikidata.org/entity/Q50423863 +
http://www.wikidata.org/prop/direct/P646 /m/02wbmkm
http://www.wikidata.org/prop/direct/P856 http://www.key-project.org/ +
rdf:type http://wikiba.se/ontology#Item +
rdfs:label KeY
hide properties that link here 
https://www.wikidata.org/wiki/Special:EntityData/Q6382043 + , https://en.wikipedia.org/wiki/KeY + , https://fr.wikipedia.org/wiki/KeY_%28logiciel%29 + http://schema.org/about
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fwww.wikidata.org-2Fentity-2FQ6382043"