<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/2000/01/rdf-schema#label>	"NuSMV" .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_model_checking_tools> .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Model_checking> .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/NuSMV> .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Model_checking_tool> .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"NuSMV" .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/University_of_Genoa> .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/University_of_Trento> .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/latestReleaseDate>	"2015-10-14" .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/latestReleaseVersion>	"2.6.0" .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_software> .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/genre>	<http://caligraph.org/resource/Model_checking> .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/license>	<http://caligraph.org/resource/GNU_Lesser_General_Public_License> .
<http://caligraph.org/resource/NuSMV>	<http://caligraph.org/ontology/programmingLanguage>	<http://caligraph.org/resource/ANSI_C> .
<http://caligraph.org/resource/NuSMV>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Software> .