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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 801–900 of 9280.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| G7H8KPT6WW | G7H8KPT6WW | 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.21649#SMLU |
| 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 |
| G7K4FEMWE0 | G7K4FEMWE0 | 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.05312#IFIZ |
| G7KWM7PG08 | G7KWM7PG08 | exercise | open | open_logic content/computability/recursive-functions/bounded-minimization.tex#prob-1 |
| G7M2NWP8ZJ | G7M2NWP8ZJ | 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.31484#64HI |
| G7MC6CT8GD | G7MC6CT8GD | 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#3SMT |
| G7MQHA0D8E | G7MQHA0D8E | 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.21359#MFKY |
| G7MQRWTCTN | G7MQRWTCTN | proof | open | lebl_ra ch-several-vars-ders.tex#proof-15 |
| G7MV4NHSYY | G7MV4NHSYY | example | open | lebl_diffyqs ch-higher-order-ode.tex#example-8 |
| G7MYQZYA4M | G7MYQZYA4M | 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.21358#SJFS |
| G7N4W7EYXM | G7N4W7EYXM | 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.20900#HSQ8 |
| G7N985EMD5 | G7N985EMD5 | 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.38068#5U5X |
| G7NA7SXS8R | G7NA7SXS8R | 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.04252#B555 |
| G7NPFFH2F7 | G7NPFFH2F7 | 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.36423#QS10 |
| G7P3HQ3HNC | G7P3HQ3HNC | 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.02672#QNTO |
| G7PBRH2SJW | G7PBRH2SJW | 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 2407.04161#HTH7 |
| G7PDP3H87N | G7PDP3H87N | 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.10372#MZQW |
| G7Q2R27DFV | G7Q2R27DFV | 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.32104#3FOK |
| G7QMPP6P48 | G7QMPP6P48 | 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.25301#GYLZ |
| G7QZWYDE51 | G7QZWYDE51 | 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.28323#VU8A |
| G7R0QYATQX | G7R0QYATQX | proof | open | lebl_ra ch-real-nums.tex#proof-16 |
| G7R3RPGKDF | G7R3RPGKDF | 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.13229#687X |
| G7RF8717JK | G7RF8717JK | 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 2103.12669#QI03 |
| G7SJVYS9Y5 | G7SJVYS9Y5 | 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.32733#USA2 |
| G7SQ83ZG52 | G7SQ83ZG52 | 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.10205#B7BE |
| G7STSZ9Z16 | G7STSZ9Z16 | 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 2211.14214#IXOF |
| G7T12DYXGP | G7T12DYXGP | 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.13707#D2C4 |
| G7T722P7W9 | G7T722P7W9 | example | open | active_calculus source/sec-3-4-families.xml#Ex-3-2-1 |
| G7TZWGKGDA | G7TZWGKGDA | 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.05684#OV4Y |
| G7V608EK5T | G7V608EK5T | 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.20421#P51N |
| G7VYASZVFY | G7VYASZVFY | 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.33300#KWO9 |
| G7WRM0K25B | G7WRM0K25B | 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.35762#74U1 |
| G7X5FRA6WF | G7X5FRA6WF | 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.36884#SJK5 |
| G7X5SMZDQP | G7X5SMZDQP | 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.15869#5J8P |
| G7XB0CK9WX | G7XB0CK9WX | 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.33406#G2EG |
| G7XPZT348M | G7XPZT348M | 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.08210#UWWI |
| G7Y403AAB0 | G7Y403AAB0 | 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.09704#53YM |
| G7YE1ZTHWD | G7YE1ZTHWD | 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#2RW9 |
| G7YNW7J48D | G7YNW7J48D | 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.16295#YBQO |
| G7ZAGWYX6C | G7ZAGWYX6C | 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.30363#UHC9 |
| G7ZMY9MFYA | G7ZMY9MFYA | 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.35858#VIL5 |
| G7ZYP51GS4 | G7ZYP51GS4 | 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.23781#FBAN |
| G8015TNKGK | G8015TNKGK | 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 1912.02769#HS1U |
| G80GVF7JNP | G80GVF7JNP | problem | open | Wikipedia Euclid number#D2EK |
| G80S1PT31C | G80S1PT31C | 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.09319#GT6A |
| G80WX4DAXX | G80WX4DAXX | 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.24212#HOYX |
| G80Y4H5C18 | G80Y4H5C18 | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-11 |
| G814MSJ2FA | G814MSJ2FA | 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.18468#HFKH |
| G8186D1YR3 | G8186D1YR3 | 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.36456#TXO1 |
| G81RZ52960 | G81RZ52960 | 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.09078#FQEO |
| G822DTSJHN | G822DTSJHN | 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.24580#JCC2 |
| G82PHGPY5N | G82PHGPY5N | 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.30819#157H |
| G82ZYMT426 | G82ZYMT426 | 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.24323#6Y1F |
| G83A3PE87S | G83A3PE87S | 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.06747#SSCY |
| G83C033JZB | G83C033JZB | 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.06206#02IK |
| G84AQFE4G6 | G84AQFE4G6 | 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.17875#TD7N |
| G84KF6D4FW | G84KF6D4FW | definition | open | hott_book reals.tex#defn:cauchy-reals |
| G84Y4ZAZJJ | G84Y4ZAZJJ | 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.26201#XL2K |
| G85822P363 | G85822P363 | 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.29489#1BJ4 |
| G85CYBSK83 | G85CYBSK83 | 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.28295#XY84 |
| G85H5HR8H5 | G85H5HR8H5 | 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.28189#D83F |
| G85MKNYJ2A | G85MKNYJ2A | 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.32524#WBHD |
| G85YRNFS66 | G85YRNFS66 | 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.30090#SFXF |
| G85ZABZ09Y | G85ZABZ09Y | 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.19326#J5V1 |
| G86RNCDWJ1 | G86RNCDWJ1 | 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.34570#E7DP |
| G870FYHJ4G | G870FYHJ4G | 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.32977#2E7Q |
| G8825BQNTQ | G8825BQNTQ | 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.16055#BR1X |
| G882WDSV65 | G882WDSV65 | exercise | open | hott_book preliminaries.tex#ex:fin |
| G893S47XHX | G893S47XHX | 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 2311.01874#ZHQT |
| G895N24704 | G895N24704 | 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.15535#809O |
| G898W6YSQS | G898W6YSQS | 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.10928#XS84 |
| G89B5DY49G | G89B5DY49G | exercise | open | napkin tex/alg-NT/discriminant.tex#problem-1 |
| G8A153XXZY | G8A153XXZY | 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 2605.02634#6MEH |
| G8A2TJBC7A | G8A2TJBC7A | 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.40251#W2EV |
| G8AAWQB249 | G8AAWQB249 | 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.29521#CT3P |
| G8AG25Y0ZE | G8AG25Y0ZE | 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.39845#6TSH |
| G8AR31086G | G8AR31086G | 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 2301.02848#WOUB |
| G8AX0CFB9Z | G8AX0CFB9Z | 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.30203#LR8V |
| G8AZPY7P93 | G8AZPY7P93 | statement | open | hott_book equivalences.tex#thm:equiv-inhabcod |
| G8BMG9KW4R | G8BMG9KW4R | 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 2102.09374#EETX |
| G8BYC46CK8 | G8BYC46CK8 | 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.05784#ZBBY |
| G8C1NXQQAW | G8C1NXQQAW | 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.15043#BG81 |