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 601–700 of 9280.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| G577E8XTN1 | G577E8XTN1 | statement | record (an 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#UJWL |
| G57PTVBCX9 | G57PTVBCX9 | 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 2304.07398#M3RX |
| G58B6HCNES | G58B6HCNES | statement | record (an 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.07164#MGEH |
| G5957ZG4YM | G5957ZG4YM | definition | open | hott_book reals.tex#defn:metric-space |
| G59J8W1GT3 | G59J8W1GT3 | statement | record (an 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.06310#GOW0 |
| G59SM42DSY | G59SM42DSY | statement | record (an 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.12169#FNQF |
| G5AN375A1E | G5AN375A1E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#RKIH |
| G5APYWB44N | G5APYWB44N | exercise | open | lebl_diffyqs ch-systems.tex#exercise-13 |
| G5ASZ332AF | G5ASZ332AF | statement | open | open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#lem:par-red |
| G5BKVFRVX4 | G5BKVFRVX4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.0068#4VL3 |
| G5BS9J33D4 | G5BS9J33D4 | statement | record (an 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.17045#9QNW |
| G5C0V8NXX0 | G5C0V8NXX0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#86HG |
| G5CJSG7NTN | G5CJSG7NTN | proof | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#proof-2 |
| G5D5ENFFHT | G5D5ENFFHT | statement | record (an 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.19945#R48A |
| G5DMBPDYPV | G5DMBPDYPV | 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 1002.0879#PBHU |
| G5DQ4CDM5X | G5DQ4CDM5X | statement | record (an 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.28350#H2FQ |
| G5EJEM0777 | G5EJEM0777 | statement | record (an 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#YJ5I |
| G5FNVQKTQ9 | G5FNVQKTQ9 | exercise | open | austin_ula src/section2-5.xml#activity-3 |
| G5FP3EAHGC | G5FP3EAHGC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#W9LN |
| G5FSXHRJFP | G5FSXHRJFP | statement | record (an 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.15454#2JLF |
| G5GCSXF8NC | G5GCSXF8NC | 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.10365#B08E |
| G5GX375PGE | G5GX375PGE | statement | record (an 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.22636#8XL1 |
| G5H0EV2983 | G5H0EV2983 | 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.21860#LY8H |
| G5HJ9TK7EF | G5HJ9TK7EF | statement | record (an 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.10580#KCBA |
| G5HSC4WQ90 | G5HSC4WQ90 | statement | record (an 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.39539#YNSP |
| G5HVPX0P1T | G5HVPX0P1T | statement | record (an 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.29838#PEX4 |
| G5J12DMACR | G5J12DMACR | statement | record (an 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.4141#MI19 |
| G5J6X5A8YP | G5J6X5A8YP | statement | record (an 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#92SH |
| G5J8JYEPR7 | G5J8JYEPR7 | statement | record (an 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#6MRW |
| G5JHMV9V83 | G5JHMV9V83 | 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#3ZWK |
| G5K7RY4RZY | G5K7RY4RZY | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-9 |
| G5K8HKMG3P | G5K8HKMG3P | statement | open | lebl_scv scv.tex#cor-1 |
| G5KR6BTH8E | G5KR6BTH8E | statement | record (an 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.08039#RRWP |
| G5M5ACYVYQ | G5M5ACYVYQ | statement | record (an 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.11301#KAII |
| G5M5C1FFEA | G5M5C1FFEA | 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.06045#S2X7 |
| G5MAXSFPC7 | G5MAXSFPC7 | statement | open | napkin tex/alg-geom/localization.tex#proposition-1 |
| G5MRAVJE2K | G5MRAVJE2K | statement | record (an 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.02628#381D |
| G5N1RDGPPC | G5N1RDGPPC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02261#RP9X |
| G5NDEHS63P | G5NDEHS63P | statement | record (an 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.12683#4P7Q |
| G5NF8966FQ | G5NF8966FQ | exercise | open | napkin tex/alg-geom/spec-examples.tex#problem-2 |
| G5NXMX728C | G5NXMX728C | statement | record (an 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.15770#7UE3 |
| G5P5N9CNVG | G5P5N9CNVG | statement | record (an 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.06764#DDO2 |
| G5P7VFNR8D | G5P7VFNR8D | statement | record (an 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.33231#NPDN |
| G5PV0ZFASR | G5PV0ZFASR | statement | record (an 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.15160#IW6D |
| G5PX7FV06G | G5PX7FV06G | statement | record (an 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.13618#TL9X |
| G5Q4638GC0 | G5Q4638GC0 | 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.17626#T7WM |
| G5Q5582WN9 | G5Q5582WN9 | exercise | open | lebl_scv scv.tex#exercise-307 |
| G5Q6S1HPKH | G5Q6S1HPKH | statement | record (an 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#CPO9 |
| G5Q7CM905W | G5Q7CM905W | statement | record (an 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.15402#0A4G |
| G5QC58VB51 | G5QC58VB51 | 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.18061#EJNE |
| G5QXAQKX1X | G5QXAQKX1X | statement | record (an 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.15610#MN1O |
| G5QXXVKCCD | G5QXXVKCCD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.00606#SLAI |
| G5R63RA3XK | G5R63RA3XK | statement | record (an 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.13295#Y08G |
| G5RW6P5YF5 | G5RW6P5YF5 | statement | record (an 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#XTK2 |
| G5RXZHD04T | G5RXZHD04T | exercise | open | levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-1 |
| G5SFWB3RR5 | G5SFWB3RR5 | statement | record (an 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.18483#R7KR |
| G5SG8VNQSQ | G5SG8VNQSQ | exercise | open | open_logic content/set-theory/spine/rank.tex#prob-2 |
| G5SM3BTA03 | G5SM3BTA03 | statement | record (an 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.07876#3WQX |
| G5STBX93AH | G5STBX93AH | statement | record (an 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.16399#H4TI |
| G5STV1YE26 | G5STV1YE26 | statement | record (an 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#IKLO |
| G5T3H4SQHE | G5T3H4SQHE | 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.20568#UPQ2 |
| G5T3YA272C | G5T3YA272C | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-6 |
| G5TCHQNYR5 | G5TCHQNYR5 | statement | record (an 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.17585#PSOO |
| G5TVG7X221 | G5TVG7X221 | 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.01473#CT3B |
| G5TX6M5NNY | G5TX6M5NNY | statement | record (an 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.21414#BXEP |
| G5TXERF1P8 | G5TXERF1P8 | statement | record (an 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#7X3G |
| G5V8E5GECK | G5V8E5GECK | proof | open | hott_book hits.tex#proof-4 |
| G5VEY89XY4 | G5VEY89XY4 | statement | record (an 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.19921#BVFQ |
| G5VJ1FTB00 | G5VJ1FTB00 | statement | record (an 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.01329#HDEX |
| G5VXX1HQZH | G5VXX1HQZH | 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 1707.06795#7UM5 |
| G5W2R4TMHY | G5W2R4TMHY | statement | record (an 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.27056#NU8K |
| G5WKGBG6V4 | G5WKGBG6V4 | statement | record (an 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.16203#8RG9 |
| G5WWYMXVNK | G5WWYMXVNK | statement | record (an 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#429U |
| G5X5B6DQHA | G5X5B6DQHA | definition | open | open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#defn-1 |
| G5XP77J9J1 | G5XP77J9J1 | statement | record (an 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.13972#TL3W |
| G5Y73HPXT0 | G5Y73HPXT0 | 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/0406514#Y6HM |
| G5Y8W9B75C | G5Y8W9B75C | statement | open | napkin tex/measure/swapsum.tex#corollary-3 |
| G5YJ3VDB6S | G5YJ3VDB6S | 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.19288#LAOV |
| G5YP70YB0H | G5YP70YB0H | statement | record (an 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#719T |
| G5ZD4SAPQM | G5ZD4SAPQM | statement | record (an 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.22636#S7DJ |
| G5ZEPGN005 | G5ZEPGN005 | statement | record (an 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#GAV3 |
| G5ZMFA53Q3 | G5ZMFA53Q3 | statement | record (an 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.39269#P8TH |
| G5ZRC432QG | G5ZRC432QG | statement | record (an 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.21976#5SBL |
| G5ZVN8EDMV | G5ZVN8EDMV | statement | record (an 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#1UXI |
| G5ZY1BJVWQ | G5ZY1BJVWQ | statement | record (an 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.15847#69AI |
| G608P3R8SN | G608P3R8SN | statement | record (an 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.03555#FEU4 |
| G60KKS6098 | G60KKS6098 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2010.14428#L7WY |
| G60KQPW93S | G60KQPW93S | statement | record (an 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.08193#DPB1 |
| G614RSR3A1 | G614RSR3A1 | statement | record (an 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.16060#P35S |
| G61XDYV83X | G61XDYV83X | statement | record (an 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.17045#GPZG |
| G62K802J9A | G62K802J9A | 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.14160#L1RG |
| G631X969KJ | G631X969KJ | statement | record (an 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#UA6O |
| G63DX5MD2C | G63DX5MD2C | statement | record (an 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.16989#MGXK |
| G63JP1MHA5 | G63JP1MHA5 | 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.03126#O980 |
| G642B16F2S | G642B16F2S | 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#0EAS |
| G644T7PWAM | G644T7PWAM | 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.21981#PZGQ |
| G6493JJMA3 | G6493JJMA3 | 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 2607.00146#OPT2 |
| G64GCKAFCV | G64GCKAFCV | statement | record (an 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.35213#LDW7 |
| G660170X9N | G660170X9N | statement | record (an 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#EGDB |
| G666QWN1TV | G666QWN1TV | statement | record (an 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.24131#ELNT |