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 401–500 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| G482SJVW1F | G482SJVW1F | statement | record (an 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.30200#DQXP |
| G48N6FTJJF | G48N6FTJJF | statement | record (an 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.06906#KLZB |
| G48R8Q41SG | G48R8Q41SG | statement | record (an 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.08839#BI97 |
| G49JT5VPXN | G49JT5VPXN | statement | record (an 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.18358#QBQW |
| G49MCBZW95 | G49MCBZW95 | statement | record (an 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.17737#STCG |
| G4A7Y99V37 | G4A7Y99V37 | statement | record (an 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.26619#V96B |
| G4A8M1GEZ7 | G4A8M1GEZ7 | statement | record (an 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.03306#TMWN |
| G4AWKT5HM6 | G4AWKT5HM6 | statement | record (an 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.37901#ER0O |
| G4AXW4FGGY | G4AXW4FGGY | statement | record (an 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.18246#NOBR |
| G4B23H5R26 | G4B23H5R26 | statement | record (an 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.15010#KYW5 |
| G4CQDXJ6M1 | G4CQDXJ6M1 | statement | record (an 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.37271#E0G3 |
| G4CXRTQ3PW | G4CXRTQ3PW | statement | record (an 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.34013#ZFPF |
| G4DCMAEN1F | G4DCMAEN1F | statement | record (an 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.01783#KYNU |
| G4E97MAWCC | G4E97MAWCC | statement | record (an 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.17589#URNR |
| G4EAV3JT5J | G4EAV3JT5J | exercise | open | napkin tex/calculus/differentiate.tex#ques-1 |
| G4F5GD5MXH | G4F5GD5MXH | statement | record (an 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.14615#4OHV |
| G4FC52F76M | G4FC52F76M | statement | open | hott_book equivalences.tex#lem:autohtpy |
| G4FDJD28KB | G4FDJD28KB | statement | record (an 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#B1EL |
| G4FXYA7XZF | G4FXYA7XZF | statement | record (an 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.17677#NNXA |
| G4G2HHVZ1C | G4G2HHVZ1C | 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.30033#SD7C |
| G4G7BR0RQY | G4G7BR0RQY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#CGE7 |
| G4G8CGEH4N | G4G8CGEH4N | statement | record (an 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.04834#OQUX |
| G4GA6RX1EM | G4GA6RX1EM | statement | record (an 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.05403#31IB |
| G4GAGKTYSP | G4GAGKTYSP | unknown | open | Wikidata Q136089498, House of Graphs 794 |
| G4H3HXQHHJ | G4H3HXQHHJ | 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 2011.08789#BZI9 |
| G4HS5B901P | G4HS5B901P | 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.18302#IHWI |
| G4HWNG8Q3M | G4HWNG8Q3M | statement | record (an 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.14582#AD4Y |
| G4J8WGA0VT | G4J8WGA0VT | statement | record (an 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.10801#TE1E |
| G4JN912QBX | G4JN912QBX | statement | record (an 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.15744#E8SZ |
| G4JYVHNCS6 | G4JYVHNCS6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#8EXL |
| G4K8SXW16P | G4K8SXW16P | statement | record (an 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#K45S |
| G4KHJZ689S | G4KHJZ689S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#CW6O |
| G4KV13GD7R | G4KV13GD7R | statement | record (an 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.02901#V5LE |
| G4M7C82KBY | G4M7C82KBY | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-16 |
| G4MKBAR7K0 | G4MKBAR7K0 | 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.22218#WLGN |
| G4P4X0JBY2 | G4P4X0JBY2 | statement | record (an 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#GH5C |
| G4PC9VBW03 | G4PC9VBW03 | exercise | open | austin_ula src/exercises/exercises4-5.xml#exercise-stochastic-eigenvalue |
| G4PV6B3WQB | G4PV6B3WQB | statement | record (an 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.05314#7LUU |
| G4QB8YG8BM | G4QB8YG8BM | statement | record (an 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.33775#20U9 |
| G4QH9FRP83 | G4QH9FRP83 | statement | record (an 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.36823#OQHF |
| G4QRQWP6MD | G4QRQWP6MD | proof | open | lebl_ra ch-contfunc.tex#proof-12 |
| G4REVTYQB1 | G4REVTYQB1 | statement | record (an 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.31243#MXD9 |
| G4RG36FDG2 | G4RG36FDG2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1805.04646#Y2G8 |
| G4RM6G88Z3 | G4RM6G88Z3 | statement | record (an 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.37698#RN7Q |
| G4RP0Y09RW | G4RP0Y09RW | exercise | open | lebl_scv scv.tex#exercise-176 |
| G4RS4YKMDP | G4RS4YKMDP | statement | record (an 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.37846#EY71 |
| G4SDTEGMSG | G4SDTEGMSG | 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.31910#Z3EI |
| G4T3C7TWMA | G4T3C7TWMA | statement | record (an 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.04895#4BLL |
| G4T6FNW4BT | G4T6FNW4BT | statement | record (an 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.13505#JCEL |
| G4TKYXBF92 | G4TKYXBF92 | statement | record (an 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#PQ1F |
| G4TNCS7E7P | G4TNCS7E7P | statement | record (an 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#DFRH |
| G4TZSW16N5 | G4TZSW16N5 | statement | record (an 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#0GWT |
| G4VF07FY2E | G4VF07FY2E | statement | record (an 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.08293#XBOX |
| G4VQVZZGWF | G4VQVZZGWF | statement | record (an 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.16099#9V6O |
| G4VYSVDH0D | G4VYSVDH0D | statement | open | open_logic content/normal-modal-logic/frame-definability/definability.tex#prop:relation-facts |
| G4W5FZMHJ1 | G4W5FZMHJ1 | 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.07122#KVNE |
| G4WNDQTP2D | G4WNDQTP2D | 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.08753#167N |
| G4WWY41DJH | G4WWY41DJH | statement | record (an 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.31458#QIAA |
| G4X428XZ3G | G4X428XZ3G | statement | record (an 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.35404#O7CD |
| G4XA3KZEVS | G4XA3KZEVS | statement | record (an 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.08362#YSQN |
| G4XHW8QP41 | G4XHW8QP41 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03461#E8E4 |
| G4XK41YJFQ | G4XK41YJFQ | statement | record (an 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.28518#L08R |
| G4XP4Y0AEY | G4XP4Y0AEY | definition | open | napkin tex/calculus/integrate.tex#definition-5 |
| G4Y2F9B22S | G4Y2F9B22S | 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.24580#9FDB |
| G4Y439WHZ2 | G4Y439WHZ2 | 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 2411.16022#FI7M |
| G4YCTKSBXH | G4YCTKSBXH | statement | record (an 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#N7R9 |
| G4YF35N758 | G4YF35N758 | statement | record (an 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.00869#BP67 |
| G4YXRZFENT | G4YXRZFENT | statement | record (an 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.22082#YGTE |
| G4ZNJ8C21Y | G4ZNJ8C21Y | statement | record (an 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.07790#QI0N |
| G50FBKTF5M | G50FBKTF5M | 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#WN0X |
| G50P5CJ27S | G50P5CJ27S | statement | record (an 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.25291#8SF5 |
| G50SW91V4T | G50SW91V4T | statement | record (an 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.27301#GHK1 |
| G510T6SF0V | G510T6SF0V | statement | record (an 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.00562#R4QB |
| G51Q44H834 | G51Q44H834 | statement | record (an 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.13629#F66U |
| G51SZWPRNM | G51SZWPRNM | statement | record (an 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.39951#6K3O |
| G52G27AC1S | G52G27AC1S | statement | record (an 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.29624#FJFO |
| G52GWKES8N | G52GWKES8N | definition | open | open_logic content/first-order-logic/models-theories/introduction.tex#defn-1 |
| G535M2CWYK | G535M2CWYK | 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 2409.20170#AQ7P |
| G54DMHGNZP | G54DMHGNZP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.3493#7PVU |
| G54MN2R8T3 | G54MN2R8T3 | statement | record (an 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.27518#P2F5 |
| G55XHA1B4H | G55XHA1B4H | statement | record (an 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.33941#54IX |
| G560JYM6C4 | G560JYM6C4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.15212#TJTV |
| G56562E7KH | G56562E7KH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#9GOD |
| G56AKSK6PA | G56AKSK6PA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.08875#BV12 |
| G56BZA2Y88 | G56BZA2Y88 | statement | record (an 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.19273#XR44 |
| G56E27GWQ9 | G56E27GWQ9 | statement | record (an 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.14803#GUQB |
| G56F14NMR9 | G56F14NMR9 | statement | record (an 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.08956#9IQV |
| G56F15BPPZ | G56F15BPPZ | statement | record (an 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.10796#OKHL |
| G56H3N2Z7H | G56H3N2Z7H | statement | record (an 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.24355#WLBK |
| G56H4E38DZ | G56H4E38DZ | proof | open | lebl_ra ch-seq-funcs.tex#proof-2 |
| G56M23NB2S | G56M23NB2S | statement | record (an 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.06529#7W2B |
| G56PN1KNDP | G56PN1KNDP | exercise | open | levin_dmoi ptx/sec_seq-induction.ptx#investigation-1 |
| 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 |