<http://www.wikidata.org/entity/statement/Q58311677-6BEFDE13-3794-4FEC-A302-02085EA8ECB0>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://www.wikidata.org/reference/d88fbec0cac4521f90a250c57f1a64d2343d70bf> .
<http://www.wikidata.org/entity/statement/Q58311677-6BEFDE13-3794-4FEC-A302-02085EA8ECB0>	<http://www.wikidata.org/prop/statement/value-normalized/P8978>	<https://dblp.org/rec/journals/jodl/HolzmannTR15> .
<http://www.wikidata.org/entity/statement/Q58311677-6BEFDE13-3794-4FEC-A302-02085EA8ECB0>	<http://www.wikidata.org/prop/statement/P8978>	"journals/jodl/HolzmannTR15" .
<http://www.wikidata.org/entity/statement/Q58311677-6BEFDE13-3794-4FEC-A302-02085EA8ECB0>	<http://wikiba.se/ontology#rank>	<http://wikiba.se/ontology#NormalRank> .
<http://www.wikidata.org/entity/statement/Q58311677-6BEFDE13-3794-4FEC-A302-02085EA8ECB0>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#BestRank> .
<http://www.wikidata.org/entity/statement/Q58311677-6BEFDE13-3794-4FEC-A302-02085EA8ECB0>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#Statement> .