<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/ExifTool> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/2004/02/skos/core#altLabel>	"key" .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_software> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/programmingLanguage>	<http://caligraph.org/resource/Java_(programming_language)> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/2004/02/skos/core#altLabel>	"dynamic logic" .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/MSX-DOS> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Proof_assistant> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/Chalmers_University_of_Technology> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/latestReleaseDate>	"2020-12-18" .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/Technische_Universit%C3%A4t_Darmstadt> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/SpartaDOS_X> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Java_Modeling_Language> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/PC-MOS/386> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/genre>	<http://caligraph.org/resource/Formal_verification> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/Karlsruhe_Institute_of_Technology> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Panos_(operating_system)> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/H2O_(web_server)> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Groupe_Bull> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/KeY> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Proof_assistants> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/license>	<http://caligraph.org/resource/GNU_General_Public_License> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"KeY" .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Automated_theorem_proving> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/2004/02/skos/core#altLabel>	"KEY" .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Software> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/DNS_management_software> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Symbolic_execution> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/2000/01/rdf-schema#label>	"KeY" .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/MZ-2500> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Tool_for_static_code_analysis> .
<http://caligraph.org/resource/KeY>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/OS/2> .
<http://caligraph.org/resource/KeY>	<http://caligraph.org/ontology/latestReleaseVersion>	"2.8.0" .