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 4701–4800 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RY2SDXDY9K | RY2SDXDY9K | statement | record (an 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.21934#2VDH |
| RY3NP1HY4Z | RY3NP1HY4Z | statement | record (an 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.20568#7309 |
| RY41HW4R17 | RY41HW4R17 | statement | record (an 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.39218#T9A9 |
| RY441TKEDT | RY441TKEDT | 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 2506.16491#JN7S |
| RY4NP3FJZN | RY4NP3FJZN | 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.08599#TWON |
| RY4VW0727Q | RY4VW0727Q | statement | record (an 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.17518#GC9A |
| RY5AS5JNVM | RY5AS5JNVM | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-23 |
| RY5G1SP1GD | RY5G1SP1GD | statement | record (an 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.28350#UXU8 |
| RY5HCDS2E0 | RY5HCDS2E0 | statement | record (an 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#846X |
| RY5ZCSWECR | RY5ZCSWECR | statement | record (an 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.07485#191W |
| RY6HRG1WWW | RY6HRG1WWW | statement | record (an 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#LEPM |
| RY7FBV8N8E | RY7FBV8N8E | statement | record (an 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.06695#38PE |
| RY7JNGX8XR | RY7JNGX8XR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#14LS |
| RY9255ZTT0 | RY9255ZTT0 | 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.08480#EVHV |
| RY98XADZHP | RY98XADZHP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#Z5XH |
| RY99V0W3QM | RY99V0W3QM | statement | record (an 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.15010#Q56Z |
| RYA01JY6VF | RYA01JY6VF | 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.06699#YGBG |
| RYAGRG1133 | RYAGRG1133 | exercise | open | austin_ula src/exercises/exercises5-1.xml#exercise-5 |
| RYAJ0WZG9E | RYAJ0WZG9E | statement | record (an 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.37761#6JRR |
| Ryan Rohm | GME50G2JCC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15455400, nLab Ryan Rohm |
| Ryan Thorngren | KVDFE0K561 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59675435, nLab Ryan Thorngren |
| RYAY4F5TRK | RYAY4F5TRK | statement | record (an 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.09422#WVI8 |
| RYB586M0HM | RYB586M0HM | 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.05696#12D9 |
| RYB8CJ5P41 | RYB8CJ5P41 | statement | record (an 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.08193#JEWB |
| Rybczynski theorem | PVZFVVDVX8 | statement | open | mathlib_1000 Q1348736, Wikidata Q1348736, thousand_plus Q1348736, Wikipedia Rybczynski theorem |
| RYC36K2YP8 | RYC36K2YP8 | statement | record (an 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.35669#PVDZ |
| RYCJSH7SGV | RYCJSH7SGV | statement | record (an 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.36377#RHLU |
| RYCN08TAMM | RYCN08TAMM | statement | record (an 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#MZNB |
| RYCWYE3SWT | RYCWYE3SWT | statement | record (an 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.36309#6RP3 |
| RYCZF7Z4DR | RYCZF7Z4DR | 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.27420#FDNM |
| RYD7N11MK7 | RYD7N11MK7 | statement | record (an 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.39293#7J3C |
| Rydberg constant | CQ6KDKW8JZ | definition | open | Wikidata Q658065, ProofWiki Definition:Rydberg_Constant |
| RYDNQQPTS2 | RYDNQQPTS2 | statement | record (an 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.26896#PVJO |
| RYDSCJJ59R | RYDSCJJ59R | 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.21921#5LZO |
| RYE0NZ3WK2 | RYE0NZ3WK2 | statement | record (an 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.13475#OTA9 |
| RYE6Y9KPTQ | RYE6Y9KPTQ | statement | record (an 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.04675#8UBL |
| RYE91EQEAB | RYE91EQEAB | statement | record (an 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#SBOW |
| RYEMF5DEET | RYEMF5DEET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#FCME |
| RYER0ACNPS | RYER0ACNPS | statement | record (an 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.17267#6542 |
| RYEVKCCY0H | RYEVKCCY0H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.05288#99DJ |
| RYF4EEPYZV | RYF4EEPYZV | 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.36181#YF89 |
| RYFAC8DJ0X | RYFAC8DJ0X | statement | record (an 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.27911#TZ1Z |
| RYFNE8FKJ4 | RYFNE8FKJ4 | statement | record (an 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.03011#JE45 |
| RYFWJV1DXD | RYFWJV1DXD | statement | record (an 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.31289#6MUE |
| RYGQCG92KP | RYGQCG92KP | 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 2205.15106#8RXM |
| RYGR0XDGCS | RYGR0XDGCS | 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#MJIE |
| RYGVC04ZS3 | RYGVC04ZS3 | statement | record (an 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.28365#QX6F |
| RYGX68DN80 | RYGX68DN80 | statement | record (an 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.18061#1F7A |
| RYJGG8CRG2 | RYJGG8CRG2 | statement | record (an 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#VROE |
| RYKBJ7B1S9 | RYKBJ7B1S9 | statement | record (an 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.19455#2RLK |
| RYKCMMFGMA | RYKCMMFGMA | statement | record (an 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.02993#3A30 |
| RYKJ8SRQ6V | RYKJ8SRQ6V | 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.26180#FVTT |
| RYKMKDMKEA | RYKMKDMKEA | statement | record (an 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.16069#4QOK |
| RYKX83SN0J | RYKX83SN0J | statement | record (an 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.28774#C4KW |
| Ryll-Nardzewski fixed-point theorem | EGWD56WQ8Y | statement | open | mathlib_1000 Q1422083, Wikidata Q1422083, thousand_plus Q1422083, Wikipedia Ryll-Nardzewski fixed-point theorem |
| RYM6X4KGSS | RYM6X4KGSS | exercise | open | napkin tex/topology/cover-project.tex#ques-3 |
| RYMC0XD9V5 | RYMC0XD9V5 | statement | record (an 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.32614#A37R |
| RYMV6ARF0Q | RYMV6ARF0Q | statement | record (an 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.31783#GDFS |
| RYNG3YKX62 | RYNG3YKX62 | statement | record (an 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#ZRBF |
| RYNK7EFEK4 | RYNK7EFEK4 | statement | record (an 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.20001#XSFL |
| RYP2N72MFT | RYP2N72MFT | statement | record (an 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.00657#J15W |
| RYP4EZ9D9M | RYP4EZ9D9M | statement | record (an 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.19309#E81N |
| RYP59NQ3PS | RYP59NQ3PS | 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.36622#G29H |
| RYPCH84WAN | RYPCH84WAN | statement | record (an 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.02295#3W62 |
| RYPJ5F6326 | RYPJ5F6326 | statement | record (an 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.37201#A3UM |
| RYPX2ZNHQS | RYPX2ZNHQS | statement | record (an 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.12188#Y622 |
| RYQ35RH2KH | RYQ35RH2KH | proof | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-3 |
| RYQC6R0K9D | RYQC6R0K9D | statement | record (an 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.12430#GT03 |
| RYQNVRYVXB | RYQNVRYVXB | 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 2409.01237#D8DR |
| RYQPJA847V | RYQPJA847V | statement | record (an 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.32207#KHS1 |
| RYQQH4KF70 | RYQQH4KF70 | 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 2504.14383#8QF6 |
| RYQQXHT2H5 | RYQQXHT2H5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#HL15 |
| RYQZ9GVTYK | RYQZ9GVTYK | definition | open | napkin tex/alg-NT/galois.tex#definition-7 |
| RYR0N6EJSE | RYR0N6EJSE | statement | record (an 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.29925#XBP4 |
| RYRYH8DC3B | RYRYH8DC3B | statement | record (an 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.02061#RZKZ |
| RYS8QJ8D3J | RYS8QJ8D3J | statement | record (an 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#JT9R |
| RYSHB45HC0 | RYSHB45HC0 | statement | record (an 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.08638#MR6F |
| Ryszard Engelking | TVZRR1MS6S | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q737661, nLab Ryszard Engelking |
| RYTD9HY7NX | RYTD9HY7NX | statement | record (an 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#K925 |
| RYTH4S2SM4 | RYTH4S2SM4 | statement | record (an 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.14080#35BJ |
| RYV6PNPVBM | RYV6PNPVBM | statement | record (an 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.13548#K3R5 |
| RYV75YPGSV | RYV75YPGSV | statement | record (an 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#QFYC |
| RYVT1WBYK7 | RYVT1WBYK7 | statement | record (an 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.20558#PUXX |
| RYW67KQ3QG | RYW67KQ3QG | statement | record (an 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.04161#3RR2 |
| RYWV1D6NGC | RYWV1D6NGC | statement | record (an 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.27800#54AO |
| RYXBS9NTNZ | RYXBS9NTNZ | statement | record (an 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/9802134#U3MM |
| RYXCGQKTWR | RYXCGQKTWR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#HC60 |
| RYXDMEA04P | RYXDMEA04P | statement | record (an 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#06EX |
| RYXMTBNCDH | RYXMTBNCDH | proof | open | hott_book homotopy.tex#proof-28 |
| RYY0E474NQ | RYY0E474NQ | statement | record (an 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.04466#W9UC |
| RYY6JSNF1M | RYY6JSNF1M | statement | record (an 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#JJWF |
| RYYB30J2FY | RYYB30J2FY | statement | record (an 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#G16T |
| RYYBMQA9FE | RYYBMQA9FE | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-13 |
| RYZ02R9KEN | RYZ02R9KEN | statement | record (an 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#6ADW |
| RYZ1G5T6JB | RYZ1G5T6JB | statement | record (an 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.13428#K60G |
| RYZ8M2CP65 | RYZ8M2CP65 | statement | record (an 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/9902147#GEV1 |
| RYZD7ZR2BF | RYZD7ZR2BF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.03715#DCB2 |
| RYZF2J1H0T | RYZF2J1H0T | statement | record (an 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.14080#8017 |
| RZ00BB2EMM | RZ00BB2EMM | statement | record (an 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.05850#L9KC |
| RZ0CX1071Z | RZ0CX1071Z | statement | record (an 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.11671#Y1L2 |