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