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 4801–4892 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RZ0VE80N6G | RZ0VE80N6G | statement | record (an 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.07855#RDH1 |
| RZ0WC40DDH | RZ0WC40DDH | statement | record (an 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.25367#BFGX |
| RZ1Q3A0KCW | RZ1Q3A0KCW | statement | record (an 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.02756#9G6B |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| RZZ8QH88FK | RZZ8QH88FK | statement | record (an 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.13580#L28R |
| RZZDX8VWFG | RZZDX8VWFG | definition | open | napkin tex/complex-ana/meromorphic.tex#definition-2 |
| Rédei's theorem | C0EKPAEQ71 | statement | open | mathlib_1000 Q1177508, Wikidata Q1177508, thousand_plus Q1177508, Wikipedia Rédei's theorem |
| Rössler attractor | JGJ8XNN82Q | unknown | open | Wikidata Q720574, MathWorld RoesslerAttractor |
| Rǎzvan Gelca | 9S8ZYATFMJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93435431, nLab Razvan Gelca |