LMFDB tag queue

Pending @[lmfdb] tags for the next Mathlib batch. updated 2026-07-08T16:05:25.768Z

Bulk add database connectionsRows containing LMFDB + Mathlib also enter this review queue.

Brain-suggested formalizes edges 5

◇ Brain ring Ring (mathematics) → Ring
concept Q161172centrality 99.20priority brainprovenance wikidata-p12987+mathlib-source-wikidatasource brain-lmfdb-xrefconfidence highBrain Q161172
LMFDB knowl from Wikidata P12987 joined to a human-added Mathlib @[wikidata] tag
◇ Brain group Group (mathematics) → Group
concept Q83478centrality 96.95priority brainprovenance wikidata-p12987+mathlib-source-wikidatasource brain-lmfdb-xrefconfidence highBrain Q83478
LMFDB knowl from Wikidata P12987 joined to a human-added Mathlib @[wikidata] tag
◇ Brain group.abelian Abelian group → CommGroup
concept Q181296centrality 94.91priority brainprovenance wikidata-p12987+mathlib-source-wikidatasource brain-lmfdb-xrefconfidence highBrain Q181296
LMFDB knowl from Wikidata P12987 joined to a human-added Mathlib @[wikidata] tag
◇ Brain group.cyclic Cyclic group → IsCyclic
concept Q245462centrality 56.36priority brainprovenance wikidata-p12987+mathlib-source-wikidatasource brain-lmfdb-xrefconfidence highBrain Q245462
LMFDB knowl from Wikidata P12987 joined to a human-added Mathlib @[wikidata] tag
◇ Brain group.solvable Solvable group → IsSolvable
concept Q759832centrality 0.00priority brainprovenance wikidata-p12987+mathlib-source-wikidatasource brain-lmfdb-xrefconfidence highBrain Q759832
LMFDB knowl from Wikidata P12987 joined to a human-added Mathlib @[wikidata] tag