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 501–600 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| R5PEAK7JPV | R5PEAK7JPV | statement | record (an 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.14811#V90V |
| R5PEN8XA2K | R5PEN8XA2K | statement | record (an 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.12329#A6QI |
| R5Q0RKYBWP | R5Q0RKYBWP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05417#WSDP |
| R5Q0SSCGH4 | R5Q0SSCGH4 | statement | record (an 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.15525#HW9Q |
| R5QVG19G3P | R5QVG19G3P | example | open | napkin tex/complex-ana/holomorphic.tex#example-1 |
| R5RYKZ2V0P | R5RYKZ2V0P | example | open | levin_dmoi ptx/sec_logic-prop.ptx#example-4 |
| R5SCTXXKWJ | R5SCTXXKWJ | statement | record (an 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#0EYC |
| R5SRC6C6TE | R5SRC6C6TE | 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 2210.17066#8SH3 |
| R5T9M7RHPD | R5T9M7RHPD | statement | record (an 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.22074#0UU5 |
| R5W7KNFWVX | R5W7KNFWVX | statement | record (an 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.08912#M22V |
| R5WXR801T5 | R5WXR801T5 | statement | record (an 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.32383#9OUK |
| R5WY14AGAN | R5WY14AGAN | statement | record (an 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.01433#BDRL |
| R5XE8HDFHM | R5XE8HDFHM | statement | open | lebl_ra ch-several-vars-ders.tex#lemma:mvtmv |
| R5XYEPR2QX | R5XYEPR2QX | statement | record (an 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.26386#K93J |
| R5Y3WGZF91 | R5Y3WGZF91 | statement | record (an 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.27360#QLT8 |
| R5YD2FWQZY | R5YD2FWQZY | statement | record (an 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.33068#63GE |
| R5YMNE3PZ5 | R5YMNE3PZ5 | statement | record (an 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.37271#QKTA |
| R5Z3K4D2TC | R5Z3K4D2TC | statement | record (an 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.25468#X9RX |
| R5Z79SVDNA | R5Z79SVDNA | statement | record (an 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#BGP5 |
| R5ZGEPHH77 | R5ZGEPHH77 | statement | record (an 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.14847#B2MF |
| R5ZVEENMF9 | R5ZVEENMF9 | statement | record (an 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.26041#1SK1 |
| R600T5JK5D | R600T5JK5D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#8K6U |
| R60VGD2FWM | R60VGD2FWM | 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.25409#66Z4 |
| R61DHP5CYE | R61DHP5CYE | exercise | open | napkin tex/homology/cohomology.tex#exercise-1 |
| R61JZGB5WJ | R61JZGB5WJ | statement | record (an 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.07001#F2DS |
| R61K64XGNE | R61K64XGNE | 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 2011.05871#HCVB |
| R61NE5K6KX | R61NE5K6KX | statement | record (an 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.27823#HBOA |
| R61TAA1PQ8 | R61TAA1PQ8 | statement | record (an 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.02481#1X6I |
| R61VQ88WPW | R61VQ88WPW | statement | record (an 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.01561#NRM4 |
| R61XFCKJQR | R61XFCKJQR | 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#2AWS |
| R623ZKNRRW | R623ZKNRRW | statement | open | open_logic content/set-theory/ordinals/iso.tex#isoscompose |
| R62AS58XP9 | R62AS58XP9 | statement | record (an 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#W2DE |
| R62EXFS0JN | R62EXFS0JN | statement | record (an 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.16267#14SZ |
| R62MHENYDX | R62MHENYDX | statement | record (an 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.21278#XMOP |
| R62QJFDC76 | R62QJFDC76 | statement | record (an 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.08488#N5Z8 |
| R62S5C5ERD | R62S5C5ERD | proof | open | lebl_ra ch-der.tex#proof-14 |
| R63Y3KG00B | R63Y3KG00B | 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.05056#JUCL |
| R644YWJE9Z | R644YWJE9Z | statement | record (an 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.01915#9XOP |
| R6472PZT4Z | R6472PZT4Z | 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.00914#T2N7 |
| R64EWSPQMM | R64EWSPQMM | statement | record (an 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#YWKX |
| R64Q0K8ZYB | R64Q0K8ZYB | statement | record (an 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#JYKC |
| R65BKTK242 | R65BKTK242 | statement | record (an 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.32090#2EQE |
| R65D6KBCAX | R65D6KBCAX | 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 2501.15680#6WLB |
| R660HT22B4 | R660HT22B4 | statement | record (an 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.06544#NSBE |
| R66CDWNJF0 | R66CDWNJF0 | statement | record (an 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.06455#G2IO |
| R66GKE7BKR | R66GKE7BKR | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#proof-1 |
| R66T1KYB7R | R66T1KYB7R | statement | record (an 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.16060#4VH0 |
| R67S2063CQ | R67S2063CQ | statement | record (an 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.12502#1DSP |
| R6882B1XNR | R6882B1XNR | statement | record (an 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#GK32 |
| R68F8CNA6D | R68F8CNA6D | statement | record (an 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.15744#XY2I |
| R68NK27QCY | R68NK27QCY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#8N48 |
| R690X9DYV4 | R690X9DYV4 | statement | record (an 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.10452#FXUQ |
| R69QPQWKGF | R69QPQWKGF | statement | record (an 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.17720#XS8Z |
| R69SHEC8RW | R69SHEC8RW | statement | record (an 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#JEEQ |
| R6A3E0MRQ6 | R6A3E0MRQ6 | statement | record (an 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.24465#HWKC |
| R6A9ETSSSQ | R6A9ETSSSQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.01576#6BWB |
| R6AAWDEAF1 | R6AAWDEAF1 | exercise | open | levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-11 |
| R6AF5CNECZ | R6AF5CNECZ | statement | record (an 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.33018#XFTU |
| R6AHTN5F3V | R6AHTN5F3V | statement | record (an 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.39505#6WQN |
| R6B4Y0BSBD | R6B4Y0BSBD | statement | record (an 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.25301#0FZT |
| R6B6AFCD05 | R6B6AFCD05 | statement | record (an 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.08610#JTP6 |
| R6B8ZEYWWC | R6B8ZEYWWC | statement | record (an 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#LIGT |
| R6BBEBW3QP | R6BBEBW3QP | statement | record (an 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.13888#74AO |
| R6BYV84XBV | R6BYV84XBV | 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 2610.13852#Y2ER |
| R6CBW7A0ZK | R6CBW7A0ZK | statement | record (an 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#28JK |
| R6CZCBB2R6 | R6CZCBB2R6 | statement | record (an 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.39269#P6D8 |
| R6D5VR3RPG | R6D5VR3RPG | statement | record (an 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.31910#ZK82 |
| R6E3XSMY47 | R6E3XSMY47 | 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.34020#4S5Y |
| R6E7K58CF0 | R6E7K58CF0 | 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.16853#I37N |
| R6EFK09JZM | R6EFK09JZM | 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.20025#NDZX |
| R6ES7850KD | R6ES7850KD | statement | record (an 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.25168#O84B |
| R6EWP1YGP9 | R6EWP1YGP9 | 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.17547#XCKB |
| R6EX6P4VRT | R6EX6P4VRT | statement | record (an 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.21578#QHME |
| R6FF7VB7NB | R6FF7VB7NB | statement | record (an 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.07784#CCMQ |
| R6FMCPWZVT | R6FMCPWZVT | statement | record (an 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.35398#8Q0R |
| R6FVXEMQJ2 | R6FVXEMQJ2 | statement | record (an 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.11034#ZIK4 |
| R6FW2D5YQ7 | R6FW2D5YQ7 | statement | record (an 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.15360#5OK9 |
| R6HM0KREE4 | R6HM0KREE4 | statement | record (an 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.14319#QUYI |
| R6HSAF763G | R6HSAF763G | statement | record (an 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.17060#7610 |
| R6JA2Z5YXM | R6JA2Z5YXM | statement | record (an 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.33771#95AD |
| R6JJE03ND1 | R6JJE03ND1 | statement | record (an 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.35558#EB9N |
| R6K1PE7RD6 | R6K1PE7RD6 | statement | record (an 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.19086#JIR8 |
| R6K34DM3X3 | R6K34DM3X3 | statement | record (an 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.26948#XTE3 |
| R6KHER3KMV | R6KHER3KMV | statement | record (an 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.14278#PPWM |
| R6KSPQ3H54 | R6KSPQ3H54 | statement | record (an 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#M4PR |
| R6M11ED647 | R6M11ED647 | statement | record (an 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.32860#LED2 |
| R6ME6K4Y37 | R6ME6K4Y37 | proof | open | open_logic content/set-theory/ordinals/basic.tex#proof-4 |
| R6MQ3EW678 | R6MQ3EW678 | statement | record (an 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.36411#QZNU |
| R6MSTT1458 | R6MSTT1458 | statement | record (an 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.33770#6GI6 |
| R6MV3GMV27 | R6MV3GMV27 | 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.34013#4GVF |
| R6MYWPSNPY | R6MYWPSNPY | statement | record (an 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#STJW |
| R6N0GJ2WWJ | R6N0GJ2WWJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.11969#DG61 |
| R6N7A7SDNH | R6N7A7SDNH | statement | open | napkin tex/calculus/taylor.tex#theorem-1 |
| R6NKJ119ZV | R6NKJ119ZV | statement | record (an 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.17479#UDYR |
| R6NW5YAG86 | R6NW5YAG86 | statement | record (an 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.10377#V3TX |
| R6NX39XZ0R | R6NX39XZ0R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#MOOY |
| R6P1NZ6MR0 | R6P1NZ6MR0 | statement | record (an 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.09812#AYYC |
| R6P62BP0T5 | R6P62BP0T5 | statement | record (an 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.06683#YU5W |
| R6PCMSZF1Y | R6PCMSZF1Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.5948#11ND |
| R6PMJPWM3T | R6PMJPWM3T | statement | record (an 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.06544#ZGNU |