<http://www.wikidata.org/entity/statement/Q58831036-363EE16C-893A-4C18-8EE9-79BFF4B77C96>	<http://www.wikidata.org/prop/statement/P1476>	"A logic programming system for nonmonotonic reasoning"@en .
<http://www.wikidata.org/entity/statement/Q58831036-363EE16C-893A-4C18-8EE9-79BFF4B77C96>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#Statement> .
<http://www.wikidata.org/entity/statement/Q58831036-363EE16C-893A-4C18-8EE9-79BFF4B77C96>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#BestRank> .
<http://www.wikidata.org/entity/statement/Q58831036-363EE16C-893A-4C18-8EE9-79BFF4B77C96>	<http://wikiba.se/ontology#rank>	<http://wikiba.se/ontology#NormalRank> .