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 2201–2300 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| GGJCX5D3NP | GGJCX5D3NP | statement | record (an 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.12931#8IWV |
| GGJFF6CRVG | GGJFF6CRVG | statement | record (an 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.22078#OTCH |
| GGKRDZGMPN | GGKRDZGMPN | exercise | open | open_logic content/second-order-logic/syntax-and-semantics/expressive-power.tex#prob-1 |
| GGMQ4MZZ85 | GGMQ4MZZ85 | 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#Q4XE |
| GGN1FSKXWF | GGN1FSKXWF | statement | record (an 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.17518#MLIO |
| GGPCCD4TDN | GGPCCD4TDN | statement | record (an 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.31276#I4OQ |
| GGPXCZGJQC | GGPXCZGJQC | statement | record (an 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.09672#DXT0 |
| GGQ64NM4RZ | GGQ64NM4RZ | statement | record (an 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.11946#5BKC |
| GGR0DN6ZWB | GGR0DN6ZWB | 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.09739#B0B0 |
| GGS86XJHMC | GGS86XJHMC | statement | record (an 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.28374#EPUE |
| GGSPTCDXSV | GGSPTCDXSV | 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 2609.31269#0FRH |
| GGSXNTNJFZ | GGSXNTNJFZ | statement | record (an 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.01837#VJB0 |
| GGSZXB6TR0 | GGSZXB6TR0 | definition | open | napkin tex/measure/caratheodory.tex#definition-2 |
| GGVDKF32EH | GGVDKF32EH | statement | record (an 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#9HDG |
| GGVFQG4QBN | GGVFQG4QBN | proof | open | napkin tex/set-theory/forcing.tex#proof-2 |
| GGVK2EQBDZ | GGVK2EQBDZ | 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 1903.07030#4N1K |
| GGWHQCWGAD | GGWHQCWGAD | 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.39269#3PSV |
| GGX4HXH19T | GGX4HXH19T | statement | record (an 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#1CWF |
| GGX9HHDZE2 | GGX9HHDZE2 | statement | record (an 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#7UHE |
| GGXTNNQGFX | GGXTNNQGFX | 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 1904.08413#694A |
| GGYCNXVTHA | GGYCNXVTHA | statement | record (an 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.25739#R880 |
| GGYNZVHYG1 | GGYNZVHYG1 | statement | record (an 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.33733#01M1 |
| GGZ135Z104 | GGZ135Z104 | statement | record (an 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.12576#UJUI |
| GGZWCZX1D7 | GGZWCZX1D7 | statement | record (an 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.31274#I5DV |
| GH076J8K8P | GH076J8K8P | statement | open | open_logic content/turing-machines/undecidability/verification.tex#lem:halt-if-valid |
| GH1RGJ5G9N | GH1RGJ5G9N | exercise | open | austin_ula src/section7-2.xml#activity-2 |
| GH20JXAM00 | GH20JXAM00 | 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 2601.10370#RQ6F |
| GH21D0P1TC | GH21D0P1TC | statement | record (an 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.12483#MK6A |
| GH2239AT7X | GH2239AT7X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.05577#WW6J |
| GH22H0FJGM | GH22H0FJGM | statement | record (an 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.03138#5KZ3 |
| GH333M3Z30 | GH333M3Z30 | proof | open | open_logic content/model-theory/basics/partial-iso.tex#proof-3 |
| GH38TM2V5E | GH38TM2V5E | statement | open | lebl_scv scv.tex#prop-29 |
| GH3HMA4KED | GH3HMA4KED | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-16 |
| GH4TABC7ZF | GH4TABC7ZF | statement | record (an 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.14055#MYSB |
| GH5E0EMPQT | GH5E0EMPQT | statement | record (an 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.36909#063G |
| GH5M48EN0F | GH5M48EN0F | 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 2311.16205#36WW |
| GH5PH6ZV6Z | GH5PH6ZV6Z | statement | record (an 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.25129#L1S5 |
| GH6KNHHFJW | GH6KNHHFJW | statement | record (an 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.27049#PAAB |
| GH6WDN7RCS | GH6WDN7RCS | statement | record (an 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.04835#TWLK |
| GH7JEDZW8T | GH7JEDZW8T | statement | record (an 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.25761#CFC0 |
| GH7MQ33547 | GH7MQ33547 | statement | record (an 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.18859#XLFR |
| GH82CTEHV6 | GH82CTEHV6 | 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.07122#2GTE |
| GH8JHQFRGV | GH8JHQFRGV | statement | record (an 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.30519#HFTF |
| GH8M4VWRET | GH8M4VWRET | statement | record (an 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.14045#HB4I |
| GH8SW5QKXA | GH8SW5QKXA | statement | record (an 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.03368#KODB |
| GH977B51WR | GH977B51WR | statement | record (an 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.10337#3ONW |
| GH9HC9WS0R | GH9HC9WS0R | unknown | open | arXiv 2211.01586#MQ8O |
| GH9QK0GTH0 | GH9QK0GTH0 | statement | record (an 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.14240#YBKF |
| GHA9MG8TN3 | GHA9MG8TN3 | statement | record (an 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.04989#UVDX |
| GHACD72JWY | GHACD72JWY | statement | record (an 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.28143#3HLN |
| GHB3R47FWA | GHB3R47FWA | statement | record (an 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.13723#80CR |
| GHB8QXCVTW | GHB8QXCVTW | 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.37562#1BZW |
| GHC535MH60 | GHC535MH60 | statement | record (an 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.11097#ZY27 |
| GHC9CVKBMZ | GHC9CVKBMZ | statement | record (an 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.06455#BA7Z |
| GHCRNYBQFA | GHCRNYBQFA | statement | record (an 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.33805#9PLS |
| GHCZ81E2BJ | GHCZ81E2BJ | statement | record (an 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.09044#EUA9 |
| GHDBMD19CG | GHDBMD19CG | 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.33313#E3RP |
| GHDDH9PWP5 | GHDDH9PWP5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.05398#LWKY |
| GHDXSES0PP | GHDXSES0PP | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-4r |
| GHERYKMBFR | GHERYKMBFR | statement | record (an 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#KS94 |
| GHEVC1SQZN | GHEVC1SQZN | statement | record (an 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#60UL |
| GHF6460CWQ | GHF6460CWQ | statement | record (an 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.02061#T6TI |
| GHFN9CNKJT | GHFN9CNKJT | 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.24465#F39H |
| GHGFPM46HC | GHGFPM46HC | statement | record (an 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#RM0M |
| GHH8FGN39N | GHH8FGN39N | proof | open | lebl_ra ch-riemann.tex#proof-13 |
| GHHK9BSHCZ | GHHK9BSHCZ | statement | record (an 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.21954#4QJR |
| GHHPBHA6VX | GHHPBHA6VX | unknown | open | arXiv 2106.06387#I9KP |
| GHHRPAFAWV | GHHRPAFAWV | statement | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:prim |
| Ghirlanda--Guerra identities on average | GAZZ0492C7 | statement | record (an 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.32710#Q4QL |
| GHJ4JJY8TM | GHJ4JJY8TM | statement | record (an 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.05672#78VC |
| GHJFVS931K | GHJFVS931K | statement | record (an 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.01216#W8TY |
| GHM9NAB1M7 | GHM9NAB1M7 | statement | record (an 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.26713#4R1C |
| GHMWXPHZGN | GHMWXPHZGN | statement | record (an 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.29665#8EOY |
| GHMYJA0GK1 | GHMYJA0GK1 | statement | record (an 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.04730#IK43 |
| GHMZXYBM5S | GHMZXYBM5S | statement | record (an 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.13137#13YX |
| GHN12C870V | GHN12C870V | statement | record (an 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.15926#RTNF |
| GHN1N0ZHDD | GHN1N0ZHDD | statement | record (an 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#63JL |
| GHNNQ1R227 | GHNNQ1R227 | statement | record (an 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#GL25 |
| GHNNYVP0BK | GHNNYVP0BK | statement | record (an 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#WN5T |
| GHPCGGGHEP | GHPCGGGHEP | statement | record (an 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.02141#4FAI |
| GHPPFT3G8D | GHPPFT3G8D | statement | record (an 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.21730#IDUO |
| GHQ578D2SN | GHQ578D2SN | statement | record (an 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.08018#IH62 |
| GHQAGB49GQ | GHQAGB49GQ | statement | record (an 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.16431#0YVZ |
| GHQN1E627Y | GHQN1E627Y | statement | open | napkin tex/calculus/taylor.tex#proposition-2 |
| GHRNQ4T75F | GHRNQ4T75F | 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.10546#CZ88 |
| GHSAK6Z42X | GHSAK6Z42X | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-11 |
| GHSCKBVDB3 | GHSCKBVDB3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07340#TZKH |
| GHSDG7ASZT | GHSDG7ASZT | statement | record (an 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#CXG5 |
| GHSQC51FFR | GHSQC51FFR | statement | open | napkin tex/quantum/circuits.tex#proposition-1 |
| GHSW6R8G3N | GHSW6R8G3N | statement | record (an 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.01015#L84A |
| GHT7FMDHFQ | GHT7FMDHFQ | statement | record (an 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#35M3 |
| GHTQGATMJ9 | GHTQGATMJ9 | statement | record (an 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.20406#QYGK |
| GHV6ZAVQZV | GHV6ZAVQZV | exercise | open | napkin tex/alg-geom/spec-examples.tex#exercise-2 |
| GHW0CHF0SV | GHW0CHF0SV | definition | open | hott_book homotopy.tex#defn-1 |
| GHWBRMWY62 | GHWBRMWY62 | statement | record (an 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.29227#V3QI |
| GHXAPNT7EF | GHXAPNT7EF | statement | record (an 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.10930#FEM5 |
| GHXNY3VX26 | GHXNY3VX26 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.11038#CSPO |
| GHXRWK38KT | GHXRWK38KT | statement | record (an 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.07259#2RFI |
| GHXY9PYXEQ | GHXY9PYXEQ | statement | record (an 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.14374#XU86 |
| GHY5Z5QT6K | GHY5Z5QT6K | statement | record (an 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#29O0 |