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 301–400 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| R3FPYFZEAB | R3FPYFZEAB | statement | record (an 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.05684#KGRB |
| R3G2A3V9BW | R3G2A3V9BW | statement | record (an 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.24610#8WJV |
| R3G3KGMBA9 | R3G3KGMBA9 | statement | record (an 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.30961#XLPH |
| R3GN3V7ES6 | R3GN3V7ES6 | statement | record (an 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.27458#U50C |
| R3GT68X16N | R3GT68X16N | statement | record (an 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.17258#PD5Y |
| R3HC0BA23P | R3HC0BA23P | statement | record (an 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.33775#Z1PT |
| R3JYAD9KMT | R3JYAD9KMT | 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.14240#71JL |
| R3JZ1CBMCR | R3JZ1CBMCR | statement | record (an 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.30637#SB7N |
| R3K53S8Y83 | R3K53S8Y83 | exercise | record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6)) | arXiv 2610.01802#EFV4 |
| R3KA7P7AHW | R3KA7P7AHW | statement | record (an 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.18847#59ZW |
| R3KKX1J7ZB | R3KKX1J7ZB | statement | record (an 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.26592#JCUR |
| R3KW6WE32Y | R3KW6WE32Y | statement | record (an 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.02901#C21J |
| R3M25XZADQ | R3M25XZADQ | 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.12108#JVPY |
| R3M8ZNANZZ | R3M8ZNANZZ | 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.36423#VUC7 |
| R3MN0W7RRV | R3MN0W7RRV | statement | record (an 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.15217#YKD2 |
| R3N0NYRB0W | R3N0NYRB0W | statement | record (an 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.20925#40QW |
| R3N4SJSV18 | R3N4SJSV18 | statement | record (an 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#962Y |
| R3NFB48D1S | R3NFB48D1S | statement | record (an 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.04628#WU89 |
| R3NPS9JM86 | R3NPS9JM86 | statement | record (an 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.28411#UGPA |
| R3PF7K8C2F | R3PF7K8C2F | exercise | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-2 |
| R3PW29GKJX | R3PW29GKJX | statement | record (an 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.28181#A5YH |
| R3Q02WM14B | R3Q02WM14B | statement | record (an 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.16358#HWGY |
| R3Q8DNKVMV | R3Q8DNKVMV | statement | record (an 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.13746#P1O6 |
| R3RQ61HW7A | R3RQ61HW7A | statement | record (an 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.17519#ZPDI |
| R3RQTX5QTW | R3RQTX5QTW | statement | record (an 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#DXZR |
| R3RYSEKEYA | R3RYSEKEYA | statement | record (an 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#2OQF |
| R3S1HDNYV8 | R3S1HDNYV8 | statement | record (an 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.33679#R7ET |
| R3S1KWMAQK | R3S1KWMAQK | statement | record (an 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.38051#7WNW |
| R3SGTYJBBG | R3SGTYJBBG | statement | record (an 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.04835#7D1A |
| R3TN3RKRRM | R3TN3RKRRM | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-71 |
| R3TTX7TBMJ | R3TTX7TBMJ | statement | record (an 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.10930#KIIQ |
| R3WREQFWGD | R3WREQFWGD | statement | record (an 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.17541#4VXX |
| R3X3GG1N7R | R3X3GG1N7R | statement | record (an 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#Y9XR |
| R3XRFHP9DT | R3XRFHP9DT | statement | record (an 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/0406514#B6TC |
| R3Z2RTGKFE | R3Z2RTGKFE | statement | record (an 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#CVYB |
| R3ZRDE9DRX | R3ZRDE9DRX | statement | record (an 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.17482#2F1Z |
| R3ZVRJ5QQZ | R3ZVRJ5QQZ | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-20 |
| R4018EA880 | R4018EA880 | 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.38436#GRBC |
| R402TGE3AH | R402TGE3AH | statement | record (an 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.02019#BV2N |
| R40453SXFC | R40453SXFC | statement | record (an 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.34193#65HL |
| R404ZTBZFV | R404ZTBZFV | statement | record (an 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#IP3E |
| R40T6XVSFT | R40T6XVSFT | statement | record (an 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.20801#OXEH |
| R40XEQKP1W | R40XEQKP1W | exercise | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#prob-1 |
| R40YH8G1KS | R40YH8G1KS | statement | record (an 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.03081#POGI |
| R41W1K20BY | R41W1K20BY | statement | record (an 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.09678#9A3S |
| R42VR9YST7 | R42VR9YST7 | statement | record (an 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#FH5G |
| R43FN1F3ED | R43FN1F3ED | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#JUYZ |
| R43QM93BGA | R43QM93BGA | statement | record (an 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.15535#0TYJ |
| R44JNJGNE2 | R44JNJGNE2 | statement | record (an 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#IOTQ |
| R44JT8A3A9 | R44JT8A3A9 | definition | open | open_logic content/applied-modal-logic/epistemic-logic/truth-at-w.tex#defn-1 |
| R44R9AFSZS | R44R9AFSZS | statement | record (an 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.08074#U7QZ |
| R45MFS8H5B | R45MFS8H5B | statement | record (an 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.07092#R14L |
| R45XK83DSF | R45XK83DSF | 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.25289#A7D3 |
| R46J3YYZFF | R46J3YYZFF | statement | record (an 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.22170#Y4N8 |
| R46R2RWKX4 | R46R2RWKX4 | statement | record (an 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.05684#DQQC |
| R46VMHR3A2 | R46VMHR3A2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#GL2N |
| R472DJKGXX | R472DJKGXX | statement | record (an 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.36509#ZIP7 |
| R4760ZZG6X | R4760ZZG6X | statement | open | open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-1 |
| R47FTM0BGS | R47FTM0BGS | exercise | open | lebl_scv scv.tex#exercise-284 |
| R47GWD31QH | R47GWD31QH | statement | record (an 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.35691#3WX8 |
| R47SDJ7P3E | R47SDJ7P3E | 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.16386#LMBI |
| R48GWG1TNV | R48GWG1TNV | 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.18219#KJ5V |
| R48H7VE7W5 | R48H7VE7W5 | statement | record (an 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.14318#CLRY |
| R48YKN6QNK | R48YKN6QNK | statement | record (an 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#6Z49 |
| R492KCKGAS | R492KCKGAS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.08123#1LRU |
| R49M9RTG5C | R49M9RTG5C | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#prop:provability-lor |
| R4AP2F1SN8 | R4AP2F1SN8 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-51 |
| R4B5W4C5CY | R4B5W4C5CY | statement | record (an 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.14914#VVLJ |
| R4BWHWQ1WH | R4BWHWQ1WH | 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.37124#KVVD |
| R4C782F8TZ | R4C782F8TZ | statement | record (an 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#H89H |
| R4CM5D9WS7 | R4CM5D9WS7 | statement | record (an 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.06340#FVZ3 |
| R4CRFKJ4TC | R4CRFKJ4TC | statement | record (an 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.09596#126A |
| R4D2W19PFF | R4D2W19PFF | 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.37973#4T25 |
| R4F26MK23W | R4F26MK23W | 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.30407#0AZL |
| R4F4PHMTFA | R4F4PHMTFA | 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.00660#QP6V |
| R4F61DVRVJ | R4F61DVRVJ | statement | record (an 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.11679#KJ2I |
| R4F9DWAC46 | R4F9DWAC46 | statement | record (an 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.16203#J0N6 |
| R4FEXX5MVJ | R4FEXX5MVJ | exercise | open | lebl_diffyqs ch-systems.tex#exercise-53 |
| R4FM32J4RQ | R4FM32J4RQ | statement | record (an 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.08413#BAAN |
| R4GE619CJC | R4GE619CJC | statement | record (an 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.20238#IZM7 |
| R4GKQ4G5Y1 | R4GKQ4G5Y1 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-12 |
| R4GKSBKMB8 | R4GKSBKMB8 | proof | open | hott_book homotopy.tex#proof-27 |
| R4GVXZA5JQ | R4GVXZA5JQ | statement | record (an 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.08583#RH4Q |
| R4H61QJZCD | R4H61QJZCD | exercise | open | open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prob-2 |
| R4HA771KXS | R4HA771KXS | statement | record (an 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.00909#VH3N |
| R4HHSJ60AJ | R4HHSJ60AJ | statement | record (an 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.10406#PSVB |
| R4J9FFNYBH | R4J9FFNYBH | statement | record (an 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.09049#5PXJ |
| R4JT9DMZMW | R4JT9DMZMW | 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.31274#YCTD |
| R4JXZ5GG76 | R4JXZ5GG76 | statement | record (an 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#1CG0 |
| R4K33V5EK1 | R4K33V5EK1 | 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.00934#O4Z2 |
| R4KGD1BH74 | R4KGD1BH74 | statement | record (an 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.12497#Y72P |
| R4KR8A70TF | R4KR8A70TF | statement | record (an 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#5T9D |
| R4KRK7KKRK | R4KRK7KKRK | statement | record (an 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.10474#X9RY |
| R4KYAJ14PD | R4KYAJ14PD | statement | record (an 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.33313#CONC |
| R4MA1PYP1B | R4MA1PYP1B | exercise | open | open_logic content/methods/induction/relations.tex#prob-2 |
| R4MEG0K92Z | R4MEG0K92Z | statement | record (an 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.09796#U13P |
| R4MNX1D4GJ | R4MNX1D4GJ | statement | record (an 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.16362#Y7N9 |
| R4N6FRN9FJ | R4N6FRN9FJ | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-1 |
| R4NGQMZE6M | R4NGQMZE6M | statement | record (an 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.16554#Y11V |
| R4NGSCA3A6 | R4NGSCA3A6 | statement | record (an 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.34852#K0QK |