| GRB22STEQ0 | GRB22STEQ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27200#SPUM |
| GRBP70YG7J | GRBP70YG7J | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#thm:cr |
| GRBY00JR5C | GRBY00JR5C | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05459#096G |
| GRCVK63QTN | GRCVK63QTN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11395#6DE1 |
| GRD0KN4223 | GRD0KN4223 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#AYVP |
| GRD6177YGH | GRD6177YGH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18371#O6MZ |
| GRDXBAZSA4 | GRDXBAZSA4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#WOII |
| great circle | VMA5PARJ8J | definition | open | Wikidata Q146657, MathWorld GreatCircle, ProofWiki Definition:Great_Circle |
| great complex icosidodecahedron | RKR1WBN1ZV | object | open | Wikidata Q5600336, MathWorld GreatComplexIcosidodecahedron |
| great cubicuboctahedron | PG3AZV96VA | unknown | open | Wikidata Q3101020, MathWorld GreatCubicuboctahedron |
| Great deltoidal hexecontahedron | KXV3NN01W8 | unknown | open | Wikidata Q5600337, MathWorld GreatDeltoidalHexecontahedron |
| great deltoidal icositetrahedron | QJNYF7BQZ5 | unknown | open | Wikidata Q5600338, MathWorld GreatDeltoidalIcositetrahedron |
| great dirhombicosidodecacron | F49JTK1AY9 | unknown | open | Wikidata Q5600341, MathWorld GreatDirhombicosidodecacron |
| great dirhombicosidodecahedron | N1AA7F7KB2 | unknown | open | Wikidata Q3101015, MathWorld GreatDirhombicosidodecahedron |
| great disdyakis dodecahedron | 8RD7H0ASTJ | unknown | open | Wikidata Q5600342, MathWorld GreatDisdyakisDodecahedron |
| Great disdyakis triacontahedron | 68H9B9CPQ4 | concept | open | Wikidata Q5600343, MathWorld GreatDisdyakisTriacontahedron |
| great ditrigonal dodecacronic hexecontahedron | A6YFNNPT3D | unknown | open | Wikidata Q5600346, MathWorld GreatDitrigonalDodecacronicHexecontahedron |
| great dodecacronic hexecontahedron | M7G4BVC7EZ | unknown | open | Wikidata Q5600348, MathWorld GreatDodecacronicHexecontahedron |
| great dodecahedron | 82T8GPXE81 | object | open | Wikidata Q1549165, MathWorld GreatDodecahedron |
| great dodecahemicosahedron | 1QSCS49PRR | unknown | open | Wikidata Q2717676, MathWorld GreatDodecahemicosahedron |
| great dodecahemidodecacron | 7431BRMNJP | unknown | open | Wikidata Q5600349, MathWorld GreatDodecahemidodecacron |
| great dodecahemidodecahedron | 4PV6QDYK5F | unknown | open | Wikidata Q2718501, MathWorld GreatDodecahemidodecahedron |
| great dodecicosacron | YZ6T7TVK7Y | unknown | open | Wikidata Q5600350, MathWorld GreatDodecicosacron |
| great dodecicosahedron | 65GRBD03CR | object | open | Wikidata Q2718522, MathWorld GreatDodecicosahedron |
| great dodecicosidodecahedron | HSC3E6VK7F | unknown | open | Wikidata Q2718490, MathWorld GreatDodecicosidodecahedron |
| Great hexacronic icositetrahedron | HK4S5KSF50 | unknown | open | Wikidata Q5600361, MathWorld GreatHexacronicIcositetrahedron |
| great hexagonal hexecontahedron | 7EFQF0TEFG | unknown | open | Wikidata Q5600364, MathWorld GreatHexagonalHexecontahedron |
| great icosacronic hexecontahedron | PZVWMA4W8T | unknown | open | Wikidata Q5600365, MathWorld GreatIcosacronicHexecontahedron |
| great icosahedron | B1JHFGJTEA | unknown | open | Wikidata Q769556, MathWorld GreatIcosahedron |
| great icosidodecahedron | BYJ6S68TRD | unknown | open | Wikidata Q3101027, MathWorld GreatIcosidodecahedron |
| great icosihemidodecacron | XHZSNKNFBE | unknown | open | Wikidata Q5600367, MathWorld GreatIcosihemidodecacron |
| great icosihemidodecahedron | 6MHJ59XSDA | unknown | open | Wikidata Q2718509, MathWorld GreatIcosihemidodecahedron |
| Great inverted pentagonal hexecontahedron | EHZA40S6WG | unknown | open | Wikidata Q5600368, MathWorld GreatInvertedPentagonalHexecontahedron |
| Great orthogonality theorem | B1ZDS7W37S | statement | open | mathlib_1000 Q7433034, Wikidata Q7433034, thousand_plus Q7433034, Wikipedia Great orthogonality theorem |
| great pentagonal hexecontahedron | ZZKVX4GKGC | unknown | open | Wikidata Q5600372, MathWorld GreatPentagonalHexecontahedron |
| great pentagrammic hexecontahedron | PDH7A2PJSM | unknown | open | Wikidata Q5600371, MathWorld GreatPentagrammicHexecontahedron |
| great pentakis dodecahedron | RKGAWH92GJ | unknown | open | Wikidata Q5600374, MathWorld GreatPentakisDodecahedron |
| great retrosnub icosidodecahedron | EYZXZQM18T | unknown | open | Wikidata Q150404, MathWorld GreatRetrosnubIcosidodecahedron |
| great rhombic triacontahedron | B4VF1N8QAE | object | open | Wikidata Q18048486, MathWorld GreatRhombicTriacontahedron |
| great rhombicosidodecahedral graph | GHF550KBRY | unknown | open | Wikidata Q3115578, House of Graphs 1122, MathWorld GreatRhombicosidodecahedralGraph |
| great rhombicuboctahedral graph | KCVZFKCGT9 | unknown | open | Wikidata Q3115467, House of Graphs 1124, MathWorld GreatRhombicuboctahedralGraph |
| great rhombidodecacron | 9CRSCBRKTW | unknown | open | Wikidata Q5600384, MathWorld GreatRhombidodecacron |
| great rhombidodecahedron | BC87MTV2VM | unknown | open | Wikidata Q47691, MathWorld GreatRhombidodecahedron |
| great rhombihexahedron | FW05ED0KF7 | unknown | open | Wikidata Q47688, MathWorld GreatRhombihexahedron |
| great snub dodecicosidodecahedron | FKJVMKA6B3 | unknown | open | Wikidata Q47689, MathWorld GreatSnubDodecicosidodecahedron |
| great snub icosidodecahedron | 8KEGHBT4XF | unknown | open | Wikidata Q41961, MathWorld GreatSnubIcosidodecahedron |
| Great stellapentakis dodecahedron | Z6KTB30EAZ | unknown | open | Wikidata Q5600392, MathWorld GreatStellapentakisDodecahedron |
| great stellated dodecahedron | WDA8BM1XWW | object | open | Wikidata Q1658162, MathWorld GreatStellatedDodecahedron, ProofWiki Definition:Great_Stellated_Dodecahedron |
| great stellated truncated dodecahedron | AM69YN13SS | unknown | open | Wikidata Q41959, MathWorld GreatStellatedTruncatedDodecahedron |
| great triakis icosahedron | T3R4SP9MY7 | unknown | open | Wikidata Q5600403, MathWorld GreatTriakisIcosahedron |
| great triambic icosahedron | 15CC82KQBF | unknown | open | Wikidata Q5600405, MathWorld GreatTriambicIcosahedron |
| great truncated cuboctahedron | PBRDP48VBR | unknown | open | Wikidata Q34289, MathWorld GreatTruncatedCuboctahedron |
| great truncated icosidodecahedron | 4PYY8BFFJT | unknown | open | Wikidata Q34288, MathWorld GreatTruncatedIcosidodecahedron |
| Great Year | 2273GD4T97 | definition | open | Wikidata Q10862179, ProofWiki Definition:Time/Unit/Great_Year_of_Plato |
| great-circle distance | TDY6DHKSTV | unknown | open | Wikidata Q912925, MathWorld SphericalDistance |
| greater than | 4BDP39AN6S | unknown | open | Wikidata Q47035128, MathWorld Greater |
| greatest common divisor | 1GTV8EEKAX | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q131752, EoM Greatest_common_divisor, MathWorld GreatestCommonDivisor, nLab greatest common divisor |
| greatest common divisor | YYYEV3948T | unknown | open | mathlib_overview General algebra > Divisibility in integral domains > greatest common divisor, Mathlib GCDMonoid.gcd, mathlib_undergrad Ring Theory > Divisibility in integral domains > greatest common divisor |
| Greatest Common Divisor Algorithm | KNR7XCFKVX | statement | open | mathlib_100 69, Mathlib EuclideanDomain.gcd, Mathlib EuclideanDomain.gcd_dvd, Mathlib EuclideanDomain.dvd_gcd |
| greatest common divisor, Euler $\phi$ function | KZF77BDXCD | concept | open | applied_combinatorics index/7.5/greatest-common-divisor-euler-phi-function |
| greatest commond divisor | G1XWVMT61Z | concept | open | levin_dmoi index/6.2.3/greatest-commond-divisor |
| greatest dividing exponent | 4Y85ND020B | unknown | open | Wikidata Q141280198, MathWorld GreatestDividingExponent |
| Greatest full-data private releases | 3SYYXDEYPQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#I39E |
| Greatest full-data private releases | KSSPSNX3HE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#RST8 |
| Greatest private experiment and posterior simplex | SXC8YBFPVX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#R4EC |
| Greece | KN6Q23EQVG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q41, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Greece |
| Greedy aggregate-support guarantee | MGA9HT8EBS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31535#ZD4I |
| greedy algorithm | CEE7KMK3VV | definition | open | Wikidata Q504353, MathWorld GreedyAlgorithm, ProofWiki Definition:Greedy_Algorithm |
| Greedy completion | DPWWTK6JBZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30315#KCAC |
| Greedy tag codes | 8W8WAKW6KV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15631#8GN9 |
| Greedy tree | WHGRAHJXCY | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.03909#O2RA |
| Greek alphabet | BRSHWX1169 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q8216, ProofWiki Symbols:Greek_Alphabet |
| Greek alphabetic numerals | CYY0ENS9W7 | definition | open | Wikidata Q108645, MathWorld GreekNumerals, ProofWiki Definition:Greek_Numerals |
| Greek constructions | DZ0DV6R4WF | exercise | open | napkin tex/alg-NT/galois.tex#problem-2 |
| Greek cross | A5K4BAY27F | unknown | open | Wikidata Q612908, MathWorld GreekCross |
| Green | ATN20A70K6 | statement | open | lebl_ra ch-multivar-int.tex#thm-2 |
| Green energy of the Chebyshev fiber | 3ZNV2MJENZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05164#V3AQ |
| Green factorization | G076S6VFRV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05164#E1GM |
| Green function of the no-flux problem | Q6R5VZJH8S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32585#TSQP |
| Green function of the no-flux problem in $\Omega$ | 7064XNG1BT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32585#DIA5 |
| Green function, reversal, normalized columns | YD8XY8GKM7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13063#ELL6 |
| Green identities | 4ZC5AV0FE2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25762#GJ8P |
| Green inverse of the normal operator | C2GAXS486B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14906#2F5K |
| Green kernel of $(\Am+1)^{-1}$ | Z35B6R9SEY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35030#5ZDD |
| Green's function | GG7CAPAZ0R | concept | open | Wikidata Q378435, MathWorld GreensFunction |
| Green's Gaussian product-space problem | E7PP9A4HNT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#MXBB |
| Green's identities | PH9V8QMFNB | unknown | open | Wikidata Q1544810, MathWorld GreensIdentities |
| Green's theorem | 3J8T5B9J6S | exercise | open | napkin tex/diffgeo/stokes.tex#sec:green_theorem |
| Green's theorem | AVRRHHW677 | concept | open | lebl_ra index/5.6/green-s-theorem |
| Green's theorem | JCSBQ6PRHM | concept | open | lebl_scv index/B/green-s-theorem |
| Green's theorem | X8496MFBVC | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q321237, Wikidata Q321237, thousand_plus Q321237, Wikipedia Green's theorem, MathWorld GreensTheorem |
| Green's theorem | Z7S106HVVB | statement | open | lebl_scv scv.tex#thm:greens |
| Green, Snashall, Solberg | FS2GYP2HQY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17070#BCX3 |
| Green-bounded | T92EAVCQAY | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19285#9CWG |
| Greenberg's conjecture | XECT21PE3Z | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40282#RIO1 |
| Greenberg--Vatsal, Castella--Grossi--Skinner, Keller--Yin | A8P3P3GHVV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40282#WC3Z |
| Green–Schwarz mechanism | TR74B4QT4P | unknown | open | Wikidata Q5605123, nLab Green-Schwarz mechanism |
| Green–Tao theorem | K0YG6QFSKB | statement | open | mathlib_1000 Q922012, Wikidata Q922012, thousand_plus Q922012, Wikipedia Green–Tao theorem, MathWorld Green-TaoTheorem |
| Green’s Theorem | 1PGA8AR8WH | statement | open | mathlib_100 21 |
| Greg Kuperberg | 1FCX0WNTFV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1444047, nLab Greg Kuperberg |