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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 4401–4500 of 4504.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| GZ2EYN9PTZ | GZ2EYN9PTZ | 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.24580#TRDV |
| GZ2VGZXQBS | GZ2VGZXQBS | 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 2511.15212#71TG |
| GZ3K7R2R05 | GZ3K7R2R05 | 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.06541#ESB2 |
| GZ4DARPVME | GZ4DARPVME | 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.27628#0B7E |
| GZ4PE21WH3 | GZ4PE21WH3 | proof | open | hott_book equivalences.tex#proof-27 |
| GZ4YBBCNXH | GZ4YBBCNXH | statement | open | napkin tex/measure/pontryagin.tex#lemma-1 |
| GZ4YGGFG5H | GZ4YGGFG5H | 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.10474#EH3K |
| GZ4Z6S0H2Z | GZ4Z6S0H2Z | 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.01924#G5VJ |
| GZ57PFB5FT | GZ57PFB5FT | 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.26450#89OY |
| GZ59EH44KD | GZ59EH44KD | 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 math/0507030#ZWQN |
| GZ5EAP0XC9 | GZ5EAP0XC9 | 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.04179#K8EW |
| GZ62BRD4J1 | GZ62BRD4J1 | 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.10365#5PJQ |
| GZ6ECWWDGB | GZ6ECWWDGB | 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.37704#VE6I |
| GZ6HWY0H8B | GZ6HWY0H8B | 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.38793#2J21 |
| GZ7CBTGQB8 | GZ7CBTGQB8 | exercise | open | austin_ula src/exercises/exercises5-1.xml#exercise-8 |
| 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 |
| GZDM7J9NJ6 | GZDM7J9NJ6 | 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.23544#PKMU |
| 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 |
| GZJZDBGP1Y | GZJZDBGP1Y | 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.21931#XFCP |
| 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 |
| GZKM9PW2KV | GZKM9PW2KV | 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.23004#7QSN |
| 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 elliptic operator | YDFZ4W8DWZ | 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.24078#Z6Z6 |
| 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 |