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 701–800 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| G8CX4RQY5B | G8CX4RQY5B | unknown | open | arXiv 2205.15365#VQAM |
| G8D05A9A53 | G8D05A9A53 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#1L5S |
| G8D3FSPH7Q | G8D3FSPH7Q | statement | record (an 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.28781#PQHI |
| G8D5EXECQ8 | G8D5EXECQ8 | definition | open | napkin tex/rep-theory/rep-alg.tex#definition-11 |
| G8DABCQ2GZ | G8DABCQ2GZ | statement | record (an 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.31242#8EAE |
| G8E3CV7KBE | G8E3CV7KBE | statement | record (an 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.24610#GLOL |
| G8EM4RQ1ZR | G8EM4RQ1ZR | example | open | lebl_ra ch-riemann.tex#example:dirichletfunc |
| G8F6Q86ZHE | G8F6Q86ZHE | statement | record (an 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#15HZ |
| G8FJ87MRZG | G8FJ87MRZG | statement | record (an 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.25897#WB7F |
| G8FM6CNJQ1 | G8FM6CNJQ1 | statement | record (an 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#RDHH |
| G8G146GZDD | G8G146GZDD | statement | record (an 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.11481#BOT3 |
| G8GQXBJZ1K | G8GQXBJZ1K | statement | record (an 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.37634#IDWH |
| G8J1SHJ3XA | G8J1SHJ3XA | statement | record (an 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.05066#JDBN |
| G8JTJX9F77 | G8JTJX9F77 | statement | record (an 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.35625#V9DI |
| G8KDMG4N29 | G8KDMG4N29 | statement | record (an 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#JLOY |
| G8KYNP4SK9 | G8KYNP4SK9 | exercise | open | lebl_ra ch-metric.tex#exercise-17 |
| G8MBWDC1CC | G8MBWDC1CC | statement | open | napkin tex/H113/ring-intro.tex#fact-1 |
| G8MM0H57C0 | G8MM0H57C0 | statement | record (an 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.33957#RXT9 |
| G8MVGQBYWE | G8MVGQBYWE | statement | record (an 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.37706#F40I |
| G8NCC3Q1A1 | G8NCC3Q1A1 | statement | record (an 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.07530#21TO |
| G8NGQ91S25 | G8NGQ91S25 | statement | record (an 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.13621#YNJE |
| G8NNQEXYF3 | G8NNQEXYF3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.05392#1SY7 |
| G8NQ89BWNZ | G8NQ89BWNZ | statement | record (an 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.29510#2PED |
| G8NQNAMMPP | G8NQNAMMPP | statement | record (an 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#TR9P |