@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wikibase: <http://wikiba.se/ontology#> .

wds:Q1137814-b9bcb2bb-4547-e6b2-28b6-d04830d3dab7 a wikibase:BestRank ;
    wikibase:rank wikibase:NormalRank ;
    ps:P1482 <https://proofassistants.stackexchange.com/tags/constructive> .