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 501–600 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| G66W91HK08 | G66W91HK08 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-73 |
| G670SFKQSR | G670SFKQSR | statement | record (an 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#B5EJ |
| G67N7V76R8 | G67N7V76R8 | statement | record (an 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#SSE9 |
| G67QCWMA37 | G67QCWMA37 | statement | record (an 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.22681#0M4E |
| G67QPPA1C4 | G67QPPA1C4 | 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.15720#U14O |
| G67WRZGE56 | G67WRZGE56 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.15365#R8LA |
| G686SX8C1N | G686SX8C1N | statement | record (an 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.09594#R0EL |
| G68JK246D6 | G68JK246D6 | 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.08091#FBDR |
| G68Y1HKZXQ | G68Y1HKZXQ | statement | record (an 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.04323#36PS |
| G69QQJS3T4 | G69QQJS3T4 | statement | record (an 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.17817#EL0Y |
| G6A7Y6CEP8 | G6A7Y6CEP8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.02139#I8RE |
| G6ARF2BA53 | G6ARF2BA53 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10921#X5X7 |
| G6AS2TEW1M | G6AS2TEW1M | statement | record (an 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.15805#VWRS |
| G6C253MXVN | G6C253MXVN | statement | record (an 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.15424#QZTC |