Inventory: G

The rows of the inventory whose names start with G. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 4301–4385 of 4385.

Name	Id	Kind	Outcome	Sources
GZ7G2PFC2T	GZ7G2PFC2T	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.01737#3LPT
GZ7H3QHEKC	GZ7H3QHEKC	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.07530#T4ID
GZ87A30QB5	GZ87A30QB5	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 2112.14455#XQ9G
GZADK1BETY	GZADK1BETY	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.06556#A0SL
GZATTF857B	GZATTF857B	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.19214#SA8N
GZAVENK15E	GZAVENK15E	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.08753#8YGR
GZB7FVJ6KR	GZB7FVJ6KR	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.18632#M8VV
GZBHDE7FHH	GZBHDE7FHH	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.34813#ABFQ
GZBNRA9B7F	GZBNRA9B7F	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.27689#20V4
GZBYFG6NJR	GZBYFG6NJR	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.25080#AQ48
GZCJC6CA86	GZCJC6CA86	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.32475#G51P
GZCVP338XM	GZCVP338XM	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.28143#XVBJ
GZCYPK08QK	GZCYPK08QK	problem	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.26129#IEK5
GZDPKN8MZH	GZDPKN8MZH	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 2610.17258#0NPA
GZDWY8R60E	GZDWY8R60E	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.00105#N74G
GZF4XF9H81	GZF4XF9H81	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.14045#I9OX
GZF4XXD028	GZF4XXD028	proof	open	open_logic content/lambda-calculus/introduction/computable-lambda.tex#proof-1
GZF7HST18S	GZF7HST18S	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.38556#S6U2
GZFG2H8YXM	GZFG2H8YXM	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.24353#JZQS
GZFGGGKWQF	GZFGGGKWQF	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.07490#QPH0
GZFSWYTS8M	GZFSWYTS8M	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.36204#65ZH
GZGFW8XYFR	GZGFW8XYFR	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.24448#ITN0
GZH0M4H26Z	GZH0M4H26Z	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.27078#AG52
GZH2FYV610	GZH2FYV610	problem	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.31274#RR8F
GZHQDA5S9D	GZHQDA5S9D	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.15352#DTCE
GZHZ5WTYZ6	GZHZ5WTYZ6	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.40017#WV91
GZJ5QFVW4X	GZJ5QFVW4X	example	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 2412.14956#186C
GZK08PXH9N	GZK08PXH9N	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.07485#LP61
GZKCFWA7ZS	GZKCFWA7ZS	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.19208#BEXH
GZKVRJ282B	GZKVRJ282B	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.12295#807P
GZM5C9JBBB	GZM5C9JBBB	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.27524#L4L7
GZMT5G414J	GZMT5G414J	exercise	open	lebl_ra ch-seq-ser.tex#exercise-39
GZN014263Z	GZN014263Z	unknown	open	arXiv 2609.33124#6G02
GZNCM444GF	GZNCM444GF	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.33162#KX8L
GZPMNZDETR	GZPMNZDETR	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 2608.24190#GZEF
GZPPS0WCQP	GZPPS0WCQP	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.03337#EWQ3
GZPQHYPNA5	GZPQHYPNA5	example	open	open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#ex-2
GZQ0Q0YHDT	GZQ0Q0YHDT	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 1011.4651#SWKZ
GZQ9V7DHNM	GZQ9V7DHNM	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 2505.05539#M1MR
GZQHTXXVV1	GZQHTXXVV1	statement	open	open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#prop:semanticalfacts
GZRA31E9PC	GZRA31E9PC	exercise	open	lebl_scv scv.tex#exercise-290
GZRPK77QY9	GZRPK77QY9	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.32599#8PNR
GZRXRPV0JF	GZRXRPV0JF	exercise	open	napkin tex/set-theory/forcing.tex#exercise-1
GZS9Q47BMF	GZS9Q47BMF	exercise	open	levin_dmoi ptx/exercises/intro-statements.ptx#exercise-19
GZSCK2X7KF	GZSCK2X7KF	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 2609.37815#S0A9
GZSFE108A5	GZSFE108A5	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.19853#Z6L0
GZSMSRSVZ1	GZSMSRSVZ1	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.38742#JUK1
GZTCYHKRSZ	GZTCYHKRSZ	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 2207.07461#QB7W
GZTDSQX0C1	GZTDSQX0C1	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.15316#TG42
GZTR31TJ4X	GZTR31TJ4X	definition	open	lebl_scv scv.tex#defn-28
GZTV3G858N	GZTV3G858N	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.40138#6WRF
GZVBVEDQTK	GZVBVEDQTK	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.39951#1DQO
GZWK575Z6E	GZWK575Z6E	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.18016#3C4U
GZWRBJGY5Y	GZWRBJGY5Y	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.08935#Y3KP
GZX9M09B4E	GZX9M09B4E	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.35340#GPG7
GZXCA3JFHB	GZXCA3JFHB	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.24412#6NYB
GZXGQC8DX2	GZXGQC8DX2	proof	open	applied_combinatorics source/s_graphs_color.ptx#proof-4
GZXKG68GJ6	GZXKG68GJ6	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.05396#840W
GZY6NXPG88	GZY6NXPG88	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.30049#SPGS
GZYAEGATC7	GZYAEGATC7	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.21921#9QK6
GZYAGX38AS	GZYAGX38AS	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.09171#D8LU
GZZ6J7WSV6	GZZ6J7WSV6	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.26169#F5YM
GZZK8JY3SS	GZZK8JY3SS	problem	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.36411#T3GW
GZZX1TR4S0	GZZX1TR4S0	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.33377#YWOC
GZZYHTSMGY	GZZYHTSMGY	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 2609.29205#1EPY
G{\aa}rding inequality	6AZNQ8YH49	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.32561#0CAK
Gábor Szegő	GG0YC0D3HS	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q215974, ProofWiki Mathematician:Gábor_Szegő
Gâteaux differentiability	DA73ZPNH7C	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 2609.27484#O18H
Gérard Huet	62FS3QGSRK	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q974366, nLab Gérard Huet
Gérard Laumon	G88536Q1J1	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1482970, nLab Gérard Laumon
Gödel numbering	4FQCKQPF76	concept	open	Wikidata Q1451046, nLab Gödel numbering
Gödel's completeness theorem	GSZ1PXZ9DT	statement	open	mathlib_1000 Q902052, Wikidata Q902052, thousand_plus Q902052, Wikipedia Gödel's completeness theorem, MathWorld GoedelsCompletenessTheorem
Gödel's Diagonal Lemma	R99R84FYTQ	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.24795#YBT8
Gödel's incompleteness theorem	RBNJ7HC6VK	statement	open	mathlib_1000 Q200787, Wikidata Q200787, thousand_plus Q200787, Wikipedia Gödel's incompleteness theorem
Gödel's second incompleteness theorem	BNQ82A4XGA	statement	open	Wikidata Q1031460, MathWorld GoedelsSecondIncompletenessTheorem
Gödelization	F3Y9MJ7741	unknown	open	Wikidata Q77839244, EoM Gödelization
Gödel’s Incompleteness Theorem	BWYTA2YZSJ	statement	open	mathlib_100 6
gömböc	Z2DC3FKY7H	unknown	open	Wikidata Q1031518, MathWorld Gomboc
Göttsche--Kool	613J451PZQ	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 2610.03874#PZ8B
Günter Hotz	EZDEZMAMAE	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q76308, nLab Günter Hotz
Günter Scharf	3XJ6811B84	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q94857545, nLab Günter Scharf
Günter Tamme	PXFKPT5761	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1561125, nLab Günter Tamme
Günther Trautmann	Q9EYJ5ZCFV	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q15434005, nLab Günther Trautmann
Gδ set	49CK298ZPV	definition	open	Wikidata Q127244, MathWorld G-DeltaSet, ProofWiki Definition:G-Delta_Set
G₂ manifold	BEEQRPDEPD	unknown	open	Wikidata Q5512692, nLab G2 manifold