Inventory: R
The rows of the inventory whose names start with R. 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 2901–3000 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RFT19W6D7N | RFT19W6D7N | statement | record (an 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.03719#DAYB |
| RFT4350G9T | RFT4350G9T | statement | record (an 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.00617#2XNB |
| RFTASKTQ9X | RFTASKTQ9X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.2115#KDQK |
| RFTFDHYYXV | RFTFDHYYXV | statement | record (an 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.21921#2CSC |
| RFTWNQQ8R5 | RFTWNQQ8R5 | statement | record (an 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.18564#I38X |
| RFTX6GYAN0 | RFTX6GYAN0 | statement | record (an 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.03611#MDFQ |
| RFTX9S9TCZ | RFTX9S9TCZ | statement | record (an 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.05232#9847 |
| RFVPF5QDKD | RFVPF5QDKD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#5KBJ |
| RFVSC5T9CX | RFVSC5T9CX | statement | record (an 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.04566#22HJ |
| RFVTK6R247 | RFVTK6R247 | definition | open | lebl_scv scv.tex#defn:danddbarform |
| RFW1HNBVD3 | RFW1HNBVD3 | statement | record (an 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#DUVQ |
| RFW7XAX4E0 | RFW7XAX4E0 | statement | record (an 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#0UNI |
| RFX7BG5HRC | RFX7BG5HRC | statement | record (an 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.01498#RN3E |
| RFX7WW4S7T | RFX7WW4S7T | exercise | open | napkin tex/topology/metric-top.tex#problem-4 |
| RFXX3KX646 | RFXX3KX646 | statement | record (an 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.40345#XJAO |
| RFYF674287 | RFYF674287 | statement | record (an 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#TS7I |
| RFYRF4ANRF | RFYRF4ANRF | statement | record (an 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.17325#1944 |
| RFYTFFWVH5 | RFYTFFWVH5 | statement | record (an 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.03327#59SH |
| RFZ3W8EQ18 | RFZ3W8EQ18 | statement | record (an 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.03619#LD5H |
| RFZ6WQH206 | RFZ6WQH206 | statement | record (an 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.18226#3V7F |
| RFZ9CR6NZ8 | RFZ9CR6NZ8 | statement | record (an 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#F3FA |
| RFZBV5YMQT | RFZBV5YMQT | unknown | open | |
| RFZM84689K | RFZM84689K | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#question-1 |
| RFZMMJR23S | RFZMMJR23S | statement | record (an 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.14204#GUCI |
| RFZRZEVZY9 | RFZRZEVZY9 | statement | record (an 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#7OHR |
| RFZYCE9P3F | RFZYCE9P3F | statement | record (an 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#4714 |
| RG027A74XR | RG027A74XR | example | open | hott_book logic.tex#eg:isset-unit |
| RG19ZR21XX | RG19ZR21XX | statement | record (an 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.40290#Z2LF |
| RG1J984VRX | RG1J984VRX | statement | record (an 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#5K0K |
| RG212B85VZ | RG212B85VZ | 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 1810.06028#9ZKX |
| RG28H9ZNKC | RG28H9ZNKC | statement | record (an 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.03050#LFRD |
| RG2TWE5NA7 | RG2TWE5NA7 | statement | record (an 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.28861#MXYU |
| RG3532PCQ4 | RG3532PCQ4 | statement | record (an 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.01873#RXTU |
| RG395CHSC6 | RG395CHSC6 | statement | record (an 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.28411#HK80 |
| RG3E62G0HS | RG3E62G0HS | statement | record (an 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.00789#D9ZO |
| RG3E7X71EN | RG3E7X71EN | 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.01273#JCI3 |
| RG46W9394R | RG46W9394R | statement | record (an 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.3741#O3LF |
| RG5PEXXFKN | RG5PEXXFKN | example | open | austin_ula src/section4-3.xml#example-1 |
| RG760GB92R | RG760GB92R | statement | record (an 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.08382#I3OK |
| RG79EXPZAF | RG79EXPZAF | exercise | open | open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-4 |
| RG85MFXVX1 | RG85MFXVX1 | statement | record (an 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.34011#WDX1 |
| RG924MAEST | RG924MAEST | statement | record (an 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.39307#ZBIJ |
| RGA733N9CF | RGA733N9CF | 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.26417#BSHG |
| RGAABBXJZM | RGAABBXJZM | statement | record (an 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.05327#8DLQ |
| RGAGQBR98Q | RGAGQBR98Q | statement | record (an 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.07608#5YRW |
| RGAP5QQBQB | RGAP5QQBQB | statement | record (an 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.33019#R2JP |
| RGBNRHR72P | RGBNRHR72P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05923#YQ1K |
| RGC9A67YPB | RGC9A67YPB | statement | record (an 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.32393#WEN9 |
| RGCD5GXT27 | RGCD5GXT27 | statement | record (an 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.16386#6YUO |
| RGCKR6F6S6 | RGCKR6F6S6 | 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 2109.12716#PV4C |
| RGCR8E61AG | RGCR8E61AG | statement | record (an 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.36818#IHWK |
| RGD1S67AR2 | RGD1S67AR2 | 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.11596#JCO9 |
| RGDBD522S2 | RGDBD522S2 | statement | record (an 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.06081#7A8V |
| RGE0AZV43F | RGE0AZV43F | statement | record (an 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.39389#UJWM |
| RGEQ113QRV | RGEQ113QRV | definition | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#definition-1 |
| RGERM2WY41 | RGERM2WY41 | statement | record (an 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.14837#9MDK |
| RGEVNNRGPT | RGEVNNRGPT | statement | record (an 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.38838#38PZ |
| RGEZREKTMV | RGEZREKTMV | proof | open | napkin tex/H113/ring-flavors.tex#proof-4 |
| RGFWE08X3P | RGFWE08X3P | statement | record (an 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.03081#NVZO |
| RGGZECHQ4N | RGGZECHQ4N | statement | record (an 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.19285#T7WX |
| RGKE68C5QA | RGKE68C5QA | statement | record (an 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.30165#E04T |
| RGKSB6VR5A | RGKSB6VR5A | statement | record (an 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.02495#L95B |
| RGKT54HH7E | RGKT54HH7E | statement | record (an 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.06336#MN6Z |
| RGN1S6R4NT | RGN1S6R4NT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.21337#BV0I |
| RGNHYJTHBR | RGNHYJTHBR | definition | open | napkin tex/alg-geom/proj-var.tex#definition-2 |
| RGNWKR9F7A | RGNWKR9F7A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#D7VH |
| RGP6W353QM | RGP6W353QM | statement | record (an 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.15169#FKEP |
| RGPMJF4FFN | RGPMJF4FFN | statement | record (an 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.08081#LEEW |
| RGPTFGC31D | RGPTFGC31D | 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 2108.10246#9ZWS |
| RGQ0ZAT8YD | RGQ0ZAT8YD | exercise | open | lebl_ra ch-der.tex#exercise-37 |
| RGQ5YQV8MF | RGQ5YQV8MF | statement | record (an 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.31363#UJN3 |
| RGQ71X9B0D | RGQ71X9B0D | statement | record (an 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.40355#AG13 |
| RGQ7ZHM8Z9 | RGQ7ZHM8Z9 | 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.14838#QUB9 |
| RGQ92WQJ30 | RGQ92WQJ30 | statement | record (an 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.11468#9L8A |
| RGR87NGQDH | RGR87NGQDH | 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#SN95 |
| RGREN97W9G | RGREN97W9G | statement | record (an 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.10248#426A |
| RGS00J8HXY | RGS00J8HXY | definition | open | napkin tex/H113/ring-intro.tex#def:unit |
| RGS88PVYED | RGS88PVYED | statement | record (an 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#W6S9 |
| RGSA7PGX8G | RGSA7PGX8G | statement | open | lebl_scv scv.tex#thm:dbaronpoly |
| RGSPHJYM1E | RGSPHJYM1E | 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.26417#2QJG |
| RGSPRZ5FQY | RGSPRZ5FQY | statement | record (an 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.26521#N7HM |
| RGSRQ302W7 | RGSRQ302W7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.17785#OG98 |
| RGTDPMNNZX | RGTDPMNNZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#6CUE |
| RGTEH0SQK8 | RGTEH0SQK8 | statement | record (an 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.25435#JEXH |
| RGV0VRYJFC | RGV0VRYJFC | statement | record (an 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.00076#1NPM |
| RGVSVDHRRZ | RGVSVDHRRZ | statement | record (an 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.04873#WSVG |
| RGW4AA39XT | RGW4AA39XT | statement | record (an 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#S0ZB |
| RGWKX9NC4G | RGWKX9NC4G | statement | record (an 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.07352#ONA5 |
| RGX57XG4P2 | RGX57XG4P2 | statement | record (an 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.34289#PXYG |
| RGXKZ9NKTP | RGXKZ9NKTP | statement | record (an 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.35339#U4HW |
| RGXRHHQ5QN | RGXRHHQ5QN | 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 2211.14629#413O |
| RGXS435YS5 | RGXS435YS5 | statement | record (an 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.29712#OUWL |
| RGXXHHX5Q4 | RGXXHHX5Q4 | statement | record (an 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.33469#ZAV4 |
| RGY9RYY20B | RGY9RYY20B | statement | record (an 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#4LOP |
| RGZ6WVAB4Z | RGZ6WVAB4Z | statement | record (an 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.01753#PPOQ |
| RGZSQSKMG3 | RGZSQSKMG3 | statement | record (an 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.05973#5DL9 |
| RGZZW9KPZ3 | RGZZW9KPZ3 | statement | record (an 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.02681#O1PA |
| RH implies $N_{\ast}$ is eventually strictly increasing | YWZC8J8JQ9 | statement | record (an 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.03728#KYA0 |
| RH0KQJZB2W | RH0KQJZB2W | statement | record (an 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.06699#F6ZT |
| RH1NHXMZAB | RH1NHXMZAB | statement | record (an 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.28893#04GA |