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 8401–8500 of 9674.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RQ74XJXJ1A | RQ74XJXJ1A | statement | open | lebl_ra ch-contfunc.tex#prop-4 |
| RQ7DZHRXPJ | RQ7DZHRXPJ | statement | record (an 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.31523#TT48 |
| RQ7WRBG6TP | RQ7WRBG6TP | 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 2103.08272#9LR2 |
| RQ8Q85W8EZ | RQ8Q85W8EZ | 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.27420#WPGE |
| RQ8XATD0H0 | RQ8XATD0H0 | statement | record (an 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.38030#DSL8 |
| RQ95B77T1T | RQ95B77T1T | 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.16583#BM00 |
| RQ95W68R8A | RQ95W68R8A | definition | open | napkin tex/H113/structure.tex#definition-6 |
| RQ9FJKPK6K | RQ9FJKPK6K | statement | record (an 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#IKJL |
| RQ9HHGAZ47 | RQ9HHGAZ47 | statement | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#lem:q-proves-mult |
| RQ9NGXKN95 | RQ9NGXKN95 | statement | record (an 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.20170#5RRS |
| RQ9THSRDVV | RQ9THSRDVV | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-11 |
| RQA7NTK7DG | RQA7NTK7DG | statement | record (an 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.25801#RBP7 |
| RQA8XX6FXE | RQA8XX6FXE | 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 2310.11101#RQEN |
| RQAJJZKRHC | RQAJJZKRHC | statement | record (an 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.11047#HKU7 |
| RQAKFXB30X | RQAKFXB30X | statement | record (an 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#SDYZ |
| RQBFQVXQS4 | RQBFQVXQS4 | 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.36321#0WAP |
| RQBKXH4FM3 | RQBKXH4FM3 | statement | record (an 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.28993#GG8F |
| RQBTBP7W90 | RQBTBP7W90 | example | open | napkin tex/alg-geom/spec-zariski.tex#example-4 |
| RQDTNEA12J | RQDTNEA12J | 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.24078#2SMH |
| RQE558069D | RQE558069D | statement | record (an 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.25314#CP4Y |
| RQEAN3NGDF | RQEAN3NGDF | statement | record (an 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.07890#233Z |
| RQEKJHQJVV | RQEKJHQJVV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#GQZX |
| RQF6E6FX5D | RQF6E6FX5D | 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.10365#U87X |
| RQFD37GGBS | RQFD37GGBS | unknown | open | arXiv 2610.13680#QYOV |
| RQFDBH3BZP | RQFDBH3BZP | statement | record (an 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.26127#HULP |
| RQFNN4QW8V | RQFNN4QW8V | statement | record (an 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/0512416#6VUA |
| RQG36949WN | RQG36949WN | definition | open | Wikipedia Glossary of algebraic geometry#M7R0 |
| RQG92HEQ7R | RQG92HEQ7R | exercise | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-4 |
| RQGHHA1CJ6 | RQGHHA1CJ6 | 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.04833#DTTV |
| RQJRW8QQHH | RQJRW8QQHH | statement | record (an 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#LVQE |
| RQJSWBAGZK | RQJSWBAGZK | statement | record (an 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.21972#KDCQ |
| RQK0T4JSMH | RQK0T4JSMH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.03317#69LR |
| RQK1NBZ6BZ | RQK1NBZ6BZ | statement | record (an 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.21507#WHQL |
| RQK5ZCPXQ8 | RQK5ZCPXQ8 | statement | record (an 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.17091#NE3W |
| RQKM6Y2V2G | RQKM6Y2V2G | statement | record (an 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.34213#Z4DS |
| RQKSHTDM7Z | RQKSHTDM7Z | statement | record (an 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.14783#317R |
| RQM4ME0GH1 | RQM4ME0GH1 | 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.24845#F0YS |
| RQNN0QQV1N | RQNN0QQV1N | statement | record (an 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.27673#WP40 |
| RQNS1XFWNG | RQNS1XFWNG | statement | record (an 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.34675#1HOI |
| RQP0SR5AVN | RQP0SR5AVN | statement | record (an 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.09354#3W78 |
| RQPK6TZW2K | RQPK6TZW2K | statement | record (an 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.37159#V9EG |
| RQPZYK7K1S | RQPZYK7K1S | statement | record (an 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.23527#54H2 |
| RQQFYC9ZY3 | RQQFYC9ZY3 | 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.20018#7YUR |
| RQRH87YGSZ | RQRH87YGSZ | statement | record (an 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.28195#H4WP |
| RQS7A7DXVN | RQS7A7DXVN | statement | record (an 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.26129#L00Y |
| RQSBQWKXK4 | RQSBQWKXK4 | statement | record (an 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.18101#JKNM |
| RQSYWXQE1J | RQSYWXQE1J | statement | record (an 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.11056#OG8Y |
| RQT6YD5YVM | RQT6YD5YVM | exercise | open | open_logic content/computability/recursive-functions/pr-relations.tex#prob-1 |
| RQTMR02QVC | RQTMR02QVC | statement | record (an 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#1LNY |
| RQTTEAWVSW | RQTTEAWVSW | statement | record (an 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.07190#TK87 |
| RQVCWJQ1ZV | RQVCWJQ1ZV | 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.21491#34K8 |
| RQVV0B53WN | RQVV0B53WN | exercise | open | lebl_ra ch-multivar-int.tex#exercise-24 |
| RQW6KXMZFF | RQW6KXMZFF | 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.32524#YDHT |
| RQWGYXNNR4 | RQWGYXNNR4 | statement | record (an 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.03672#DB3Q |
| RQWZ26VWJY | RQWZ26VWJY | statement | open | open_logic content/first-order-logic/completeness/downward-ls.tex#noidentity-ls |
| RQX9X96FBZ | RQX9X96FBZ | exercise | open | austin_ula src/exercises/exercises1-2.xml#exercise-3 |
| RQXKZN573Z | RQXKZN573Z | 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.13271#7IWN |
| RQY7KWHZM6 | RQY7KWHZM6 | statement | record (an 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.21305#UFUU |
| RQYAH2RCJA | RQYAH2RCJA | statement | record (an 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.12326#UPON |
| RQYAH7S8VN | RQYAH7S8VN | definition | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#defn-2 |
| RQYKH7GC73 | RQYKH7GC73 | statement | record (an 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.13931#QDM2 |
| RQYQ6VJHAK | RQYQ6VJHAK | statement | record (an 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.23872#SOQS |
| RQYQFXD65Z | RQYQFXD65Z | statement | record (an 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.34613#VHYG |
| RQZ1627GAR | RQZ1627GAR | 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.21668#A8QN |
| RQZS8H65XK | RQZS8H65XK | 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 2507.12309#HMMB |
| RQZWWSAG4Z | RQZWWSAG4Z | statement | record (an 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.05067#1WPR |
| RR+SGE projected-gradient reduction | P58SBCSTYS | statement | record (an 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.21139#UXZN |
| RR-RowSGDM versus AdamProxy accuracy ordering | AFHGZKWHYH | statement | record (an 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.11309#3PNS |
| RR00VGH722 | RR00VGH722 | proof | open | hott_book hlevels.tex#proof-1 |
| RR0N7JW0SP | RR0N7JW0SP | statement | record (an 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.18246#M84M |
| RR0Q4WTB9A | RR0Q4WTB9A | statement | record (an 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.15037#U1LF |
| RR0T6BAZN8 | RR0T6BAZN8 | statement | record (an 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.39793#Z3PE |
| RR0TRH6BSH | RR0TRH6BSH | statement | record (an 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.29205#G9CG |
| RR0Y3SD0TB | RR0Y3SD0TB | statement | record (an 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.04809#EFXK |
| RR1M4TDHGK | RR1M4TDHGK | problem | open | Wikipedia Laver table#AJBC |
| RR1NYWSEMX | RR1NYWSEMX | 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 2311.00585#SMNS |
| RR1Q0Y121T | RR1Q0Y121T | exercise | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-1 |
| RR1XH0DVZ1 | RR1XH0DVZ1 | statement | record (an 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.29838#YMIB |
| RR2HTBXTZE | RR2HTBXTZE | 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.34551#ZOW7 |
| RR33AHG0TK | RR33AHG0TK | statement | record (an 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.21692#NTV8 |
| RR34CM4RG0 | RR34CM4RG0 | proof | open | napkin tex/alg-geom/bezout.tex#proof-8 |
| RR3W6WHK87 | RR3W6WHK87 | statement | record (an 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.21005#MHRS |
| RR3ZB6NX9W | RR3ZB6NX9W | example | open | lebl_ra ch-seq-funcs.tex#example-8 |
| RR43MKMF6C | RR43MKMF6C | statement | record (an 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#KJS5 |
| RR43QYHCFJ | RR43QYHCFJ | statement | record (an 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.06381#G33D |
| RR49VDMY0V | RR49VDMY0V | statement | record (an 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.27125#YBV4 |
| RR4GNCY63Z | RR4GNCY63Z | statement | record (an 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.26479#9V3F |
| RR502HQMT0 | RR502HQMT0 | 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.13213#YMNT |
| RR5AA4C1FM | RR5AA4C1FM | statement | record (an 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#9LA5 |
| RR5TQVXYK9 | RR5TQVXYK9 | exercise | open | lebl_ra ch-der.tex#exercise:diffsqueeze |
| RR6589CCVJ | RR6589CCVJ | statement | record (an 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.01737#J2RZ |
| RR6F5JSDX5 | RR6F5JSDX5 | statement | record (an 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.32599#JJI3 |
| RR6M7JQEPD | RR6M7JQEPD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.15680#JLPS |
| RR6S4NA2QG | RR6S4NA2QG | topic | open | Wikidata Q114705940 |
| RR6SGQ6PXX | RR6SGQ6PXX | statement | record (an 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#1YEB |
| RR6VRQWVKD | RR6VRQWVKD | statement | record (an 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.06764#HED9 |
| RR70ND8XWB | RR70ND8XWB | statement | record (an 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.33442#ZMNS |
| RR785N6S4N | RR785N6S4N | statement | record (an 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#J3R7 |
| RR7FEQ419C | RR7FEQ419C | statement | record (an 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#WBW3 |
| RR7HFDX4J9 | RR7HFDX4J9 | exercise | open | lebl_scv scv.tex#exercise-270 |