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 1601–1700 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| RDRH30X1RD | RDRH30X1RD | statement | record (an 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.34295#XGCC |
| RDRXK24E69 | RDRXK24E69 | unknown | open | arXiv 2106.06387#D62O |
| RDS2J8C321 | RDS2J8C321 | proof | open | hott_book reals.tex#proof-33 |
| RDS6M9YMCE | RDS6M9YMCE | statement | record (an 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.14278#S5U5 |
| RDSV69XYNV | RDSV69XYNV | statement | record (an 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.39615#UC1K |
| RDT4A6P9B3 | RDT4A6P9B3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.15212#689U |
| RDT71PZDG1 | RDT71PZDG1 | definition | open | lebl_ra ch-real-nums.tex#defn-3 |
| RDTDB509JQ | RDTDB509JQ | statement | record (an 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.33771#J92C |
| RDTT8568BM | RDTT8568BM | statement | record (an 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.16606#JU1J |
| RDTYP1HMWH | RDTYP1HMWH | statement | record (an 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.05986#R5XA |
| RDU decisions weights and LIL | TYE1A8D7XR | statement | record (an 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.25026#B9ZE |
| RDVG0JTJD8 | RDVG0JTJD8 | statement | record (an 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#QII7 |
| RDVN2AZVQZ | RDVN2AZVQZ | statement | record (an 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.10325#HIHL |
| RDVNPSW4HG | RDVNPSW4HG | statement | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#thm:nonenum-bin-omega |
| RDWV1RNYPY | RDWV1RNYPY | statement | record (an 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.07164#00TH |
| RDYFFSS309 | RDYFFSS309 | 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.08935#5GU9 |
| RDZ24TN3ZJ | RDZ24TN3ZJ | statement | record (an 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#9HB4 |
| RDZE9WS5ZG | RDZE9WS5ZG | statement | record (an 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.03231#0E8I |
| RDZK1JHFSQ | RDZK1JHFSQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.07352#BGUJ |
| RDZKYGPP3T | RDZKYGPP3T | statement | record (an 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.01928#1DCS |
| RDZTQZJ52D | RDZTQZJ52D | statement | record (an 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#QN4G |
| RDZXEC6N6H | RDZXEC6N6H | statement | record (an 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.40138#F6F8 |
| Re-proof of Schr\"oder-Bernstein | 4761D70R7X | proof | open | open_logic content/set-theory/cardinals/cardsasords.tex#proof-3 |
| RE075Y52SK | RE075Y52SK | statement | record (an 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.31278#8D5L |
| RE158P809J | RE158P809J | statement | record (an 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.01273#U377 |
| RE19J9C2HB | RE19J9C2HB | statement | record (an 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.04434#C5TP |
| RE1KT2SDZP | RE1KT2SDZP | statement | record (an 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#GIG0 |
| RE2G7HA8BW | RE2G7HA8BW | statement | record (an 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.28594#NKBC |
| RE2JTA4WNX | RE2JTA4WNX | unknown | open | arXiv 1008.4254#0ZS2 |
| RE2M474WGN | RE2M474WGN | statement | record (an 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#3TP1 |
| RE2RSFYJ68 | RE2RSFYJ68 | statement | record (an 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.37520#6EV2 |
| RE2WYD6BHX | RE2WYD6BHX | statement | record (an 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#QBCA |
| RE324EX78H | RE324EX78H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20001#P8LK |
| RE36AKX4Q0 | RE36AKX4Q0 | statement | record (an 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#5Q8W |
| RE3BFSFK7T | RE3BFSFK7T | definition | open | napkin tex/set-theory/cardinal.tex#definition-9 |
| RE3BS67NVX | RE3BS67NVX | statement | record (an 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.02395#BGYU |
| RE3E3784DJ | RE3E3784DJ | 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.21358#RP4P |
| RE3GAT57ZD | RE3GAT57ZD | statement | record (an 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.22082#MZ4P |
| RE4M6JNRAG | RE4M6JNRAG | 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.05391#F4YV |
| RE53HB8CBM | RE53HB8CBM | statement | record (an 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.04608#SP1K |
| RE5YMR10A2 | RE5YMR10A2 | statement | record (an 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.31768#BG9F |
| RE66VQDB7E | RE66VQDB7E | unknown | open | |
| RE68BR020X | RE68BR020X | statement | record (an 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.25477#XDHV |
| RE6CK0P6JA | RE6CK0P6JA | statement | record (an 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.14068#7SHK |
| RE6Q9PR5D6 | RE6Q9PR5D6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03730#K7V1 |
| RE7AF9VP85 | RE7AF9VP85 | 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 math/9602216#MULS |
| RE7RFJWGKV | RE7RFJWGKV | statement | record (an 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.24320#KCLW |
| RE80SG394Q | RE80SG394Q | statement | record (an 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.26477#2DGY |
| RE8XZAVSS8 | RE8XZAVSS8 | statement | record (an 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.12012#TJJ9 |
| RE91FWEXS8 | RE91FWEXS8 | exercise | open | austin_ula src/exercises/exercises7-1.xml#exercise-5 |
| Reach estimate | C5PQ3AJ3AK | statement | record (an 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.15511#W9JF |
| reachability objective | WC76QT0VMT | 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.17541#13AL |
| Reachability under $\mu$ | CYZY7R7XYZ | statement | record (an 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.14988#1QTE |
| reaction | R11GZSPWD1 | definition | open | Wikidata Q343546, ProofWiki Definition:Opposite_Force |
| Read-once threshold and parity formulas | DEM0EZG4YJ | statement | record (an 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.16069#5ML9 |
| Reading of the dimension formula | VQGEJ9B3E0 | statement | record (an 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.27966#SQVF |
| REAH878NPK | REAH878NPK | statement | record (an 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.20316#AWU0 |
| Real aggregation | XKPN9NSQW6 | statement | record (an 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.13063#3I8A |
| real analysis | Q0H21WYZFM | topic | open | Wikidata Q854531, MathWorld RealAnalysis, ProofWiki Definition:Analysis/Real |
| real analytic function | EMS2SYP5ZS | unknown | open | Wikidata Q120153213, EoM Real_analytic_function, MathWorld RealAnalyticFunction |
| Real and imaginary parts of the balanced Dyson equation | 61608ZF1MG | statement | record (an 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.15180#5N82 |
| Real and integer-multiplicity rectifiable $k$-current | XJ2Z9N7WJT | 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.24451#01TR |
| Real antisymmetric canonical form | 1P1C2DVSXY | statement | record (an 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.27966#AY0X |