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 32206
- A 14857
- B 8801
- C 16259
- D 14084
- E 15274
- F 9799
- G 9669
- H 8314
- I 4337
- J 6160
- K 5827
- L 6705
- M 10900
- N 7100
- O 2466
- P 14238
- Q 4470
- R 10127
- S 16439
- T 12384
- U 2235
- V 5332
- W 5967
- X 3314
- Y 3712
- Z 3939
Rows 10001–10100 of 10127.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RZ24B1N95K | RZ24B1N95K | statement | record (an 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.06466#R32M |
| RZ29Q2M2MY | RZ29Q2M2MY | statement | record (an 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#GJC3 |
| RZ3N00678J | RZ3N00678J | proof | open | levin_dmoi ptx/exercises/logic-conc.ptx#proof-1 |
| RZ5990CTV2 | RZ5990CTV2 | statement | record (an 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.21045#KLT2 |
| RZ5GJNH0YW | RZ5GJNH0YW | statement | record (an 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.26337#M0KJ |
| RZ5NYCW9MX | RZ5NYCW9MX | statement | record (an 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.34339#ZETG |
| RZ5SNFFGXA | RZ5SNFFGXA | statement | record (an 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.01793#R2DS |
| RZ6EDFY1ZG | RZ6EDFY1ZG | statement | record (an 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.08885#CZKF |
| RZ6F05XJ4V | RZ6F05XJ4V | statement | record (an 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.15242#PXI7 |
| RZ79J1FRPG | RZ79J1FRPG | statement | record (an 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.22218#OC20 |
| RZ79YVM40M | RZ79YVM40M | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-6 |
| RZ7NP5A9T9 | RZ7NP5A9T9 | statement | record (an 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/0301148#JUI1 |
| RZ7V3BTJ55 | RZ7V3BTJ55 | 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 2506.07061#ZYBE |
| RZ82YZCKCZ | RZ82YZCKCZ | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-14 |
| RZ89X80J9G | RZ89X80J9G | 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.09483#A8KC |
| RZ8M97F78Y | RZ8M97F78Y | statement | open | open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prop:entails-unsat |
| RZ95AQBXNG | RZ95AQBXNG | 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.33124#OOXD |
| RZ97F282H2 | RZ97F282H2 | 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.07122#BSAM |
| RZ9BNFFMEB | RZ9BNFFMEB | statement | record (an 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.31489#UVSQ |
| RZ9Q3V1VSP | RZ9Q3V1VSP | example | open | lebl_ra ch-metric.tex#example-9 |
| RZ9TTFEFR4 | RZ9TTFEFR4 | statement | record (an 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.14458#UCAD |
| RZ9ZKWE0X5 | RZ9ZKWE0X5 | statement | record (an 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.17611#10K1 |
| RZA9EEWMT7 | RZA9EEWMT7 | statement | record (an 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.27151#XTF4 |
| RZABQGN7PK | RZABQGN7PK | statement | record (an 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.21475#K1GT |
| RZAS3SE9Z0 | RZAS3SE9Z0 | 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.22040#E571 |
| RZB0CX7376 | RZB0CX7376 | statement | record (an 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#F6D3 |
| RZB59BYD54 | RZB59BYD54 | statement | record (an 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.20600#ZW1T |
| RZB5MVS5R8 | RZB5MVS5R8 | statement | record (an 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.23605#STPM |
| RZB6Q812PC | RZB6Q812PC | statement | record (an 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#42CE |
| RZBFDSM5AP | RZBFDSM5AP | problem | deferred (the cue unsolved names a section and not one item) | Wikipedia Whitehead's algorithm#PAC2 |
| RZBV10C54R | RZBV10C54R | statement | record (an 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.21045#T1TG |
| RZCE5DDPPP | RZCE5DDPPP | statement | record (an 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.20077#SO0K |
| RZCF6HYWFN | RZCF6HYWFN | 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 2304.03611#N06V |
| RZCNQ44N59 | RZCNQ44N59 | statement | record (an 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.35001#ZAOJ |
| RZCPBKJEQQ | RZCPBKJEQQ | statement | record (an 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.18358#ESHN |
| RZD1BGW0NB | RZD1BGW0NB | 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.15593#B015 |
| RZDC2WXM8B | RZDC2WXM8B | statement | record (an 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.02073#E49B |
| RZDJK309YM | RZDJK309YM | statement | record (an 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.17280#QDDW |
| RZDKGA22R1 | RZDKGA22R1 | 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.07963#8A03 |
| RZDS60ZT88 | RZDS60ZT88 | 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.16020#P35M |
| RZDYBPF7CF | RZDYBPF7CF | statement | record (an 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.17280#IQO3 |
| RZDYM4E518 | RZDYM4E518 | statement | record (an 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.05066#D9R1 |
| RZEK9YKYSS | RZEK9YKYSS | statement | record (an 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.25255#W16W |
| RZEKMDB8BQ | RZEKMDB8BQ | 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.09300#F9KO |
| RZF3VC3Y6W | RZF3VC3Y6W | proof | open | hott_book hits.tex#proof-14 |
| RZF733K8CV | RZF733K8CV | 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.31126#8UW6 |
| RZG0YY6VM4 | RZG0YY6VM4 | statement | record (an 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.30637#OVBE |
| RZG2NV4V12 | RZG2NV4V12 | 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.35323#WEJI |
| RZG6EP4WGJ | RZG6EP4WGJ | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-7 |
| RZG7R65TEH | RZG7R65TEH | statement | record (an 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.21414#VVDV |
| RZG86B70Z3 | RZG86B70Z3 | statement | open | napkin tex/measure/martingale.tex#thm:doob_martingale_converge |
| RZGA3YA38T | RZGA3YA38T | statement | record (an 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.19729#GB5F |
| RZGB5SA326 | RZGB5SA326 | exercise | open | lebl_ra ch-approximate.tex#exercise-18 |
| RZGNV3S8KY | RZGNV3S8KY | statement | record (an 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.13898#LEKM |
| RZGTR8HNX9 | RZGTR8HNX9 | statement | record (an 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.17054#DO2O |
| RZH6G9FXE6 | RZH6G9FXE6 | statement | record (an 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.23684#15IC |
| RZH9E0QRRG | RZH9E0QRRG | statement | record (an 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.17135#QDF1 |
| RZHEJX1HVK | RZHEJX1HVK | statement | record (an 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.28336#HJDH |
| RZHFE6SC5K | RZHFE6SC5K | statement | record (an 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.18850#CPWK |
| RZHNG4QPK7 | RZHNG4QPK7 | statement | open | hott_book categories.tex#ct:units |
| RZJQ3Q39TK | RZJQ3Q39TK | statement | record (an 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.17611#7RTQ |
| RZK8HV8H8J | RZK8HV8H8J | statement | record (an 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.32300#U04K |
| RZKSPCQ1EB | RZKSPCQ1EB | statement | record (an 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.06707#60YS |
| RZKV8S26GT | RZKV8S26GT | statement | record (an 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.02944#KRM3 |
| RZM2DD7MA8 | RZM2DD7MA8 | statement | record (an 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.03341#WD2Z |
| RZM2ZFKRDY | RZM2ZFKRDY | statement | record (an 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.17717#15BQ |
| RZM3JZBR4A | RZM3JZBR4A | statement | record (an 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.20049#M9LC |
| RZM6DC7X64 | RZM6DC7X64 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#ALV9 |
| RZMFCHZS5D | RZMFCHZS5D | statement | record (an 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.00617#2A86 |
| RZN7NKP5K7 | RZN7NKP5K7 | statement | record (an 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#NMVH |
| RZNN26MAR2 | RZNN26MAR2 | statement | record (an 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.30200#DBPK |
| RZNRSSXS8X | RZNRSSXS8X | statement | record (an 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.14632#B8F1 |
| RZNT75V3GX | RZNT75V3GX | statement | record (an 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#FIZC |
| RZPSFQPV1B | RZPSFQPV1B | statement | record (an 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.02935#PD4R |
| RZPW3C5YCN | RZPW3C5YCN | statement | record (an 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#ETK0 |
| RZQ8NSCEQ0 | RZQ8NSCEQ0 | statement | record (an 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.14383#JT5V |
| RZQMMW53A7 | RZQMMW53A7 | statement | record (an 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.03138#CRR1 |
| RZQQYVTEQ0 | RZQQYVTEQ0 | statement | record (an 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.38844#C1S8 |
| RZR13ARJSR | RZR13ARJSR | 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 2311.16205#U79K |
| RZRD2GKMVC | RZRD2GKMVC | 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.26479#4JEV |
| RZRRHF478P | RZRRHF478P | unknown | open | |
| RZRSD9SYXQ | RZRSD9SYXQ | 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.36884#X2TK |
| RZRVD1XBVC | RZRVD1XBVC | 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.13475#ZLMN |
| RZS05E4HZD | RZS05E4HZD | statement | record (an 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.00105#MS7R |
| RZS1E4VWK2 | RZS1E4VWK2 | statement | record (an 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.21472#2JYE |
| RZS38TN06S | RZS38TN06S | statement | record (an 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#DKKP |
| RZS6F0DQNX | RZS6F0DQNX | statement | record (an 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#E6XH |
| RZSX94QRF5 | RZSX94QRF5 | 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 1009.2043#0AC0 |
| RZTT76KXBK | RZTT76KXBK | statement | record (an 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.19028#SOQX |
| RZV1R7EE86 | RZV1R7EE86 | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-18 |
| RZWEWW3MQB | RZWEWW3MQB | 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 2106.11898#AE5A |
| RZWFD69QX4 | RZWFD69QX4 | 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 2311.00585#D0U4 |
| RZWGSTBSXG | RZWGSTBSXG | statement | record (an 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.15444#B917 |
| RZWV16V02S | RZWV16V02S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16205#JFHF |
| RZY17NNPRX | RZY17NNPRX | example | open | levin_dmoi ptx/sec_intro-sets.ptx#example-6 |
| RZYBTZVNTK | RZYBTZVNTK | statement | record (an 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.20817#57RZ |
| RZYGCX5F0N | RZYGCX5F0N | statement | record (an 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.12181#XGO1 |
| RZYRN5RKF9 | RZYRN5RKF9 | statement | record (an 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.18184#E84B |
| RZZ0X07PAY | RZZ0X07PAY | 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 2508.17135#G841 |
| RZZ2646Y69 | RZZ2646Y69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#QQRE |