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 4301–4400 of 4892.

Name	Id	Kind	Outcome	Sources
RT2D8E48A2	RT2D8E48A2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2512.07340#M7B4
RT2TWGZXEP	RT2TWGZXEP	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/0406514#9I9J
RT30E8CRX0	RT30E8CRX0	exercise	open	lebl_diffyqs ch-higher-order-ode.tex#sol:eulerexln
RT42TZM6NX	RT42TZM6NX	statement	record (an 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.33327#1J7B
RT4AXAECWX	RT4AXAECWX	statement	record (an 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.08226#YL4M
RT4J65KWG6	RT4J65KWG6	statement	record (an 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.15291#MNGT
RT4SKWK19Q	RT4SKWK19Q	statement	record (an 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.27136#MX4L
RT51SGXRCW	RT51SGXRCW	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.26366#VU6X
RT5HGYS81Y	RT5HGYS81Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2407.02022#OG60
RT68B5JZ02	RT68B5JZ02	unknown	open	arXiv 2512.07470#CLUH
RT6BE8VGEQ	RT6BE8VGEQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2111.00832#WNHX
RT89VJM0EE	RT89VJM0EE	example	open	lebl_diffyqs ch-fourier-and-pde.tex#example-15
RT8EBB7MYQ	RT8EBB7MYQ	statement	record (an 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.20131#2B6X
RT8TMD4C8H	RT8TMD4C8H	statement	record (an 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.14689#7FPR
RT91KSH3HS	RT91KSH3HS	statement	record (an 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.18562#CGNC
RT9QPSAHD7	RT9QPSAHD7	statement	record (an 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.19853#T2LX
RT9ZBBSST2	RT9ZBBSST2	statement	record (an 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.10527#ANR5
RTA1YVDXM8	RTA1YVDXM8	exercise	open	ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:Darth Vader
RTAFA2AJNB	RTAFA2AJNB	statement	record (an 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#ECTQ
RTAMNRMDN9	RTAMNRMDN9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2204.01073#ZU7N
RTAP8GAG6V	RTAP8GAG6V	statement	record (an 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.16203#G9FX
RTBQ17YS33	RTBQ17YS33	statement	record (an 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.38131#U626
RTBY6BC79S	RTBY6BC79S	statement	record (an 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.22288#NYR5
RTBZJFVAXG	RTBZJFVAXG	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.08251#6CMT
RTC07QNS1J	RTC07QNS1J	statement	record (an 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#US5Z
RTCDYZ0951	RTCDYZ0951	statement	record (an 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.03520#C891
RTCHR8G40E	RTCHR8G40E	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.02141#0H6N
RTDA9DXJE9	RTDA9DXJE9	statement	record (an 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.25168#VCC6
RTDN5Z7740	RTDN5Z7740	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.36423#YTNM
RTDT6HTWP6	RTDT6HTWP6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2111.01197#1XVT
RTDX2ACCH9	RTDX2ACCH9	statement	record (an 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#7O24
RTF5S819YF	RTF5S819YF	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.01932#Y6FC
RTGE78EJY5	RTGE78EJY5	statement	record (an 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.00789#2DTR
RTGGNH6FM4	RTGGNH6FM4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2606.00589#DRY5
RTGKY41JSS	RTGKY41JSS	statement	record (an 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.20825#D4M7
RTH4ZEY5SC	RTH4ZEY5SC	statement	record (an 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.06372#2VEK
RTHBCYVNVE	RTHBCYVNVE	statement	record (an 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.33841#LDWU
RTJ8SE172T	RTJ8SE172T	statement	record (an 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.35467#HHCA
RTKC2DSH7Z	RTKC2DSH7Z	statement	record (an 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.14837#59DM
RTKEWV2XH8	RTKEWV2XH8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2602.15812#O5QX
RTKG3NAGMP	RTKG3NAGMP	example	open	austin_ula src/section4-2.xml#example-4
RTKVPQ7V14	RTKVPQ7V14	statement	record (an 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#R6TG
RTM8DE6A5W	RTM8DE6A5W	statement	record (an 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.07162#G94O
RTMHX1DYQR	RTMHX1DYQR	statement	record (an 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.03661#SGUB
RTN672REHJ	RTN672REHJ	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.32176#6AAG
RTND94E8KW	RTND94E8KW	statement	record (an 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.29903#GFGV
RTNJ8PJCW8	RTNJ8PJCW8	statement	record (an 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.17004#HITN
RTP66E2TBM	RTP66E2TBM	statement	record (an 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.36622#DCNW
RTPM0BFTM8	RTPM0BFTM8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2006.07610#Y7J9
RTPMB5JDSM	RTPMB5JDSM	statement	record (an 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.12484#FKJ6
RTPN3PNG0W	RTPN3PNG0W	statement	record (an 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.10925#AXFB
RTQ5EQQW9H	RTQ5EQQW9H	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.27078#2ZDY
RTS4FS47DY	RTS4FS47DY	example	open	lebl_ra ch-metric.tex#example-17
RTS9M59MQP	RTS9M59MQP	statement	record (an 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.36313#0NW0
RTSR7G53JT	RTSR7G53JT	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2301.02848#QHYD
RTVF8ZEQDK	RTVF8ZEQDK	exercise	open	lebl_diffyqs ch-systems.tex#exercise-29
RTVV1Q1ZTM	RTVV1Q1ZTM	statement	record (an 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.03420#QHC4
RTVZ5XV3T9	RTVZ5XV3T9	statement	record (an 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#CI2W
RTW1VTVD8P	RTW1VTVD8P	statement	record (an 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.29449#QATU
RTWFKXZYVN	RTWFKXZYVN	statement	record (an 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.02993#36TH
RTWHD0WC28	RTWHD0WC28	proof	open	open_logic content/set-theory/card-arithmetic/simp.tex#proof-3
RTXX5Q4R8C	RTXX5Q4R8C	statement	record (an 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.13518#THG4
RTXXS0PQQQ	RTXXS0PQQQ	definition	open	open_logic content/turing-machines/machines-computations/disciplined-machines.tex#defn:disciplined
RTZAA2FJY9	RTZAA2FJY9	statement	record (an 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#PVYE
Ruan's theorem	5WKBBTGXYX	statement	record (an 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#248E
Ruan's theorem	6HYMZFHDYQ	statement	record (an 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.37698#4F2P
Ruben Minasian	NE209QMNFY	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q53973796, nLab Ruben Minasian
rubidium	QEKRC27NZ8	definition	open	Wikidata Q895, ProofWiki Definition:Rubidium
rubidium-87	HS6S1Y1GP0	definition	open	Wikidata Q2019749, ProofWiki Definition:Rubidium/87
Rubik's Clock	1HY5WNSF5H	unknown	open	Wikidata Q1759004, MathWorld RubiksClock
Rubik's Cube	V2NN3S9HDB	unknown	open	Wikidata Q47043, MathWorld RubiksCube
Rubik's Cube group	RF1Y9DXZAK	unknown	open	Wikidata Q3123152, MathWorld RubiksGroup
Rudin characterization	WDXSDYQFEM	statement	record (an 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.02642#FR37
Rudolf Carnap	RJWCBS7VJV	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q76519, nLab Rudolf Carnap
Rudolf Clausius	DS41149J5G	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q30693, nLab Rudolf Clausius
Rudolf Haag	8JH842RNVC	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q91636, nLab Rudolf Haag
Rudvalis group	58ZPFPJ6GS	unknown	open	Wikidata Q3117698, MathWorld RudvalisGroup
Ruelle zeta function	V5WRN5WAMQ	unknown	open	Wikidata Q7377817, nLab Ruelle zeta function
Ruelle--Perron--Frobenius	PGJ2W6KVV4	statement	record (an 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.17276#DTDR
Ruelle--Perron--Frobenius asymptotics	71VXS6WXK7	statement	record (an 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.04834#IWN4
Ruelle-Perron-Fr\"obenius, RPF	Z59GCWW235	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1603.00857#RW4N
Ruffini's rule	79AX7SKXAS	unknown	open	Wikidata Q2704282, MathWorld RuffinisRule
Rule 110	9049JE4MBR	unknown	open	Wikidata Q1876486, MathWorld Rule110
Rule 30	D8H6CZ9AZ3	unknown	open	Wikidata Q2918510, MathWorld Rule30
Rule 90	GEX019V43A	unknown	open	Wikidata Q7378926, MathWorld Rule90
Rule Language	SVHVWW6ZBY	statement	record (an 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/0003117#CX1R
rule of 72	H1V77CM1V3	unknown	open	Wikidata Q264016, MathWorld Ruleof72
rule of inference	126Y0800YD	unknown	open	Wikidata Q1068763, MathWorld RuleofInference
Rule of inference	R27R7BDR4M	definition	open	open_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-2
rule of product	SMEW0A1CWG	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q557624, MathWorld MultiplicationPrinciple
rule, formation	GPABRKBQ6D	concept	open	hott_book index/A.5/rule-formation
rule, formation	NF4252WXPD	concept	open	hott_book index/4.2.4/rule-formation
rule, introduction	6PT5N3Q4KW	concept	open	hott_book index/4.2.4/rule-introduction
rule, rewriting	832AANM4QT	concept	open	hott_book index/4.4/rule-rewriting
rule, structural	34J0RVYSK8	concept	open	hott_book index/4.2.2/rule-structural
rule, versus axioms	EHHB1T8HWF	concept	open	hott_book index/A.1/rule-versus-axioms
ruled surface	XHGKJPQFVG	unknown	open	Wikidata Q840376, MathWorld RuledSurface
ruler	VB6EBP3CDC	unknown	open	Wikidata Q104555, MathWorld Ruler
ruler function	H0YGFYB1E1	unknown	open	Wikidata Q111940079, MathWorld RulerFunction
Rules	ESH0Y3XWSY	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/0003117#HRMR