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 601–700 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| G6CZJNKH0G | G6CZJNKH0G | 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.25038#8SAK |
| G6CZXQ1WDR | G6CZXQ1WDR | 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 2403.08723#04WW |
| G6DG4YYCD6 | G6DG4YYCD6 | 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.10325#VNV8 |
| G6DX2X31YX | G6DX2X31YX | 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 2603.28861#H8MQ |
| G6DZKKRVNF | G6DZKKRVNF | 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.10406#R8TF |
| G6E3YHD3HC | G6E3YHD3HC | 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.10860#M9JI |
| G6E9SPV6K7 | G6E9SPV6K7 | 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.19449#W4SU |
| G6E9XCX88T | G6E9XCX88T | 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 2610.15444#AIOV |
| G6EZXHMKHK | G6EZXHMKHK | 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.04694#ZCXW |
| G6FWAD7V77 | G6FWAD7V77 | 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.09354#EPJT |
| G6GTSR9SPV | G6GTSR9SPV | 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.15771#9L1B |
| G6J68H88ES | G6J68H88ES | 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.39465#KJM4 |
| G6JVJR2SSC | G6JVJR2SSC | 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 2308.09645#GZG0 |
| G6K798DFDE | G6K798DFDE | exercise | open | austin_ula src/exercises/exercises4-5.xml#exercise-7 |
| G6KCZFDJSS | G6KCZFDJSS | 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.10469#6OTA |
| G6KK4QHHAR | G6KK4QHHAR | 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.27360#VH5T |
| G6MGP8G9HY | G6MGP8G9HY | exercise | open | open_logic content/proof-theory/cut-elimination/midsequent.tex#prob-1 |
| G6MXK092Q9 | G6MXK092Q9 | 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.13670#862H |
| G6MXM63VE7 | G6MXM63VE7 | 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.02158#2AEL |
| G6NCMFK5F0 | G6NCMFK5F0 | exercise | open | lebl_scv scv.tex#exercise-57 |
| G6NM6BE6SE | G6NM6BE6SE | 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 2401.07983#46QW |
| G6P2VSFX1X | G6P2VSFX1X | 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 2609.36884#BJVD |
| G6PC61C8JE | G6PC61C8JE | 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.21255#YD2K |
| G6PRYF1WPX | G6PRYF1WPX | definition | open | open_logic content/incompleteness/introduction/definitions.tex#defn-5 |
| G6QBHYZTWC | G6QBHYZTWC | 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 2609.32358#XMZH |
| G6QGA64X4K | G6QGA64X4K | 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 1905.00573#EALZ |
| G6RBEFZEQP | G6RBEFZEQP | proof | open | open_logic content/set-theory/choice/wellorderingproblem.tex#proof-1 |
| G6RMBN1PGG | G6RMBN1PGG | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#prob:divides |
| G6SMS1NAWG | G6SMS1NAWG | 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.18016#0WTK |
| G6SX5FDX5F | G6SX5FDX5F | example | open | active_calculus source/sec-6-1-area.xml#example-1 |
| G6T93SSBSB | G6T93SSBSB | 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.26600#FVC5 |
| G6V5PS3PRA | G6V5PS3PRA | 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 2405.13323#H7DK |
| G6VD0W3DSK | G6VD0W3DSK | 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 2609.33015#DXAG |
| G6VVER4CD5 | G6VVER4CD5 | 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.01467#5YY0 |
| G6WMRTR67W | G6WMRTR67W | 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 2507.13548#Q1LM |
| G6X3GJQD44 | G6X3GJQD44 | 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.02790#1U45 |
| G6X6DS5EM4 | G6X6DS5EM4 | 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.03081#EG7W |
| G6Y2Q2A093 | G6Y2Q2A093 | 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.20110#NU1L |
| G6YA8H478J | G6YA8H478J | proof | open | hott_book reals.tex#proof-27 |
| G6YVGQ6FEJ | G6YVGQ6FEJ | 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 2406.19866#8IQ5 |
| G6ZAK7DEV3 | G6ZAK7DEV3 | 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 2308.08081#7Y4F |
| G6ZQ9X3BF5 | G6ZQ9X3BF5 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-37 |
| G6ZZATJBPG | G6ZZATJBPG | 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.24542#0ZXA |
| G70CP57T2E | G70CP57T2E | 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.16834#PV8H |
| G70EQK0AJS | G70EQK0AJS | definition | open | hott_book homotopy.tex#defn-5 |
| G70WAXC6AS | G70WAXC6AS | 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 2411.16655#1OPI |
| G71MXD6ABE | G71MXD6ABE | 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.09949#WQT2 |
| G71NJMTR6F | G71NJMTR6F | 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.15700#JCQA |
| G724F1MTJ9 | G724F1MTJ9 | 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.10221#95JY |
| G72A412Y9D | G72A412Y9D | unknown | open | arXiv 1804.05688#JYQ0 |
| G72FGH35FA | G72FGH35FA | 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 2404.14312#GVVI |
| G72ZE0VHZJ | G72ZE0VHZJ | 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.03851#8K9H |
| G73PNHAQHJ | G73PNHAQHJ | 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.18618#3DW7 |
| G73QD6G7GJ | G73QD6G7GJ | 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.24465#ASVJ |
| G73XPBA2NW | G73XPBA2NW | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-9 |
| G74AK5K2M8 | G74AK5K2M8 | 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.39293#SRMB |
| G752PS9QFZ | G752PS9QFZ | 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 2610.16010#FLSD |
| G75779W6BV | G75779W6BV | 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.19132#9ZL0 |
| G75AEE75MY | G75AEE75MY | 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.15472#1C6T |
| G75G50CF1B | G75G50CF1B | 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 2412.12141#5XR5 |
| G75NV57B6R | G75NV57B6R | 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.33552#QNFB |
| G760AYM6SR | G760AYM6SR | 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 2208.05276#D9BT |
| G76BS53H82 | G76BS53H82 | exercise | open | lebl_ra ch-contfunc.tex#exercise-9 |
| G76E7RGBZD | G76E7RGBZD | 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.26948#G0CE |
| G76JS5N3Q5 | G76JS5N3Q5 | 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 2608.24190#92KX |
| G76WF86AP7 | G76WF86AP7 | 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.02506#IN2I |
| G777KS6CVM | G777KS6CVM | proof | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-7 |
| G777N7EKHZ | G777N7EKHZ | 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.29759#PR7S |
| G77T5Y12PQ | G77T5Y12PQ | 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.26600#O2RS |
| G77XHW3Q73 | G77XHW3Q73 | 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.25289#B38I |
| G78E361P2J | G78E361P2J | unknown | open | arXiv 2106.06387#GV67 |
| G7970XR734 | G7970XR734 | 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.03756#YHJ0 |
| G79TZC5QW7 | G79TZC5QW7 | 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.37520#0TTF |
| G7AH2XNBV5 | G7AH2XNBV5 | 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.34845#ZSIQ |
| G7AM9BD9SX | G7AM9BD9SX | 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.29326#1UH7 |
| G7B9FS35V0 | G7B9FS35V0 | 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.08594#J9CW |
| G7BERKP1TD | G7BERKP1TD | 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.00312#CKT5 |
| G7BGYW67QQ | G7BGYW67QQ | 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.32916#P4HF |
| G7BHHWGX76 | G7BHHWGX76 | exercise | open | napkin tex/topology/compactness.tex#problem-5 |
| G7BYXVTNTF | G7BYXVTNTF | 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.12983#2RZI |
| G7BZW3R4AY | G7BZW3R4AY | statement | open | napkin tex/measure/pontryagin.tex#theorem-2 |
| G7CAJW50J6 | G7CAJW50J6 | 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.08382#3EVG |
| G7CGRMPTZ5 | G7CGRMPTZ5 | 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.24465#X9FZ |
| G7CJD4B890 | G7CJD4B890 | 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 2504.14383#I1L8 |
| G7CPXCMC8Y | G7CPXCMC8Y | 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 2310.15716#I29R |
| G7D3GEYC8K | G7D3GEYC8K | 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 2609.36181#W9YJ |
| G7D5GNDDX1 | G7D5GNDDX1 | 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.25062#JFQW |
| G7D7WBYQSC | G7D7WBYQSC | exercise | open | austin_ula src/exercises/exercises5-2.xml#exercise-6 |
| G7D8MGN3N4 | G7D8MGN3N4 | 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.26386#EFCN |
| G7DXGM9C38 | G7DXGM9C38 | 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.17691#38OL |
| G7EQF4KYRD | G7EQF4KYRD | 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.24509#VKCX |
| G7F1KPZ7XV | G7F1KPZ7XV | 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#DN8C |
| G7G9XMF7JN | G7G9XMF7JN | 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.28677#K6L9 |
| G7GR9231Y7 | G7GR9231Y7 | 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.18580#IOVD |
| G7H0GMTFA8 | G7H0GMTFA8 | 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.13585#ZNEX |
| G7HBNY65BT | G7HBNY65BT | 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.25703#K3XC |
| G7HPFRWDE7 | G7HPFRWDE7 | example | open | napkin tex/H113/ring-flavors.tex#example-4 |
| G7J576HRZ0 | G7J576HRZ0 | 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.28501#P50R |
| G7JCRAY6ZA | G7JCRAY6ZA | 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/0406514#YA2E |
| G7JHAY7GZK | G7JHAY7GZK | 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 2502.02777#K08S |