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 2701–2800 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Resolved--intrinsic comparison: unconditional and conditional layers | E8GVJ3JRX0 | statement | record (an 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.27799#3RF3 |
| Resolvent approximate inverse | KY3G6J97FG | statement | record (an 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.20106#172Q |
| Resolvent blocks for the cyclic Darboux transforms | PJ2FD8JKTZ | statement | record (an 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.26066#VQ8K |
| resolvent cubic | PQQGA6PC7W | unknown | open | Wikidata Q7315718, MathWorld ResolventCubic |
| Resolvent factorization | N406MQZYEJ | statement | record (an 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.01501#6EFZ |
| Resolvent jump and Plancherel formula | KB0ZY7QMJ3 | statement | record (an 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.25925#QSK0 |
| resolvent killed outside of an interval | D7WTV0QM90 | statement | record (an 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.29326#UYNW |
| Resolvent representation of the star Weyl matrix | W8RFMX4KE2 | statement | record (an 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.26066#BEQV |
| Resolvent transport along the cyclic family | FBW6FFXE3W | statement | record (an 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.26066#FY67 |
| Resolving the singular cone | 6K05MMCGKG | statement | record (an 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.27799#IQ7S |
| resonance bound | 7MD0BJ02KK | statement | record (an 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.04000#X0DR |
| Resonant logarithmic profile and symmetry | 4D783S18M3 | statement | record (an 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.00339#2VN9 |
| Resource stability | 2TMKGD370B | statement | record (an 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.20414#QIOZ |
| Resource-fibre mixing | QP49NZGMVM | statement | record (an 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.20414#A0PB |
| Response approximation on a candidate grid | D5A5SKPSPF | statement | record (an 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.21301#72JY |
| rest energy | F8FJ4YMG35 | definition | open | Wikidata Q11663629, ProofWiki Definition:Rest-Mass_Energy |
| rest mass | A4J1JZH7Q5 | definition | open | Wikidata Q1097654, ProofWiki Definition:Rest_Mass |
| Restall's hypersequent calculus for \textbf{S5 | 69BSN97WGX | 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.08323#RK3T |
| Restarted ACD | H9E38H71J0 | statement | record (an 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.32558#YFYX |
| Restarts | R4NXD9CY34 | statement | record (an 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.12641#C8L1 |
| Restate Exercise 6.10 | Z88ZC2E4RZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#3K7S |
| Restate Theorem 2 | 87MR5JN5YZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#D5KO |
| restate=Completeness, name=Completeness | QG827598RH | statement | record (an 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#TUJJ |
| restate=exRank,label=ex:rank | 6EQM762NKF | 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.07927#87YY |
| restate=exUlam, label=ex:ulam | 8EVT41YZEG | 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.07927#63PZ |
| restate=IndDerivableInCyc, name= | QGXESFB20Y | statement | record (an 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#3CEL |
| restate=IndThmIsCycThm, name= | 8KFZEZE9AC | statement | record (an 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#CIPZ |
| restate=lemCideals, label=lem:c-ideals | HB73NNHZC7 | statement | record (an 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.07927#ET9E |
| restate=lemCl, label=lem:ideal-cl | 6CQBWV4JC8 | statement | record (an 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.07927#MOGA |
| restate=thmAxiom,label=thm:axiomatisation | C36C00PSSM | statement | record (an 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.07927#OJWB |
| restate=thmPhi, label=thm:semiring-hom-congruence | BKFK5SZJ82 | statement | record (an 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.07927#TQOC |
| restate=thmRadInt,label=thm:radical-intersection | GWK4JQBN57 | statement | record (an 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.07927#E1R0 |
| restate=thmSemiringHomChar,label=thm:characterisation-semiring-homs | MMADGH7NEH | statement | record (an 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.07927#6P15 |
| Restated | R9Z1MMA5SX | statement | record (an 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.02097#MP24 |
| Restatement | HS6HGEN1EG | statement | record (an 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.09882#3F4Z, arXiv 2610.09882#AAZK |
| Restatement | RA5RGMRZ4P | statement | record (an 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.09882#QXQP, arXiv 2610.09882#XOVF |
| Restatement of cardinality properties | 9DVHYRV95T | statement | open | napkin tex/set-theory/cardinal.tex#proposition-1 |
| Restatement of Corollary 1 | FT84D21M4T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#LRAH |
| Restatement of Theorem 3.1 | PGBNS3YNHD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#80LT |
| Restatement of Theorem 4.1 and Theorem 4.2 | SGGXZX2KXH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#RX0D |
| Restoration function | TMZ3KKKRT7 | statement | record (an 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.21454#YCZV |
| Restricted eigenvalue condition | 5G3TQ4YYJK | 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.39449#34S0 |
| Restricted Euclidean groupoid | MWSBVQYKZ0 | 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.25987#1325 |
| Restricted groupoid-equivariant layer | KNEEK8KWYB | 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.25987#FUN1 |
| restricted Lie algebra | A53AC9K78R | unknown | open | Wikidata Q7316293, nLab restricted Lie algebra |
| Restricted Partition Function | HS9EWPS5W4 | 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 2109.12716#P1QF |
| restricted product | 37346QVXQ3 | unknown | open | Wikidata Q7316304, nLab restricted product |
| Restricted repair contraction | 8BQARHB0VX | statement | record (an 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.11038#L511 |
| restricted representation | C8MVTSPAB1 | unknown | open | Wikidata Q7316307, nLab restricted representation |
| Restricted tangent Fisher energy | QSW3CFXM14 | statement | record (an 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.11038#8UB6 |
| Restricted-data diagonal-extension identity | AQHR92WNC0 | statement | record (an 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.00448#GW6A |
| Restricted-family coverage certificate | 69BH5HZV71 | statement | record (an 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.11038#SSP3 |
| Restricted-multiplier Positivstellensatz | QEKZKFDNGQ | statement | record (an 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#S88W |
| Restriction | ACK13PYJ37 | 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.25987#TTQL |
| restriction | ETM66721TE | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1308999, nLab restriction |
| Restriction criterion for regular wreath products | VA81WFT2HC | statement | record (an 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.03424#4BUR |
| Restriction estimate | J1GY45JY51 | statement | record (an 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.05002#9N5S |
| Restriction estimate | VZE9QBXC9J | statement | record (an 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.05002#0BW8 |
| Restriction estimate | W366J36XJW | statement | record (an 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.05002#YI7A |
| Restriction growth of mixed stabilizer profiles | Z7ZJPBWX8B | statement | record (an 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.02166#6XSA |
| Restriction homomorphisms | MZ94RBQWYY | 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.21675#5J15 |
| Restriction kernels and the interior Dirichlet spectrum | 6Y0CNHDANZ | statement | record (an 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.08011#3601 |
| Restriction model through degree $q_{\max}$ | C510QSDQ16 | 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.09295#6C1G |
| Restriction of a universally defined cycle | KW92NNBV3J | statement | record (an 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.10828#JWW2 |
| Restriction of an ambient symmetry | N9JX7BMHPA | 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.25987#HY4T |
| restriction of scalars | ZWPXGH6NBJ | unknown | open | Wikidata Q7316320, nLab restriction of scalars |
| Restriction of the scalar field | 25TCK1PF4A | statement | record (an 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.32651#XI1Y |
| restriction rank | 8JJDQX63Q2 | statement | record (an 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.02289#KC2H |
| Restriction to the exceptional curve | GQBVEKMACX | statement | record (an 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#H51O |
| Restrictions preserve the hypothesis | A7JNG4AYDT | statement | record (an 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#OZ28 |
| Result 3.3 | V9RM74WEG1 | statement | record (an 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.02392#3MEZ |
| resultant | 5YFA41MAFP | unknown | open | Wikidata Q1168321, MathWorld Resultant, nLab resultant |
| Results on proximal operator | BQ5APG69M4 | statement | record (an 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.38453#TRL2 |
| resummation | 8TH02R7KCY | unknown | open | Wikidata Q17105514, nLab resummation |
| resummation identity | 6RCX74CG45 | statement | record (an 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.39511#30YV |
| resummation of the directional forms | XA7VMCY48C | statement | record (an 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.39511#ES9V |
| RESWD3SFAZ | RESWD3SFAZ | statement | record (an 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.32829#8EKJ |
| RESZAK6H9S | RESZAK6H9S | statement | open | lebl_ra ch-approximate.tex#prop-2 |
| Retained axioms and state order | 4XRVNTCS2N | statement | record (an 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.08821#SI40 |
| Retained body under a first-moment score hypothesis | 3XEKR2SP90 | statement | record (an 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.38228#GQRF |
| Retained states are subexponentially many given existence | ESKJRP18Z2 | statement | record (an 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.06490#U20K |
| Retained-edge charge | 1N35AZ29V7 | statement | record (an 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.31811#MQ79 |
| Retaining intermediate summands | QBTNH8G1RY | statement | record (an 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#MEP8 |
| Retaining the defining commutator identities | GZ2QJE632Z | statement | record (an 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.14509#2R9E |
| Retarded trace estimate | F0GKXCXHD1 | statement | record (an 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.24481#TCCP |
| Retention of the complete selected reference | HDW7RVEFHP | statement | record (an 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.38228#05NA |
| retract | S6TV4283FW | concept | open | Wikidata Q2141963, EoM Retract_of_a_topological_space, MathWorld Retract, nLab retract |
| retract, of a function | 4D5ZQH860C | concept | open | hott_book index/3.7/retract-of-a-function |
| retract, of a function | XVDQRQTVTC | concept | open | hott_book index/6.5/retract-of-a-function |
| retract, of a type | B4PCNSVN8D | concept | open | hott_book index/6.1/retract-of-a-type |
| retract, of a type | NBKT5XRQQB | concept | open | hott_book index/3.9/retract-of-a-type |
| retraction | CXJ70FV4MC | concept | open | hott_book index/3.6/retraction |
| retraction | E1DEMMPJSC | concept | open | hott_book index/6.1/retraction |
| retraction | VFJHSJCEA5 | unknown | open | Wikidata Q57605839, MathWorld LeftInverse |
| Retraction decomposition | QNMZVRAJY2 | statement | record (an 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#06J9 |
| Retracts of stacks are stacks | RNF96Q8WTF | statement | record (an 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.03865#8JN1 |
| retrograde analysis | XTEVTWW6G3 | definition | open | Wikidata Q2082711, ProofWiki Definition:Retrograde_Analysis |
| Retuning does not close the scale gap | 70BD74EHCR | statement | record (an 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.15543#VEUT |
| Return matrix as a local operator overlap | 9WG2Q7FW2V | statement | record (an 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.16351#X0D2 |
| Return rigidity | 5BXX76DAT6 | statement | record (an 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.10557#S9X2 |