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 3001–3100 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| GP4W799VBB | GP4W799VBB | 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.37093#RJIV |
| GP4WNXXHEN | GP4WNXXHEN | 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.33590#XWXG |
| GP51QGT2H5 | GP51QGT2H5 | 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.21475#SN1F |
| GP533AZE8F | GP533AZE8F | 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.04833#0YXI |
| GP5KPZ8KMM | GP5KPZ8KMM | 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.20178#RPG2 |
| GP6KS3NTFH | GP6KS3NTFH | 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.09578#9X9N |
| GP6YXMF0DR | GP6YXMF0DR | 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.5380#C636 |
| GP6ZK813AP | GP6ZK813AP | 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.35597#XSJU |
| GP787FC8T1 | GP787FC8T1 | 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.18847#4MJ6 |
| GP7HV94EQ5 | GP7HV94EQ5 | 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 2606.20229#XRQP |
| GP82G7TWZZ | GP82G7TWZZ | statement | open | open_logic content/lambda-calculus/syntax/substitution.tex#thm:inv |
| GP8EMSG94Q | GP8EMSG94Q | 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.27295#VM2H |
| GP8EQD60PP | GP8EQD60PP | 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.33313#AZTV |
| GP8K5JZR75 | GP8K5JZR75 | 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.09390#JZH3 |
| GP8Y7VCJAM | GP8Y7VCJAM | 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.34620#SV3A |
| GP8Z3ABSYY | GP8Z3ABSYY | 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.12481#GB3J |
| GP8ZV5EZNR | GP8ZV5EZNR | exercise | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prob-1 |
| GP9BTZN29S | GP9BTZN29S | 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.15698#1NNZ |
| GP9D7724HA | GP9D7724HA | 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.13792#04DU |
| GP9G6BQVEA | GP9G6BQVEA | 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 0811.0544#1PN5 |
| GP9HYSC385 | GP9HYSC385 | 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.39465#O7IN |
| GP9YA80NNX | GP9YA80NNX | 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.09333#U91Z |
| GPAT073ZWP | GPAT073ZWP | 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.15169#PBKT |
| GPB46MG86T | GPB46MG86T | 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.09522#V2SI |
| GPBTRMT8KG | GPBTRMT8KG | exercise | open | hott_book homotopy.tex#ex:contr-infinity-sphere-colim |
| GPCXPCXCCW | GPCXPCXCCW | 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 1612.08394#TY47 |
| GPDAHN9C0F | GPDAHN9C0F | 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.05327#KE2E |
| GPDAYDPGF0 | GPDAYDPGF0 | 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 1303.4328#HCTT |
| GPDDZX3BJG | GPDDZX3BJG | 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.39790#CYWE |
| GPE3CS5GZ0 | GPE3CS5GZ0 | 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.21365#40WQ |
| GPEEYNT9EK | GPEEYNT9EK | 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.09812#XQ3Y |
| GPES46TGX6 | GPES46TGX6 | 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.25100#GHGK |
| GPF1G8Z4X3 | GPF1G8Z4X3 | 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.06739#6O41 |
| GPFCF1EYTH | GPFCF1EYTH | 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.08226#I0YU |
| GPFE6E8V96 | GPFE6E8V96 | 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 2502.05771#PO7P |
| GPFVGSHHRH | GPFVGSHHRH | 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.04809#HBVW |
| GPG25XC6W8 | GPG25XC6W8 | 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#3PU2 |
| GPGYHQ02ZF | GPGYHQ02ZF | example | open | napkin tex/linalg/eigenvalues.tex#example-5 |
| GPH7A8K43J | GPH7A8K43J | 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.17408#NFYZ |
| GPHANHA507 | GPHANHA507 | 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.37584#RVSL |
| GPHDBPX30F | GPHDBPX30F | 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.12612#6ETF |
| GPHFSGNK1M | GPHFSGNK1M | 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.17571#G9TG |
| GPJ3SHG1MJ | GPJ3SHG1MJ | 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 2503.08488#IFP2 |
| GPJ8N6CYJG | GPJ8N6CYJG | 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.40290#PI1W |
| GPJAP9XMT0 | GPJAP9XMT0 | 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#EG1J |
| GPJBFYZS9K | GPJBFYZS9K | 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.11021#5N5E |
| GPJJX3Q8PG | GPJJX3Q8PG | 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 2508.07340#2HRD |
| GPK667ZTJB | GPK667ZTJB | 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.02244#BSHA |
| GPK6SDMVYV | GPK6SDMVYV | 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.26650#1YSK |
| GPKA0VK51F | GPKA0VK51F | 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#GFKN |
| GPKWAQE8KG | GPKWAQE8KG | 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.02961#TR6Q |
| GPM0MGPT3T | GPM0MGPT3T | 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.15434#W9SX |
| GPM37K1DXJ | GPM37K1DXJ | 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.38126#MTTM |
| GPM5GQS9YA | GPM5GQS9YA | 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 1709.00677#GR4D |
| GPMJBYTAFX | GPMJBYTAFX | 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.18562#57IE |
| GPMZKF7QTH | GPMZKF7QTH | 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.38206#WWXB |
| GPNAESJGRS | GPNAESJGRS | 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.21866#WGEZ |
| GPP6XN75KC | GPP6XN75KC | 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.20916#8FT5 |
| GPPQNM5R12 | GPPQNM5R12 | 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.15643#N445 |
| GPPY3G9HCD | GPPY3G9HCD | 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.33590#7591 |
| GPQ2EC5HXT | GPQ2EC5HXT | 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.22317#790J |
| GPQ39G7G0Q | GPQ39G7G0Q | 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.04593#IFB2 |
| GPQH1WBTX0 | GPQH1WBTX0 | 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 1911.06467#H7WQ |
| GPQJS0GEZ7 | GPQJS0GEZ7 | 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.08583#1N7P |
| GPQNECQCX7 | GPQNECQCX7 | 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.39593#UND4 |
| GPST3AJYXE | GPST3AJYXE | 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.10469#5Y6X |
| GPSW98Y7RB | GPSW98Y7RB | 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.09333#PKL2 |
| GPT0NFAVH8 | GPT0NFAVH8 | statement | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:satindep |
| GPTNHXJ3S4 | GPTNHXJ3S4 | 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 1503.05744#D8JS |
| GPTTNC6ENY | GPTTNC6ENY | 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#MJYP |
| GPTVVVSVFV | GPTVVVSVFV | 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.10881#V521 |
| GPV3NREWVX | GPV3NREWVX | 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.06541#QYN3 |
| GPW9NDNSAQ | GPW9NDNSAQ | 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 2312.06581#OUWX |
| GPWA6VCJ2H | GPWA6VCJ2H | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-42 |
| GPWME7GKY8 | GPWME7GKY8 | 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.12479#193U |
| GPWYQ4E8A7 | GPWYQ4E8A7 | 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.05193#4902 |
| GPX0D6R794 | GPX0D6R794 | 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.33018#5063 |
| GPXDVCT39M | GPXDVCT39M | 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 2011.07352#PPZG |
| GPY6YHF8DR | GPY6YHF8DR | 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.13241#30L9 |
| GPY862GHG3 | GPY862GHG3 | 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.15403#XXSJ |
| GPYSJ4QXY1 | GPYSJ4QXY1 | 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.27911#KRQ4 |
| GPZCHFHQ4A | GPZCHFHQ4A | 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.28509#6CI8 |
| GPZVJN3KX1 | GPZVJN3KX1 | 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.16746#4SEL |
| GPZX0ZN12Y | GPZX0ZN12Y | 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.16339#OHTT |
| GQ0BJ4A4D2 | GQ0BJ4A4D2 | 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.38772#8H7X |
| GQ0KTQBZTZ | GQ0KTQBZTZ | 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 2308.09645#31OC |
| GQ0M462DDV | GQ0M462DDV | 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.01433#B47R |
| GQ0QBNG8T8 | GQ0QBNG8T8 | 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.19660#NPRP |
| GQ1C4RPQET | GQ1C4RPQET | 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.05232#PAN6 |
| GQ1VF8S4SV | GQ1VF8S4SV | 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.20916#H84R |
| GQ2679FV8Y | GQ2679FV8Y | 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 math/9201244#DMVP |
| GQ2806AGWS | GQ2806AGWS | 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.32860#ECAT |
| GQ28E56B9J | GQ28E56B9J | 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.14811#MKJK |
| GQ2E7XDYVW | GQ2E7XDYVW | 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.35360#MYD1 |
| GQ33V15FZF | GQ33V15FZF | 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 1008.2055#5OJZ |
| GQ491JGCYS | GQ491JGCYS | 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.08873#UUHG |
| GQ4JV23ED7 | GQ4JV23ED7 | 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.13962#KB6O |
| GQ56X51929 | GQ56X51929 | 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.30086#PUPH |
| GQ59ZNWKP8 | GQ59ZNWKP8 | 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.29274#BGRM |
| GQ5BH34V26 | GQ5BH34V26 | 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 2106.11898#7OVB |