<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_model_checking_tools> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"PAT (model checker)" .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/language>	<http://caligraph.org/resource/Japanese_language> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Model_checking> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/operatingSystem>	<http://caligraph.org/resource/MacOS> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/National_University_of_Singapore> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/operatingSystem>	<http://caligraph.org/resource/Linux> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/language>	<http://caligraph.org/resource/Simplified_Chinese_characters> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Model_checking_tool> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/language>	<http://caligraph.org/resource/Vietnamese_language> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/2004/02/skos/core#altLabel>	"PAT" .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/operatingSystem>	<http://caligraph.org/resource/Microsoft_Windows> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/computingPlatform>	<http://caligraph.org/resource/.NET_Framework> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/language>	<http://caligraph.org/resource/Traditional_Chinese_characters> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_software> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/language>	<http://caligraph.org/resource/English_language> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/language>	<http://caligraph.org/resource/German_language> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Formal_methods> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/operatingSystem>	<http://caligraph.org/resource/Unix> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/2000/01/rdf-schema#label>	"PAT (model checker)" .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/latestReleaseDate>	"2013-08-13" .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/latestReleaseVersion>	"3.5.1" .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Software> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/PAT_(model_checker)> .
<http://caligraph.org/resource/PAT_(model_checker)>	<http://caligraph.org/ontology/genre>	<http://caligraph.org/resource/Model_checking> .