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 2601–2700 of 9674.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RCHGNXPS02 | RCHGNXPS02 | statement | record (an 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.19260#YFLL |
| RCHR49ATWG | RCHR49ATWG | statement | record (an 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.10873#XAST |
| RCHZEQCS6H | RCHZEQCS6H | statement | record (an 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.25823#NM4U |
| RCHZXE1VYY | RCHZXE1VYY | statement | record (an 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.19658#1M9Q |
| RCJ3BR6SNX | RCJ3BR6SNX | statement | record (an 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.26600#C66O |
| RCJ5VBPSBV | RCJ5VBPSBV | statement | record (an 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#UEMO |
| RCJVM9Z7M2 | RCJVM9Z7M2 | statement | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#lem:G3c-invert |
| RCK1KNX85J | RCK1KNX85J | statement | record (an 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.36884#2B3Y |
| RCK9SXDVAT | RCK9SXDVAT | statement | record (an 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#ZG9A |
| RCM8DJ9G6R | RCM8DJ9G6R | statement | record (an 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#E11S |
| RCNPFXSCK1 | RCNPFXSCK1 | statement | record (an 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.22855#TL37 |
| RCNPRNC52V | RCNPRNC52V | 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.08753#CKG1 |
| RCP1RZ41E0 | RCP1RZ41E0 | 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 2610.16834#QSK9 |
| RCPE240NZC | RCPE240NZC | statement | record (an 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.27689#IFC0 |
| RCPHDXHY0D | RCPHDXHY0D | statement | record (an 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.26619#4XL0 |
| RCQ1F0WRE8 | RCQ1F0WRE8 | statement | record (an 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#UYWJ |
| RCQ72TERC3 | RCQ72TERC3 | statement | record (an 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.15344#DMP4 |
| RCQTT6P38Z | RCQTT6P38Z | statement | record (an 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.02484#R6YB |
| RCQZH3R2C4 | RCQZH3R2C4 | exercise | open | austin_ula src/exercises/exercises3-1.xml#exercise-11 |
| RCR0E2J08Z | RCR0E2J08Z | 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 2610.01596#XSAE |
| RCR91X8W0Y | RCR91X8W0Y | exercise | open | napkin tex/alg-NT/classgrp.tex#exercise-9 |
| RCRRSR1CHY | RCRRSR1CHY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.04145#TPQB |
| RCS8M1ERH7 | RCS8M1ERH7 | 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 2304.02722#A4VY |
| RCSCM7FG8P | RCSCM7FG8P | 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 2205.06433#YRGY |
| RCTMR1D4BM | RCTMR1D4BM | statement | record (an 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.19694#T09V |
| RCV0W4DAXG | RCV0W4DAXG | statement | record (an 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.23128#MY2X |
| RCVZZBAZWQ | RCVZZBAZWQ | statement | record (an 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.06225#24P9 |
| RCWT42HCYT | RCWT42HCYT | statement | record (an 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#VXOC |
| RCWYT8PJSX | RCWYT8PJSX | 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.20665#AOO3 |
| RCXSTCFN8B | RCXSTCFN8B | proof | open | hott_book setmath.tex#proof-21 |
| RCYJA0FW5W | RCYJA0FW5W | statement | record (an 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.01946#U0ML |
| RCYJZ11KHW | RCYJZ11KHW | statement | record (an 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.25212#2029 |
| RCYN9FZF4T | RCYN9FZF4T | unknown | open | arXiv 2610.13680#6BVC |
| RCYZHX2DDW | RCYZHX2DDW | statement | record (an 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.27518#RXHF |
| RCZ5QYBCDP | RCZ5QYBCDP | statement | record (an 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.07461#K33V |
| RCZBVDHNW4 | RCZBVDHNW4 | statement | record (an 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#ETXH |
| RCZQ7F94NF | RCZQ7F94NF | statement | record (an 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.34613#AN38 |
| RCZRSQF6RD | RCZRSQF6RD | 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.13833#MF43 |
| RD01EWXTCW | RD01EWXTCW | statement | record (an 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.20409#7HVE |
| RD0A5EX8RC | RD0A5EX8RC | statement | record (an 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.15720#BK3I |
| RD0AK6JF1N | RD0AK6JF1N | statement | record (an 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.32174#0SUF |
| RD1D1S4Q2N | RD1D1S4Q2N | statement | record (an 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.25094#VIEU |
| RD2M0Z91EW | RD2M0Z91EW | statement | record (an 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.17181#WSJ0 |
| RD3NX9J2C4 | RD3NX9J2C4 | 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.38556#FYGU |
| RD3XGX9C11 | RD3XGX9C11 | 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.07905#1CXL |
| RD4EDQV26P | RD4EDQV26P | statement | record (an 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.14045#SM8W |
| RD4NG9V6X3 | RD4NG9V6X3 | 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.32478#Z8HA |
| RD62RGJMJN | RD62RGJMJN | statement | record (an 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.08383#5O8C |
| RD6FQ4ZHSH | RD6FQ4ZHSH | exercise | open | napkin tex/set-theory/zfc.tex#problem-2 |
| RD6TDZAWYP | RD6TDZAWYP | statement | record (an 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.12484#JRUS |
| RD7F03DZSP | RD7F03DZSP | statement | record (an 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.01653#XF2D |
| RD7NFGN4KV | RD7NFGN4KV | statement | record (an 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.10567#W3QD |
| RD7PTRKJT3 | RD7PTRKJT3 | statement | record (an 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.11101#C3B4 |
| RD7SK3Q5T8 | RD7SK3Q5T8 | statement | record (an 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.24509#TGJY |
| RD81AF0GB8 | RD81AF0GB8 | statement | record (an 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.35632#R9KQ |
| RD83CWW1G0 | RD83CWW1G0 | statement | record (an 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.33241#PEIQ |
| RD8PQR9ANE | RD8PQR9ANE | statement | record (an 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.09294#HTME |
| RD8VMJ0M7T | RD8VMJ0M7T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#48TT |
| RD8WVNE3N0 | RD8WVNE3N0 | statement | record (an 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.07461#DE3O |
| RD8XFHTMNJ | RD8XFHTMNJ | statement | record (an 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.28824#6DTT |
| RD90431CT2 | RD90431CT2 | statement | record (an 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#0AG8 |
| RD98MECDVN | RD98MECDVN | statement | record (an 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.12319#BU93 |
| RD9TF9E59W | RD9TF9E59W | statement | record (an 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.25926#P5UL |
| RDA5JGP1G5 | RDA5JGP1G5 | 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.20306#KB23 |
| RDAX8SMZ4R | RDAX8SMZ4R | statement | record (an 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.32338#THVA |
| RDB1DERKY2 | RDB1DERKY2 | statement | record (an 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.00247#BUIR |
| RDB53R9P3V | RDB53R9P3V | example | open | lebl_ra ch-seq-ser.tex#example-17 |
| RDCE1FXWYQ | RDCE1FXWYQ | statement | record (an 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.07116#R49E |
| RDCXATSB6N | RDCXATSB6N | statement | record (an 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#FCWW |
| RDD0VG5MG2 | RDD0VG5MG2 | statement | record (an 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.30590#VAZI |
| RDDGKQ39ZC | RDDGKQ39ZC | statement | record (an 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.22263#J5DO |
| RDE64MZTH8 | RDE64MZTH8 | proof | open | lebl_ra ch-real-nums.tex#proof-10 |
| RDEJJ3AG9P | RDEJJ3AG9P | 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 2209.08186#44RL |
| RDERW7X091 | RDERW7X091 | statement | record (an 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#HQNC |
| RDF0P1877H | RDF0P1877H | statement | record (an 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.11905#P2MT |
| RDF36ZBDEQ | RDF36ZBDEQ | statement | record (an 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.21501#QGV5 |
| RDF5NJ5GNX | RDF5NJ5GNX | statement | record (an 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.03062#SJ9W |
| RDFGCWAERD | RDFGCWAERD | statement | record (an 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.18929#0J72 |
| RDFSA9XVB2 | RDFSA9XVB2 | statement | record (an 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.40123#ANGK |
| RDG1BQS7JM | RDG1BQS7JM | statement | record (an 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.35683#Q1YS |
| RDGG8PCY3F | RDGG8PCY3F | statement | record (an 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.07099#EZKI |
| RDH4KAB4EM | RDH4KAB4EM | statement | record (an 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.16225#E8YQ |
| RDHFAMXBKV | RDHFAMXBKV | exercise | open | napkin tex/alg-NT/classgrp.tex#ques-7 |
| RDHXGCBD82 | RDHXGCBD82 | statement | record (an 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.09889#41X9 |
| RDHZ3FA9HB | RDHZ3FA9HB | statement | record (an 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.30444#IHHX |
| RDKNNVM3KD | RDKNNVM3KD | statement | record (an 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.39707#X221 |
| RDM1AHG1KA | RDM1AHG1KA | statement | record (an 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.22240#5F3J |
| RDMC0M7118 | RDMC0M7118 | exercise | open | lebl_ra ch-riemann.tex#exercise-38 |
| RDMQS7PE61 | RDMQS7PE61 | statement | record (an 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.25457#BITB |
| RDMSNAD4ZE | RDMSNAD4ZE | statement | record (an 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.18016#DR36 |
| RDMX05DCZJ | RDMX05DCZJ | statement | record (an 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.14434#GMY0 |
| RDNMENQ3Z1 | RDNMENQ3Z1 | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-13 |
| RDP guarantees of OPS with sub-exponential log-likelihood ratio | HSGZK2BECZ | statement | record (an 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.19573#A7DD |
| RDP guarantees of OPS with sub-Gaussian log-likelihood ratio | 85MQBJFYF9 | statement | record (an 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.19573#3ZU8 |
| RDP99ZH0XX | RDP99ZH0XX | statement | record (an 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.30663#N9X4 |
| RDPCZM3CSH | RDPCZM3CSH | 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 2004.12552#8IKG |
| RDPN787X4Q | RDPN787X4Q | statement | record (an 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.09042#5O8R |
| RDQWTMASTC | RDQWTMASTC | statement | record (an 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#PJMB |
| RDR2XRAAC6 | RDR2XRAAC6 | statement | record (an 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.24154#3QCG |
| RDR4WFGSPY | RDR4WFGSPY | statement | record (an 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.11965#ZWHB |