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 401–500 of 9674.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| R41SAZ7328 | R41SAZ7328 | statement | record (an 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.20961#0TXR |
| 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 |
| R454JP0NYG | R454JP0NYG | statement | record (an 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#ES04 |
| 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 |
| R45W9DWZHB | R45W9DWZHB | statement | record (an 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.20588#C0FU |
| 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 |
| R46F57HQTG | R46F57HQTG | 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.20153#LTF9 |
| 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 |
| R4A7ZMFB76 | R4A7ZMFB76 | statement | record (an 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.21116#IFM9 |
| 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 |
| R4FBXMA3NH | R4FBXMA3NH | statement | record (an 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.20567#TKH1 |
| 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 |
| R4NRTCQBST | R4NRTCQBST | exercise | open | napkin tex/H113/ring-flavors.tex#prob:field_hom |
| R4NT6E12YB | R4NT6E12YB | statement | record (an 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.03661#0G23 |
| R4PFS9WSSE | R4PFS9WSSE | statement | record (an 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.03288#V8PM |
| R4PH9HJHP7 | R4PH9HJHP7 | statement | record (an 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.21627#7NQQ |
| R4Q3CSK4A9 | R4Q3CSK4A9 | statement | record (an 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.00864#3W1J |
| R4Q3DCR6NH | R4Q3DCR6NH | statement | record (an 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.14435#37FK |
| R4QP6NS9K2 | R4QP6NS9K2 | 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.37865#VDX9 |
| R4QXKC6TDC | R4QXKC6TDC | statement | record (an 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.07741#G7RP |
| R4RW2RGH80 | R4RW2RGH80 | statement | record (an 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.32977#0KJM |
| R4S4T8V1GY | R4S4T8V1GY | 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.26896#UJ0H |
| R4S6MW7SPS | R4S6MW7SPS | statement | record (an 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.20050#MYHE |