Wikidata tag queue

Pending @[wikidata] tags for the next Mathlib batch. updated 2026-08-10T11:18:13.399Z

Bulk add database connectionsUse it to add provenance-carrying Brain edges from a spreadsheet or TSV.

Recycled — needs a retarget 6

↻ recycled Q269878 big O notation →
from Q752718priority review-feedbacksource recycled-review
↳ retarget: I don't think this is the appropriate Wikidata tag. Asymptotic Analysis is a field of math, we want the entry specifically for "Big O"
Reviewer recycle plus triage retarget
↻ recycled Q605807 Erdős–Rényi model →
from Q910404priority review-feedbacksource recycled-review
↳ retarget: "Random graph" is too broad. We should instead tag with Q605807 (Erdős–Rényi model) since this is the `G(V,p)` model described by `binomialRandom`. See: https://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%
Reviewer recycle plus triage retarget
↻ recycled Q355020 probability measure →
from Q623472priority review-feedbacksource recycled-review
↳ retarget: Instead tag probability measure (Q355020)
Reviewer recycle plus triage retarget
↻ recycled Q889019 Bochner integral →
from Q200125priority review-feedbacksource recycled-review
↳ retarget: Retarget to Bochner integral (Q889019)
Reviewer recycle plus triage retarget
↻ recycled Q131350632 first-order language →
from Q4055684priority review-feedbacksource recycled-review
↳ retarget: Retarget to `first-order language (Q131350632)`
Reviewer recycle plus triage retarget
↻ recycled Q565186 Hausdorff dimension →
from Q1412452priority review-feedbacksource recycled-review
↳ retarget: Retarget to `Hausdorff dimension (Q565186)`
Reviewer recycle plus triage retarget

Unreviewed candidates 20

◷ unreviewed Q40276 multiplication → Mul
centrality 99.05brain rank 7priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 99.05)
◷ unreviewed Q32043 addition → AddCommMonoid
centrality 98.98brain rank 8priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 98.98)
◷ unreviewed Q179899 topological space → TopologicalSpace
centrality 98.55brain rank 9priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 98.55)
◷ unreviewed Q18848 module → Module
centrality 98.40brain rank 10priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 98.40)
◷ unreviewed Q13471665 vector → Module
centrality 97.89brain rank 11priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 97.89)
◷ unreviewed Q199 1 → MulOneClass
centrality 97.82brain rank 12priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 97.82)
◷ unreviewed Q956437 norm → Norm
centrality 97.67brain rank 13priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 97.67)
◷ unreviewed Q3352804 set-builder notation → setOf
centrality 97.24brain rank 14priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 97.24)
◷ unreviewed Q901718 product → Monoid
centrality 97.16brain rank 15priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 97.16)
◷ unreviewed Q1226939 division → DivInvMonoid
centrality 97.09brain rank 16priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 97.09)
◷ unreviewed Q1361825 axiom schema of replacement → ZFSet.image
centrality 96.87brain rank 17priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.87)
◷ unreviewed Q165474 commutative property → CommMagma
centrality 96.80brain rank 18priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.80)
◷ unreviewed Q1806121 range of a function → Set.range
centrality 96.73brain rank 19priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.73)
◷ unreviewed Q1057968 finite group → FiniteGrp
centrality 96.65brain rank 20priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.65)
◷ unreviewed Q190109 field → Field
centrality 96.58brain rank 21priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.58)
◷ unreviewed Q208237 monoid → Monoid
centrality 96.36brain rank 22priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.36)
◷ unreviewed Q217357 sigma-algebra → MeasurableSpace
centrality 96.29brain rank 23priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.29)
◷ unreviewed Q126736 scalar multiplication → Module
centrality 96.15brain rank 24priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.15)
◷ unreviewed Q1289248 scalar → Module
centrality 96.15brain rank 25priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.15)
◷ unreviewed Q176623 random variable → Measurable
centrality 96.07brain rank 26priority brainprovenance aisource catalog-pool
Brain/control-plane priority (centrality 96.07)