_:b400874850	<http://ns.inria.fr/wasabi/ontology/tag_count>	"75"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:b400874850	<http://www.w3.org/2000/01/rdf-schema#label>	"mathcore" .