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 2501–2600 of 9674.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RBGWWC50EW | RBGWWC50EW | statement | record (an 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.09078#UK5K |
| RBHGNN66E3 | RBHGNN66E3 | statement | record (an 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.20097#QJOP |
| RBJ99WMC91 | RBJ99WMC91 | statement | record (an 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.04730#CK02 |
| RBK2Z6YMY8 | RBK2Z6YMY8 | statement | record (an 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.31104#USMW |
| RBK8F4WRE6 | RBK8F4WRE6 | statement | record (an 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.29152#C0W7 |
| RBK8SBVN19 | RBK8SBVN19 | statement | record (an 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/9602216#2CXJ |
| RBKHBT4JG1 | RBKHBT4JG1 | 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 2311.16252#36J3 |
| RBKP38BXVF | RBKP38BXVF | statement | record (an 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.16102#MW4D |
| RBKPQNFJN8 | RBKPQNFJN8 | 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.32916#N2YD |
| RBM0EHHFW3 | RBM0EHHFW3 | statement | record (an 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.28781#ZZN5 |
| RBM1N2H406 | RBM1N2H406 | statement | record (an 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.14160#PJEM |
| RBM97RYWWT | RBM97RYWWT | statement | record (an 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.40200#VG55 |
| RBMJDS1B41 | RBMJDS1B41 | statement | record (an 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.04434#N5R3 |
| RBMJEJ4546 | RBMJEJ4546 | statement | record (an 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.20725#5ONL |
| RBP6SVW3F9 | RBP6SVW3F9 | 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 2412.14956#62D5 |
| RBPDVME3GZ | RBPDVME3GZ | statement | record (an 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.05193#SXMK |
| RBPHZE2DDE | RBPHZE2DDE | statement | record (an 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.03424#X8G6 |
| RBPSKXE4A6 | RBPSKXE4A6 | statement | record (an 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.28518#SH5Z |
| RBPVRCPFJY | RBPVRCPFJY | statement | record (an 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.19861#QWGJ |
| RBQ3MSP8ZW | RBQ3MSP8ZW | statement | record (an 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.05722#WK8R |
| RBQ48T31HX | RBQ48T31HX | statement | record (an 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.19449#WPPE |
| RBRJ75DGDA | RBRJ75DGDA | statement | record (an 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.08873#D09Q |
| RBRX35WS4H | RBRX35WS4H | statement | record (an 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.04993#BPMJ |
| RBSJBM8MDQ | RBSJBM8MDQ | exercise | open | austin_ula src/section4-3.xml#ula-preview-4-3 |
| RBT2TD6Q8R | RBT2TD6Q8R | proof | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#proof-1 |
| RBTGGHGCW7 | RBTGGHGCW7 | statement | record (an 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.16962#IVP2 |
| RBTZPN813Q | RBTZPN813Q | statement | record (an 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.25345#LF9E |
| RBV1ZGEQG9 | RBV1ZGEQG9 | 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 2401.15490#GSRK |
| RBVXCJBCQN | RBVXCJBCQN | statement | record (an 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.39254#58SW |
| RBW2GQ6YBH | RBW2GQ6YBH | statement | open | lebl_ra ch-real-nums.tex#prop:funcsupinf |
| RBW6F9XRZC | RBW6F9XRZC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#38GH |
| RBW8RDSDE9 | RBW8RDSDE9 | 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.17875#2VTG |
| RBWXNPK81W | RBWXNPK81W | statement | record (an 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#UJ48 |
| RBXCY91WGR | RBXCY91WGR | statement | record (an 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.01567#Q6CM |
| RBXDAKNP68 | RBXDAKNP68 | 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#RU8B |
| RBXP7YX8BE | RBXP7YX8BE | 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.25291#YQIP |
| RBY3XPFB9R | RBY3XPFB9R | statement | record (an 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.01473#D7G8 |
| RBY8W17MG2 | RBY8W17MG2 | example | open | napkin tex/linalg/eigenvalues.tex#example-1 |
| RBYAE1QM4N | RBYAE1QM4N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#PI19 |
| RBYN63P06A | RBYN63P06A | 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 2609.37769#US6I |
| RBYV8S7P7H | RBYV8S7P7H | example | open | napkin tex/cats/limits.tex#example-1 |
| RBYYA2Y5FK | RBYYA2Y5FK | 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.20758#XS4D |
| RBZ1751R1N | RBZ1751R1N | statement | record (an 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.00934#GT35 |
| RBZTTBRA0G | RBZTTBRA0G | statement | record (an 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.04305#YVEQ |
| RC algorithm | MCXPJYBH2C | definition | open | Wikipedia RC algorithm, Wikidata Q7276210 |
| RC097QV3S8 | RC097QV3S8 | statement | record (an 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.31615#2R2I |
| RC0D2EFC7C | RC0D2EFC7C | statement | record (an 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#JN0B |
| RC0XEKB3HV | RC0XEKB3HV | definition | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#def:continuity |
| RC13FVJZMR | RC13FVJZMR | statement | record (an 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.22528#IND5 |
| RC1FBHQFJ8 | RC1FBHQFJ8 | statement | record (an 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.18620#4DL4 |
| RC1RGFSJQ5 | RC1RGFSJQ5 | statement | record (an 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.20932#P5G1 |
| RC1W8WWTVF | RC1W8WWTVF | statement | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordtimeslessiswo |
| RC2 | EPNS0ZQFM4 | definition | open | Wikipedia RC2, Wikidata Q1753382 |
| RC25R793HA | RC25R793HA | statement | open | hott_book categories.tex#ct:cat-2cat |
| RC26GRR609 | RC26GRR609 | statement | record (an 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.03517#V3WQ |
| RC2K7KTW5G | RC2K7KTW5G | statement | record (an 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#MQ7R |
| RC2X7CV7M1 | RC2X7CV7M1 | statement | record (an 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#N7DE |
| RC3PQYT6B9 | RC3PQYT6B9 | statement | record (an 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.11439#A88J |
| RC4 | 4W9MTTT248 | definition | open | Wikipedia List of cryptosystems#VI7G |
| RC4 | HND430RR5H | definition | open | Wikipedia RC4, Wikidata Q846955 |
| RC4 variants | PNKQ37QHBX | statement | open | Wikipedia RC4#DQBK |
| RC4JFFM8EF | RC4JFFM8EF | statement | record (an 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.02506#MQU2 |
| RC5 | QRDHFAA4DM | definition | open | Wikipedia RC5, Wikidata Q1349650 |
| RC563TFHVD | RC563TFHVD | statement | record (an 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.22180#QYTX |
| RC5AN5GE56 | RC5AN5GE56 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#JLR5 |
| RC6 | Z25NZHD482 | definition | open | Wikipedia RC6, Wikidata Q1356939 |
| RC64X72AVC | RC64X72AVC | statement | record (an 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#9RDX |
| RC6D9M9V95 | RC6D9M9V95 | 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 2311.03011#0QSD |
| RC6QPH1YPN | RC6QPH1YPN | 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.26701#RQRB |
| RC6SYTSSV4 | RC6SYTSSV4 | statement | record (an 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.05602#46QL |
| RC6VBB90YC | RC6VBB90YC | statement | record (an 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.28780#09D6 |
| RC6Y60Y3WM | RC6Y60Y3WM | statement | record (an 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.20458#6MIU |
| RC7BX0RYE4 | RC7BX0RYE4 | statement | record (an 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.05005#UTUC |
| RC7WEFHF3P | RC7WEFHF3P | statement | record (an 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.23332#LOHS |
| RC8WXGN9Q9 | RC8WXGN9Q9 | proof | open | open_logic content/proof-theory/proof-search/completeness.tex#proof-2 |
| RC8Z1V6QVX | RC8Z1V6QVX | statement | record (an 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.24795#KIGR |
| RC9FVGBY6V | RC9FVGBY6V | 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.10469#MO78 |
| RC9NKW7SHF | RC9NKW7SHF | statement | record (an 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#79SI |
| RC9PY2HMWC | RC9PY2HMWC | statement | record (an 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.34856#Y1MY |
| RCA18CXH7R | RCA18CXH7R | statement | record (an 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.17009#I8B7 |
| RCA95PC8Z7 | RCA95PC8Z7 | statement | record (an 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.04330#K4IM |
| RCAPP9BP2K | RCAPP9BP2K | exercise | open | hott_book preliminaries.tex#ex:neg-ldn |
| RCA₀ | TM10WB2XK9 | unknown | open | Wikipedia Reverse mathematics#ND09 |
| RCB55SP1GP | RCB55SP1GP | statement | record (an 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.40200#8WWF |
| RCBEWB2RTA | RCBEWB2RTA | statement | record (an 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#47O4 |
| RCC2VB5Q9M | RCC2VB5Q9M | statement | record (an 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.23446#3VOV |
| RCC6CQFF6X | RCC6CQFF6X | statement | record (an 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.28898#B5MI |
| RCCE | P89YJPJMH4 | unknown | open | Wikipedia Risk communication#762I |
| RCD6HMYM7D | RCD6HMYM7D | statement | record (an 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.09019#S0M5 |
| RCD6QDBNGV | RCD6QDBNGV | statement | record (an 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#3505 |
| RCDNWBYK8G | RCDNWBYK8G | 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 2501.00810#L5TS |
| RCDVKDQD8E | RCDVKDQD8E | statement | record (an 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.12131#FRIH |
| RCDWZM63J6 | RCDWZM63J6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.13510#TPKF |
| RCFHMNE11Q | RCFHMNE11Q | 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 2204.13401#FE4U |
| RCG585XX9Y | RCG585XX9Y | 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#V92Q |
| RCG72ED922 | RCG72ED922 | statement | record (an 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.07631#KF1Q |
| RCG7JSYAXV | RCG7JSYAXV | statement | record (an 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.22681#RW2E |
| RCH1EJF2KA | RCH1EJF2KA | statement | record (an 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.16059#6OYF |
| RCH41ZTM58 | RCH41ZTM58 | statement | record (an 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.21475#4FS8 |
| RCHDV6M4QT | RCHDV6M4QT | statement | record (an 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.08288#9ZC6 |