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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 9201–9300 of 9674.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RVQ2ZZ22NM | RVQ2ZZ22NM | statement | record (an 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.13782#GJHE |
| RVQ8C58E4T | RVQ8C58E4T | statement | record (an 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#148U |
| RVQZ9DV4RV | RVQZ9DV4RV | 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.07828#ZEBR |
| RVR2T5QBYG | RVR2T5QBYG | statement | record (an 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#61RP |
| RVRMWY7NMC | RVRMWY7NMC | 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 2504.00267#MXO5 |
| RVRVET47X8 | RVRVET47X8 | statement | record (an 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.07040#2UYK |
| RVSCQGWKCJ | RVSCQGWKCJ | 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 2508.02432#NPWD |
| RVSF8NBXEY | RVSF8NBXEY | statement | record (an 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#YP4A |
| RVSSRHRWC1 | RVSSRHRWC1 | statement | record (an 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.12295#F7VN |
| RVT0BB17R4 | RVT0BB17R4 | proof | open | hott_book categories.tex#proof-30 |
| RVT3GKSTQC | RVT3GKSTQC | statement | record (an 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.03292#403A |
| RVT9BSSK01 | RVT9BSSK01 | statement | record (an 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.29185#F3R6 |
| RVTB09M1Z2 | RVTB09M1Z2 | statement | record (an 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.21258#9L2E |
| RVTN2DT54Q | RVTN2DT54Q | statement | record (an 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.10558#Y87Q |
| RVVBEM2GDM | RVVBEM2GDM | 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 2401.14143#589G |
| RVWQ49RKSW | RVWQ49RKSW | statement | record (an 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#TRLL |
| RVWXS4J4Y1 | RVWXS4J4Y1 | 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.08935#OI3O |
| RVXJSRAWYF | RVXJSRAWYF | 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 2303.09207#MRYO |
| RVXR9B0XAK | RVXR9B0XAK | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-19 |
| RVY3FAKEXW | RVY3FAKEXW | statement | record (an 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.25289#QFHL |
| RVYS00QKYZ | RVYS00QKYZ | statement | record (an 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.04935#S587 |
| RVZ72ZDQGS | RVZ72ZDQGS | statement | record (an 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#W2NA |
| RVZH21WXK2 | RVZH21WXK2 | exercise | open | austin_ula src/section7-4.xml#ula-preview-7-4 |
| RVZP4WJRX3 | RVZP4WJRX3 | 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.36088#PKYY |
| RVZTJSK7CQ | RVZTJSK7CQ | statement | record (an 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.11383#6G8S |
| RW iteration for entanglement fidelity | 30HJ4ZTFW1 | statement | record (an 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.40203#2JCL |
| RW0M8S50TQ | RW0M8S50TQ | statement | record (an 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.26496#FCXZ |
| RW0MT37XE0 | RW0MT37XE0 | statement | record (an 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#QDU2 |
| RW0R907QY7 | RW0R907QY7 | 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.19285#Q3DS |
| RW0SXPJEP9 | RW0SXPJEP9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1508.01731#VVYF |
| RW0Z0EA6SS | RW0Z0EA6SS | 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.01247#OJ4G |
| RW16ASZTY8 | RW16ASZTY8 | statement | record (an 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.05499#72XM |
| RW21CB9JF9 | RW21CB9JF9 | 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.11596#CJLW |
| RW22DEVVCV | RW22DEVVCV | statement | record (an 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.20259#EWGS |
| RW2EC32NQY | RW2EC32NQY | statement | record (an 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.10591#N0B4 |
| RW2HV7SR2H | RW2HV7SR2H | statement | record (an 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#3A9E |
| RW2T97G9M9 | RW2T97G9M9 | statement | record (an 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.11021#H65K |
| RW2XA1PZ73 | RW2XA1PZ73 | statement | record (an 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.21914#JK6H |
| RW3AG1EXK1 | RW3AG1EXK1 | statement | record (an 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.22607#Z4QZ |
| RW3HCMEY86 | RW3HCMEY86 | statement | record (an 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#VULT |
| RW4JY6JHAC | RW4JY6JHAC | statement | record (an 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.01411#WZVY |
| RW4KVCF4BX | RW4KVCF4BX | statement | record (an 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#JPYO |
| RW4N0RMGCD | RW4N0RMGCD | exercise | open | lebl_ra ch-multivar-int.tex#exercise:contcompactsupportRn |
| RW4SF9DXGK | RW4SF9DXGK | statement | record (an 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.22708#QX46 |
| RW4SPK5TP1 | RW4SPK5TP1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06581#05FP |
| RW4SSP6PEB | RW4SSP6PEB | statement | record (an 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.09810#VX72 |
| RW515BYBSR | RW515BYBSR | statement | record (an 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#F1B8 |
| RW60K3ZMNZ | RW60K3ZMNZ | proof | open | napkin tex/alg-NT/galois.tex#proof-3 |
| RW66D2DNP9 | RW66D2DNP9 | statement | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#lem:box1 |
| RW691PZ6VA | RW691PZ6VA | statement | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#lem-1 |
| RW6EB4D0H2 | RW6EB4D0H2 | 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.26337#HDEQ |
| RW6JZFW4NZ | RW6JZFW4NZ | statement | record (an 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#NEAY |
| RW7661617Q | RW7661617Q | statement | record (an 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.29422#G9QQ |
| RW78BSYJ3S | RW78BSYJ3S | statement | record (an 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.20531#PUHU |
| RW7PEY2BH3 | RW7PEY2BH3 | statement | record (an 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.09201#EUEV |
| RW824YQMB2 | RW824YQMB2 | 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.25524#WEJK |
| RW8T3HCHPW | RW8T3HCHPW | statement | record (an 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.07001#962N |
| RW9KD7RVC9 | RW9KD7RVC9 | statement | record (an 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.28552#TZ0V |
| RW9YN160N0 | RW9YN160N0 | statement | record (an 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.03310#FO8P |
| RWB4Y5ZV7F | RWB4Y5ZV7F | statement | record (an 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.23671#5C9M |
| RWB686JQBF | RWB686JQBF | statement | record (an 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#1VCE |
| RWBDKPQ1SG | RWBDKPQ1SG | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-14 |
| RWCJN8QRP2 | RWCJN8QRP2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#POP1 |
| RWCWSXEV0R | RWCWSXEV0R | statement | record (an 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#YETX |
| RWD35VCA2B | RWD35VCA2B | statement | record (an 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.02017#CURV |
| RWDMYR6AB4 | RWDMYR6AB4 | statement | record (an 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.18223#Y5YZ |
| RWDWBY66A3 | RWDWBY66A3 | statement | record (an 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#XVMM |
| RWE61A3HBR | RWE61A3HBR | 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.02751#07VZ |
| RWERXTWE9H | RWERXTWE9H | statement | record (an 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#Y9XP |
| RWF19FP4TD | RWF19FP4TD | statement | record (an 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#GM3V |
| RWFA8Z1QPP | RWFA8Z1QPP | statement | record (an 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#NWU8 |
| RWFME17Z0Q | RWFME17Z0Q | statement | record (an 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.21900#YKWN |
| RWG426BNJM | RWG426BNJM | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-9 |
| RWG7R2R0NW | RWG7R2R0NW | 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.28742#9TS6 |
| RWGJ96B1GG | RWGJ96B1GG | statement | record (an 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.35102#UM28 |
| RWHQFD2BF1 | RWHQFD2BF1 | statement | record (an 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.26745#TXS7 |
| RWHV96XQJ6 | RWHV96XQJ6 | statement | record (an 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.04069#JHAA |
| RWHVPDJ9K6 | RWHVPDJ9K6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#ML5B |
| RWHXM9VB4Q | RWHXM9VB4Q | statement | record (an 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.00135#HVRP |
| RWJ1CJ7MQJ | RWJ1CJ7MQJ | statement | record (an 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.25468#SOJC |
| RWJ4X2C6M6 | RWJ4X2C6M6 | statement | record (an 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.21037#IDME |
| RWJBV7G96F | RWJBV7G96F | statement | record (an 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.37897#8C7K |
| RWJFG2JAZE | RWJFG2JAZE | 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 0809.4587#SCEF |
| RWJJK4BSZ3 | RWJJK4BSZ3 | statement | record (an 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#2I17 |
| RWKC8RJRHR | RWKC8RJRHR | statement | record (an 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.05396#W9GG |
| RWKWHEV5D9 | RWKWHEV5D9 | statement | record (an 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.06707#XDSD |
| RWME2Y3BH6 | RWME2Y3BH6 | statement | record (an 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.09819#M2RG |
| RWMSK77EYA | RWMSK77EYA | statement | record (an 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.37520#QVLW |
| RWMTTW5W89 | RWMTTW5W89 | statement | record (an 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#6HIG |
| RWN2P9HNGQ | RWN2P9HNGQ | statement | record (an 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.13841#UXMR |
| RWN96PCE4F | RWN96PCE4F | statement | record (an 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#KHRK |
| RWNEDV6XGV | RWNEDV6XGV | unknown | open | |
| RWP4EQJ2NX | RWP4EQJ2NX | statement | record (an 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.27366#3HWH |
| RWPJ90G5YZ | RWPJ90G5YZ | 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.34731#5SAA |
| RWPK7JYCVK | RWPK7JYCVK | statement | record (an 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.38749#GYO3 |
| RWPMMH8VDK | RWPMMH8VDK | statement | record (an 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.34522#Z9YI |
| RWPR3JXQ3Y | RWPR3JXQ3Y | statement | record (an 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#R5BF |
| RWPS057KBH | RWPS057KBH | statement | record (an 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.36613#EXCA |
| RWPS2KNTKA | RWPS2KNTKA | 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.21047#6K6T |
| RWPT7XFR8V | RWPT7XFR8V | statement | record (an 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.31389#4LD1 |