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 101–200 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| R13TD4KYPY | R13TD4KYPY | 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.09084#ZE7G |
| R14777VHKV | R14777VHKV | statement | record (an 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.10206#XTZ6 |
| R14BNBXTCR | R14BNBXTCR | 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.09810#226F |
| R14NPE6AAC | R14NPE6AAC | 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.07890#NJKB |
| R14TTN5GH5 | R14TTN5GH5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.08487#HJVZ |
| R150P5CGQV | R150P5CGQV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.08944#ZDG4 |
| R15SGXR975 | R15SGXR975 | statement | record (an 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.13855#SEAO |
| R161HMF5RP | R161HMF5RP | statement | record (an 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.24190#VBR0 |
| R16BAEKHHT | R16BAEKHHT | statement | record (an 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.33643#6CNW |
| R16EFNHWD8 | R16EFNHWD8 | 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.26201#YZJB |
| R17FBG716G | R17FBG716G | statement | record (an 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.12732#QLLE |
| R17ZAGKFRP | R17ZAGKFRP | statement | record (an 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.13621#3SFB |
| R18J9T8808 | R18J9T8808 | statement | record (an 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.22078#7ZLF |
| R18T28KN4M | R18T28KN4M | 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.30444#QQXF |
| R18WN6N7B9 | R18WN6N7B9 | statement | record (an 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#L1RH |
| R1A0N5AR0Y | R1A0N5AR0Y | statement | record (an 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.16883#A2PC |
| R1A2C2QQKH | R1A2C2QQKH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.16523#JIJI |
| R1AX7CXVYG | R1AX7CXVYG | statement | record (an 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.39905#73OK |
| R1BG7M9ARS | R1BG7M9ARS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00877#AQSP |
| R1BY7DFXPQ | R1BY7DFXPQ | 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.35597#UHSB |
| R1CCFXT8VV | R1CCFXT8VV | statement | record (an 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#PPYF |
| R1CVMKN076 | R1CVMKN076 | statement | record (an 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.20466#A1YH |
| R1CXQSMXWJ | R1CXQSMXWJ | statement | record (an 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.15489#73F1 |
| R1D5R8B6B4 | R1D5R8B6B4 | statement | record (an 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#O8UV |
| R1DB98D9H9 | R1DB98D9H9 | statement | record (an 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.20956#X1KC |
| R1DE41YXNR | R1DE41YXNR | statement | record (an 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.10077#JR6G |
| R1DJNZ80SN | R1DJNZ80SN | statement | record (an 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.13908#3QLZ |
| R1DM5GC715 | R1DM5GC715 | exercise | open | napkin tex/alg-geom/affine-var.tex#ques-1 |
| R1EGZ7TTEH | R1EGZ7TTEH | statement | record (an 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.24542#U1X8 |
| R1EJJB8W6R | R1EJJB8W6R | statement | record (an 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#18HG |
| R1ENYF6WTM | R1ENYF6WTM | statement | record (an 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#623N |
| R1FX0JPJRH | R1FX0JPJRH | statement | record (an 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/0507030#RDW7 |
| R1GA9D5949 | R1GA9D5949 | exercise | open | open_logic content/counterfactuals/minimal-change-semantics/transitivity.tex#prob-2 |
| R1GY6FTD74 | R1GY6FTD74 | statement | record (an 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.29304#OLPM |
| R1HBGKS7P5 | R1HBGKS7P5 | statement | record (an 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.27168#D53N |
| R1HQDD3PKA | R1HQDD3PKA | statement | record (an 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.24739#5ILW |
| R1JE0V51XT | R1JE0V51XT | statement | record (an 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.31327#JFH9 |
| R1JZBVN37X | R1JZBVN37X | statement | record (an 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.31445#A0B6 |
| R1K33RXFFY | R1K33RXFFY | statement | record (an 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.10525#S0YV |
| R1KRM0WKR9 | R1KRM0WKR9 | statement | record (an 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.08708#KB6H |
| R1M62TP5YJ | R1M62TP5YJ | statement | record (an 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.33697#165B |
| R1MC49RCTP | R1MC49RCTP | statement | record (an 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.19463#AV6I |
| R1P1GKD4XK | R1P1GKD4XK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#2CQA |
| R1P3MFS843 | R1P3MFS843 | statement | record (an 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.03437#EERE |
| R1PFC0WZKV | R1PFC0WZKV | statement | record (an 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.31445#JNT7 |
| R1PWK87YH7 | R1PWK87YH7 | statement | record (an 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.26665#OPLR |
| R1PYDCAKMD | R1PYDCAKMD | statement | record (an 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.00021#DF1F |
| R1Q281M7W3 | R1Q281M7W3 | statement | record (an 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.15169#7BF8 |
| R1QBSMD190 | R1QBSMD190 | 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.13888#F0ZI |
| R1R59YSBNZ | R1R59YSBNZ | 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.16768#4AOC |
| R1RS6JK00Z | R1RS6JK00Z | statement | record (an 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.19707#KFZI |
| R1RZRCPC16 | R1RZRCPC16 | 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 2308.05715#0AYL |
| R1S0RA9SYR | R1S0RA9SYR | statement | record (an 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#3BO8 |
| R1S5HTH88Y | R1S5HTH88Y | statement | record (an 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.01208#LQOB |
| R1T6DB8D49 | R1T6DB8D49 | statement | record (an 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#35EP |
| R1TAABTZV5 | R1TAABTZV5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.01916#EDXP |
| R1TMCN09DN | R1TMCN09DN | statement | record (an 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.28597#TKA2 |
| R1TR37MZXH | R1TR37MZXH | 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.07673#2QEX |
| R1VCG5NCGD | R1VCG5NCGD | statement | record (an 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.00902#OQKT |
| R1W1RSV182 | R1W1RSV182 | statement | record (an 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.15169#IKMC |
| R1WNY2YYCE | R1WNY2YYCE | exercise | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#problem-1 |
| R1X64WMQ6X | R1X64WMQ6X | statement | record (an 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.35252#YDOT |
| R1Y4V4CSY4 | R1Y4V4CSY4 | statement | open | hott_book hlevels.tex#cor:trunc-prod |
| R1Y587K707 | R1Y587K707 | statement | record (an 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#Y883 |
| R1YSNDSCC9 | R1YSNDSCC9 | 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 2504.00596#H44K |
| R1YX48R3FJ | R1YX48R3FJ | 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.13295#FH2G |
| R1ZR7J21ZK | R1ZR7J21ZK | statement | record (an 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.24638#W2SH |
| R1ZRDHMVH5 | R1ZRDHMVH5 | statement | record (an 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.12852#SEN5 |
| R1ZZVWPNYY | R1ZZVWPNYY | statement | record (an 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.07644#CBDE |
| R20HPW08YE | R20HPW08YE | 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#4824 |
| R21Z9E1DPG | R21Z9E1DPG | proof | open | napkin tex/calculus/integrate.tex#proof-3 |
| R22C1PP7HE | R22C1PP7HE | proof | open | lebl_ra ch-seq-ser.tex#proof-2 |
| R22HA43577 | R22HA43577 | statement | record (an 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#T538 |
| R22M7QC23G | R22M7QC23G | 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 2110.11143#9KZD |
| R23FQ66HXB | R23FQ66HXB | statement | record (an 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.24614#XWNQ |
| R23S9WCH87 | R23S9WCH87 | statement | record (an 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.28028#TNXQ |
| R24S3C3PRD | R24S3C3PRD | statement | record (an 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.18287#73W4 |
| R256YRAEXB | R256YRAEXB | statement | record (an 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.25703#H6JF |
| R26R6TDFMH | R26R6TDFMH | statement | record (an 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.07790#YTD7 |
| R2720FGTYP | R2720FGTYP | 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.07828#VQJS |
| R27FHK4B6V | R27FHK4B6V | statement | record (an 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.18195#NQAS |
| R27GF38P40 | R27GF38P40 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#KQ9S |
| R27NQ1FG9T | R27NQ1FG9T | statement | record (an 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.25275#XRM8 |
| R27PXG0HN2 | R27PXG0HN2 | statement | record (an 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.33238#TYGR |
| R27YHHEKE2 | R27YHHEKE2 | 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.26417#9781 |
| R285PGT204 | R285PGT204 | statement | record (an 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.13328#99J3 |
| R289KX52H1 | R289KX52H1 | 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.14045#YGN9 |
| R28JE9PD8W | R28JE9PD8W | statement | record (an 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.00625#O3XX |
| R290DPB6SW | R290DPB6SW | statement | record (an 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.26572#BZCN |
| R29CBFT9K5 | R29CBFT9K5 | statement | record (an 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.10928#F3RB |
| R29Y466R35 | R29Y466R35 | statement | record (an 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.21337#9XVZ |
| R29Z73K06R | R29Z73K06R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.09374#0JE9 |
| R2ACSH5V20 | R2ACSH5V20 | statement | record (an 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.05388#KK35 |
| R2AG5X5A54 | R2AG5X5A54 | statement | record (an 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.06785#SMJ0 |
| R2B0FNJBCW | R2B0FNJBCW | exercise | open | open_logic content/computability/recursive-functions/trees.tex#prob-1 |
| R2BAZD27VZ | R2BAZD27VZ | statement | record (an 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.01302#RP7J |
| R2BQT6BF5P | R2BQT6BF5P | statement | record (an 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#TY7P |
| R2BYRQNRGD | R2BYRQNRGD | statement | record (an 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.15643#O1GK |
| R2C5WTMWV1 | R2C5WTMWV1 | statement | record (an 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.35577#4CBO |
| R2CFCC9CRK | R2CFCC9CRK | exercise | open | lebl_ra ch-riemann.tex#exercise-2 |