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 4001–4100 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RPRFMKN264 | RPRFMKN264 | statement | record (an 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.07541#WYNG |
| RPRN5MCGK6 | RPRN5MCGK6 | statement | record (an 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.01057#8ZM2 |
| RPRQ030YQ1 | RPRQ030YQ1 | statement | record (an 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.14377#8QV1 |
| RPRYR89CMA | RPRYR89CMA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.05158#PHU2 |
| RPRZMH4510 | RPRZMH4510 | statement | record (an 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#AXUG |
| RPS0GNR24N | RPS0GNR24N | statement | record (an 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#RAI6 |
| RPTNEZA61R | RPTNEZA61R | statement | record (an 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.06372#DNDL |
| RPVJBFHM0M | RPVJBFHM0M | 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 2608.24190#O1M6 |
| RPVNSHBMAB | RPVNSHBMAB | statement | record (an 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.05730#HGCG |
| RPVZCY3KKD | RPVZCY3KKD | statement | record (an 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.20663#ZQXM |
| RPW99YR2FP | RPW99YR2FP | statement | record (an 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.30363#GKGT |
| RPWCRSSTJR | RPWCRSSTJR | 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.00512#TTOK |
| RPWJDMRKS9 | RPWJDMRKS9 | statement | record (an 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.29918#BTAI |
| RPWPH5VYXJ | RPWPH5VYXJ | statement | record (an 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.05365#123U |
| RPWTQ0Z7M8 | RPWTQ0Z7M8 | statement | record (an 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.17442#67DH |
| RPXFJ2H27N | RPXFJ2H27N | statement | record (an 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.03062#2V1Q |
| RPXMTXD5QA | RPXMTXD5QA | statement | record (an 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.25094#J05D |
| RPXVBMFSRH | RPXVBMFSRH | statement | record (an 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.34295#ARRP |
| RPY0TSHK4G | RPY0TSHK4G | example | open | open_logic content/sets-functions-relations/functions/function-basics.tex#ex-3 |
| RPY7Y0H9PZ | RPY7Y0H9PZ | statement | record (an 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.24599#8EGS |
| RPYQH29418 | RPYQH29418 | statement | record (an 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#S9WJ |
| RPZ6P9MW6D | RPZ6P9MW6D | statement | record (an 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.20391#ED3U |
| RPZEE7SMW9 | RPZEE7SMW9 | statement | record (an 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.12116#14XS |
| RPZV0VYPCS | RPZV0VYPCS | statement | open | napkin tex/homology/cellular.tex#theorem-1 |
| RPZXG5CA93 | RPZXG5CA93 | statement | record (an 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.12324#XSHB |
| RPZYZK9CPZ | RPZYZK9CPZ | statement | record (an 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.15088#3D0W |
| RQ0209BE9Q | RQ0209BE9Q | statement | record (an 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.14450#FJDI |
| RQ0AJ2V4BP | RQ0AJ2V4BP | 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.31327#YCK5 |
| RQ11H6YNZV | RQ11H6YNZV | statement | record (an 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.10086#J4AD |
| RQ1WZ4Q8HX | RQ1WZ4Q8HX | statement | record (an 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.31090#Z03K |
| RQ2GJZVQFM | RQ2GJZVQFM | statement | record (an 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.16605#F4UP |
| RQ2J9SK6K3 | RQ2J9SK6K3 | statement | record (an 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.01717#4TFM |
| RQ3YY04N5G | RQ3YY04N5G | statement | record (an 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.13850#0KD0 |
| RQ41XE3M8W | RQ41XE3M8W | statement | record (an 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#0R1I |
| RQ42Q1DN9X | RQ42Q1DN9X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1308.2487#15TJ |
| RQ48GKTE1F | RQ48GKTE1F | statement | record (an 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.00775#YWW8 |
| RQ4RX30F7X | RQ4RX30F7X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#79CT |
| RQ4XPYT7FE | RQ4XPYT7FE | definition | open | open_logic content/proof-theory/natural-deduction/rules-proofs.tex#defn-1 |
| RQ5D1X562E | RQ5D1X562E | statement | record (an 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.00115#ZRSZ |
| RQ5GCFJDZ6 | RQ5GCFJDZ6 | 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 2303.09207#S4II |
| RQ5ZT45MA4 | RQ5ZT45MA4 | statement | record (an 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.31907#9UDI |
| RQ6NAX1ZE9 | RQ6NAX1ZE9 | statement | record (an 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#LIDL |
| RQ6XACMQHC | RQ6XACMQHC | statement | record (an 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.09873#JLUB |
| RQ7401WB6N | RQ7401WB6N | exercise | open | napkin tex/alg-NT/galois.tex#exercise-2 |
| RQ74E9PQ5K | RQ74E9PQ5K | statement | record (an 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.12330#LV2Z |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| RQY634AR2V | RQY634AR2V | statement | open | Wikidata Q23488, MathWorld 6, ProofWiki 6 |
| 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 |