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 201–300 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| R2DGX1VTYS | R2DGX1VTYS | statement | record (an 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#M1V4 |
| R2DR53ZR1N | R2DR53ZR1N | statement | record (an 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.23812#K14J |
| R2DZ4FPF8H | R2DZ4FPF8H | proof | open | hott_book setmath.tex#proof-7 |
| R2E3CF1TJ6 | R2E3CF1TJ6 | statement | record (an 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.28289#2HQV |
| R2EBZS8VBD | R2EBZS8VBD | statement | record (an 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.00109#E40R |
| R2ER86P557 | R2ER86P557 | proof | open | lebl_ra ch-metric.tex#proof-5 |
| R2F9AMQCH0 | R2F9AMQCH0 | statement | record (an 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.14236#BCIV |
| R2FBK6FME9 | R2FBK6FME9 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-81 |
| R2FE7EJBDV | R2FE7EJBDV | statement | record (an 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.13213#KK2Q |
| R2FFS03FZS | R2FFS03FZS | 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 2205.06433#VEJM |
| R2G4G3RCQR | R2G4G3RCQR | statement | record (an 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#83LZ |
| R2GAGMNDQ6 | R2GAGMNDQ6 | statement | record (an 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.27157#U28Q |
| R2GAKS1E82 | R2GAKS1E82 | statement | record (an 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.21093#F93N |
| R2H1TVW34N | R2H1TVW34N | statement | record (an 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.36456#HBJX |
| R2H31NA03P | R2H31NA03P | statement | record (an 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.24845#JFQR |
| R2HY672382 | R2HY672382 | proof | open | levin_dmoi ptx/sec_addtops-numbth.ptx#proof-1 |
| R2J1EJK834 | R2J1EJK834 | exercise | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#prob:divisibility examples |
| R2J4503AH7 | R2J4503AH7 | statement | record (an 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.13782#9N4J |
| R2JA5BX2EG | R2JA5BX2EG | statement | record (an 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.01000#IY59 |
| R2JC4C934B | R2JC4C934B | statement | record (an 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.12831#9HU6 |
| R2M1QJDPEP | R2M1QJDPEP | statement | record (an 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.05506#RC0G |
| R2M25P8BF9 | R2M25P8BF9 | statement | record (an 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.21365#06I5 |
| R2M2BTHFTB | R2M2BTHFTB | 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 1209.5343#TRND |
| R2M5E8H8P3 | R2M5E8H8P3 | statement | record (an 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.04165#A0V9 |
| R2MBX5A4JW | R2MBX5A4JW | statement | record (an 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.40345#R8Z2 |
| R2MDYGS03H | R2MDYGS03H | statement | record (an 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.26382#5KR2 |
| R2N4WNZ0WR | R2N4WNZ0WR | 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.02672#6QY2 |
| R2NCXN8VB5 | R2NCXN8VB5 | statement | record (an 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.04271#79JY |
| R2NWMWCWYG | R2NWMWCWYG | proof | open | napkin tex/alg-NT/frobenius.tex#proof-4 |
| R2NXFH4JV5 | R2NXFH4JV5 | statement | record (an 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.11336#JB1G |
| R2P55PBH76 | R2P55PBH76 | statement | record (an 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#4SLM |
| R2QYG072YJ | R2QYG072YJ | statement | record (an 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.17267#6R4X |
| R2R0EXXKHJ | R2R0EXXKHJ | definition | open | lebl_ra ch-several-vars-ders.tex#defn-8 |
| R2R3BZ8SHR | R2R3BZ8SHR | statement | record (an 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.04305#9RN0 |
| R2R6FCPN18 | R2R6FCPN18 | statement | record (an 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.30999#WEE3 |
| R2RPPC6YWA | R2RPPC6YWA | statement | record (an 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#J3SC |
| R2RRS8802N | R2RRS8802N | statement | record (an 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.05005#2BRU |
| R2RW1H7G9X | R2RW1H7G9X | statement | record (an 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.13505#Z33V |
| R2S7HR1J12 | R2S7HR1J12 | statement | record (an 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.25080#FYHC |
| R2SGDPRCMM | R2SGDPRCMM | proof | open | open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-3 |
| R2SV4WEE65 | R2SV4WEE65 | statement | record (an 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#SHKM |
| R2SZ6DX49H | R2SZ6DX49H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#1N9T |
| R2T73KQE3N | R2T73KQE3N | 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 2212.06621#IAME |
| R2TNW6HZ4T | R2TNW6HZ4T | statement | record (an 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.16102#M6XL |
| R2TW59BEKY | R2TW59BEKY | statement | record (an 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.06810#6I1R |
| R2V2WPKM9R | R2V2WPKM9R | statement | record (an 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#JQTA |
| R2W9AE3EDV | R2W9AE3EDV | statement | record (an 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.21005#CJJ4 |
| R2XC3A9VPW | R2XC3A9VPW | statement | record (an 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.29712#7DNW |
| R2XKZP3JJD | R2XKZP3JJD | statement | record (an 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.08357#LU0K |
| R2YEB1JPDP | R2YEB1JPDP | statement | record (an 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.02628#9CKK |
| R2YEWV2XHA | R2YEWV2XHA | statement | record (an 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.00386#016V |
| R2YH2JYDHW | R2YH2JYDHW | statement | record (an 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.28365#EZNI |
| R2YZ32EHW3 | R2YZ32EHW3 | statement | record (an 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.10029#F3RM |
| R2Z63XZ006 | R2Z63XZ006 | proof | open | napkin tex/set-theory/zorn-lemma.tex#proof-1 |
| R2ZA05AV80 | R2ZA05AV80 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1705.01594#PZF5 |
| R2ZBVWFT96 | R2ZBVWFT96 | exercise | open | lebl_ra ch-approximate.tex#exercise-70 |
| R306RSTZAM | R306RSTZAM | statement | record (an 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#WIJ9 |
| R30G1S5QPK | R30G1S5QPK | statement | record (an 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.08809#O2XV |
| R30RE227WJ | R30RE227WJ | 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.40207#Y8VW |
| R3124W67R0 | R3124W67R0 | statement | record (an 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.11997#V3S2 |
| R324ZP4PVT | R324ZP4PVT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#9OCX |
| R32ZQJHGFQ | R32ZQJHGFQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#ZT5T |
| R33KE0VZAD | R33KE0VZAD | exercise | open | lebl_ra ch-real-nums.tex#exercise-6 |
| R343HZ3B2A | R343HZ3B2A | statement | record (an 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.04870#81QC |
| R34C1Y9D97 | R34C1Y9D97 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.08839#8KEA |
| R34W3WSQGV | R34W3WSQGV | statement | record (an 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.08385#69PY |
| R35GEF280V | R35GEF280V | statement | record (an 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.28650#7RE8 |
| R3687PW06F | R3687PW06F | statement | record (an 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.28211#PUIO |
| R3694Q9XDF | R3694Q9XDF | unknown | open | arXiv 2610.07573#EGZT |
| R36AENZT0C | R36AENZT0C | statement | record (an 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#VV7C |
| R36M94EN9K | R36M94EN9K | statement | record (an 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.11276#W33J |
| R36YN3YHG5 | R36YN3YHG5 | statement | record (an 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.36309#YI0E |
| R381X2B7C9 | R381X2B7C9 | exercise | open | active_calculus source/activities/act-6-1-2.xml#act-6-1-2 |
| R38A6C8YSS | R38A6C8YSS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#KY6T |
| R38A8QD0TW | R38A8QD0TW | statement | open | lebl_ra ch-several-vars-ders.tex#prop-6 |
| R38EZ04P2D | R38EZ04P2D | statement | record (an 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.04466#0VRS |
| R38MMA3KD2 | R38MMA3KD2 | statement | record (an 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.33900#F8FK |
| R391QNGMHX | R391QNGMHX | statement | open | open_logic content/set-theory/z/infinity-again.tex#naturalnumbersarentinfinite |
| R394JATBWE | R394JATBWE | definition | open | napkin tex/H113/structure.tex#definition-7 |
| R39B0Q2QHT | R39B0Q2QHT | statement | record (an 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.13884#0WE3 |
| R39S10REQH | R39S10REQH | statement | record (an 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.39593#D2NX |
| R39TJ5HPGW | R39TJ5HPGW | statement | record (an 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.31387#ITVB |
| R3AG3YZ1KX | R3AG3YZ1KX | statement | record (an 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.32614#7JSU |
| R3AKX737A2 | R3AKX737A2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6237023, nLab John Palmieri |
| R3B26W7K19 | R3B26W7K19 | statement | record (an 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.23797#NGCU |
| R3B3MJFYFY | R3B3MJFYFY | 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 2406.19866#VT4F |
| R3B4AV06V6 | R3B4AV06V6 | statement | record (an 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.29196#XT1L |
| R3BH90P5QJ | R3BH90P5QJ | statement | record (an 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.37739#NP5G |
| R3BM5SG26G | R3BM5SG26G | 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.06441#9NQR |
| R3BZH4N71W | R3BZH4N71W | statement | record (an 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#XDS8 |
| R3C4E9PDN6 | R3C4E9PDN6 | statement | record (an 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.26019#1F19 |
| R3C58GBCEH | R3C58GBCEH | 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.10745#HZSY |
| R3CC4FN2VD | R3CC4FN2VD | statement | record (an 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.19309#N3QO |
| R3CKT7D0DH | R3CKT7D0DH | statement | record (an 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.15881#HUTN |
| R3E35MVQ4S | R3E35MVQ4S | statement | record (an 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.11939#U88T |
| R3E442RH5P | R3E442RH5P | statement | record (an 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.06473#AHJA |
| R3EQ705EBX | R3EQ705EBX | proof | open | lebl_scv scv.tex#proof-19 |
| R3F0CF7GH6 | R3F0CF7GH6 | statement | record (an 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.35027#A5ID |
| R3FBS138SE | R3FBS138SE | 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.27800#OS88 |
| R3FF65P001 | R3FF65P001 | statement | record (an 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.31126#IOS5 |