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 301–400 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| G31ZTN1NQB | G31ZTN1NQB | 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.28143#IHWR |
| G32RRHY74J | G32RRHY74J | statement | record (an 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.11395#NZ18 |
| G346V24NB2 | G346V24NB2 | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-9 |
| G35DRAWEBD | G35DRAWEBD | statement | record (an 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#CPAQ |
| G36F73BFPY | G36F73BFPY | statement | record (an 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.29943#DL50 |
| G379VNYSNR | G379VNYSNR | statement | record (an 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.01669#78KK |
| G37ZQGHPXW | G37ZQGHPXW | statement | record (an 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.38436#JJCL |
| G386A8XV3E | G386A8XV3E | statement | record (an 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.38188#L0HV |
| G39DD0MQG2 | G39DD0MQG2 | 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 2405.14678#6HSB |
| G39EPQ2E06 | G39EPQ2E06 | example | open | open_logic content/sets-functions-relations/size-of-sets/pairing-alt.tex#ex-2 |
| G39HVD1D5W | G39HVD1D5W | statement | record (an 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.32651#JLCB |
| G3A3Z5NRQF | G3A3Z5NRQF | statement | record (an 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.18324#FBKQ |
| G3A8E3FQXH | G3A8E3FQXH | unknown | open | arXiv 2610.16359#N8PJ |
| G3A91KVZBY | G3A91KVZBY | statement | record (an 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.05142#4WWP |
| G3AH7RDG6V | G3AH7RDG6V | statement | record (an 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.32680#TKRN |
| G3ARRCEGMY | G3ARRCEGMY | statement | record (an 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#FG2V |
| G3AWDB8FZ9 | G3AWDB8FZ9 | statement | record (an 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.10736#4Y2I |
| G3AWDJYFER | G3AWDJYFER | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-10 |
| G3B877GGXX | G3B877GGXX | statement | record (an 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.36158#ZCCI |
| G3BG57XFRA | G3BG57XFRA | statement | open | open_logic content/model-theory/basics/dlo.tex#thm:cantorQ |
| G3CJYDBSNE | G3CJYDBSNE | proof | open | open_logic content/propositional-logic/syntax-and-semantics/soundness.tex#proof-1 |
| G3CR1Z8E29 | G3CR1Z8E29 | statement | record (an 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.25967#WIH9 |
| G3DBT4N5AT | G3DBT4N5AT | 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#FMCQ |
| G3DJKP15XH | G3DJKP15XH | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-1 |
| G3DR4MXX0P | G3DR4MXX0P | statement | record (an 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.10233#PE1F |
| G3DW4F8MCK | G3DW4F8MCK | unknown | open | arXiv 2610.13680#6I4F |
| G3E2ZDP4KT | G3E2ZDP4KT | statement | record (an 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.24569#JWF9 |
| G3E6BWR3KD | G3E6BWR3KD | statement | record (an 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.37425#2PYE |
| G3E9RKX31K | G3E9RKX31K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.09464#GR9P |
| G3EFA17153 | G3EFA17153 | statement | record (an 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.33557#79EH |
| G3EHRN784B | G3EHRN784B | 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.35631#BK1X |
| G3FMF84NH4 | G3FMF84NH4 | statement | record (an 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.30648#YSOZ |
| G3G3WK05TJ | G3G3WK05TJ | 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 2403.16388#WZPL |
| G3G6EAN1VC | G3G6EAN1VC | statement | record (an 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.25307#HMVH |
| G3GHCP4AJ5 | G3GHCP4AJ5 | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#proof-3 |
| G3HFD184ZW | G3HFD184ZW | statement | record (an 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.15405#OQM8 |
| G3HR3JMMJ7 | G3HR3JMMJ7 | proof | open | lebl_ra ch-seq-funcs.tex#proof-6 |
| G3J1ER8Q8B | G3J1ER8Q8B | exercise | open | napkin tex/H113/grp-intro.tex#problem-7 |
| G3JAPDBKBM | G3JAPDBKBM | statement | record (an 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#81PZ |
| G3JEVJB8AE | G3JEVJB8AE | example | open | levin_dmoi ptx/sec_logic-proofs.ptx#example-6 |
| G3JGVQ3934 | G3JGVQ3934 | statement | record (an 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.19455#FGK0 |
| G3JWMTZYV4 | G3JWMTZYV4 | 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.33018#8E88 |
| G3JZ33KB9B | G3JZ33KB9B | statement | open | lebl_scv scv.tex#prop-14 |
| G3KVJYTQN0 | G3KVJYTQN0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#ZS4B |
| G3KWTC1474 | G3KWTC1474 | statement | record (an 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.17227#5RYR |
| G3KX1Q9E6K | G3KX1Q9E6K | 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.10930#IR9X |
| G3M92JRS18 | G3M92JRS18 | 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.25897#W3MT |
| G3M9XCQQY0 | G3M9XCQQY0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#AETY |
| G3MG5RH7ZR | G3MG5RH7ZR | statement | record (an 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.20153#NKAH |
| G3ND1330PC | G3ND1330PC | statement | record (an 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.33476#1972 |
| G3NWPRSVQK | G3NWPRSVQK | statement | record (an 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.16706#UUZV |
| G3P4QWEM0G | G3P4QWEM0G | statement | record (an 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.19023#QS9N |
| G3Q7PFRHH5 | G3Q7PFRHH5 | statement | record (an 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.38017#M1N1 |
| G3Q86BGY47 | G3Q86BGY47 | statement | record (an 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.30771#3AO7 |
| G3QHGGHFA5 | G3QHGGHFA5 | statement | record (an 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.14914#C26V |
| G3QQS83E8Q | G3QQS83E8Q | unknown | open | arXiv 2211.01586#624R |
| G3RFKXE15H | G3RFKXE15H | 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.08028#77UN |
| G3RWWJTAG4 | G3RWWJTAG4 | statement | record (an 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#9F62 |
| G3RZKF96RD | G3RZKF96RD | statement | record (an 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.22002#CDH9 |
| G3S2961D9E | G3S2961D9E | 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.37967#XI8R |
| G3VZDBNVC3 | G3VZDBNVC3 | statement | record (an 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.24484#0N9N |
| G3WD8RQG9X | G3WD8RQG9X | statement | record (an 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.15106#K7O2 |
| G3WDJKY8DZ | G3WDJKY8DZ | 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.20956#3RBI |
| G3WG39WQDT | G3WG39WQDT | statement | record (an 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.08976#VBWE |
| G3WJ6A6GAB | G3WJ6A6GAB | statement | record (an 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.30933#77V5 |
| G3X02FES3K | G3X02FES3K | 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.06556#PZBH |
| G3XD92V95P | G3XD92V95P | 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.28141#PRSJ |
| G3XDW3TTWG | G3XDW3TTWG | statement | record (an 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.21080#9VYU |
| G3XTG950VW | G3XTG950VW | 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.07828#B8MF |
| G3XVX3VQNF | G3XVX3VQNF | 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.01783#BD8H |
| G3Z0JCSYB5 | G3Z0JCSYB5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.13533#99N6 |
| G3Z1HXCPSV | G3Z1HXCPSV | 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 1004.4564#78G3 |
| G3Z87KE5ZM | G3Z87KE5ZM | statement | record (an 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#QKBZ |
| G3ZC8RNPRQ | G3ZC8RNPRQ | statement | record (an 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#N80O |
| G3ZE2Y98R2 | G3ZE2Y98R2 | statement | record (an 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.00589#V5W0 |
| G4039JZE8Q | G4039JZE8Q | statement | record (an 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.03756#M9T5 |
| G40HQRNNPP | G40HQRNNPP | statement | record (an 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.39700#HK29 |
| G40SYCESX9 | G40SYCESX9 | 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 2401.05118#8BGP |
| G41P5W6BNV | G41P5W6BNV | statement | record (an 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.11478#OSAL |
| G41V4D6JAQ | G41V4D6JAQ | statement | record (an 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.25843#BDOB |
| G42WQBH21T | G42WQBH21T | statement | record (an 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.21444#CZGQ |
| G43A02ATS8 | G43A02ATS8 | statement | record (an 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#U9LM |
| G43FZD5X3D | G43FZD5X3D | statement | record (an 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.1307#76KU |
| G43MAMA7SB | G43MAMA7SB | statement | record (an 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.22882#0A38 |
| G43V99E22X | G43V99E22X | unknown | open | arXiv 2610.13680#767N |
| G44DKENJDT | G44DKENJDT | exercise | open | lebl_scv scv.tex#exercise-11 |
| G44KPHXH0P | G44KPHXH0P | statement | record (an 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.26017#6QW7 |
| G44WKH70Q2 | G44WKH70Q2 | unknown | open | arXiv 2610.10973#HQIV |
| G451HWN6NN | G451HWN6NN | statement | record (an 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.30207#0NR4 |
| G45D0ZT4WK | G45D0ZT4WK | statement | record (an 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.39246#QU32 |
| G45G6QH958 | G45G6QH958 | statement | record (an 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#PKGB |
| G463SEBZZQ | G463SEBZZQ | statement | record (an 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#DBUD |
| G468CP7VCR | G468CP7VCR | statement | record (an 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.26357#MZPY |
| G4699YR6D5 | G4699YR6D5 | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:compactnull |
| G46CB5484G | G46CB5484G | statement | open | lebl_scv scv.tex#lemma:dbaronevar |
| G46DHC0D30 | G46DHC0D30 | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-12 |
| G46PHY63WG | G46PHY63WG | statement | record (an 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.10074#OMXL |
| G47J3E1NEM | G47J3E1NEM | statement | record (an 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.34339#4A4D |
| G47KS2YB5K | G47KS2YB5K | statement | record (an 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#U9FJ |
| G482KRK13W | G482KRK13W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#GZA0 |