Math 2.0

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.

Rows 4401–4500 of 4892.

NameIdKindOutcomeSources
Rules for quantifiersR3W3C7NNENdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/axioms-rules-quantifiers.tex#defn-2
rules of chessKXWAV1G1MPdefinitionopenWikidata Q3392263, ProofWiki Definition:Chess/Rules
rules of type theoryFEZBEEZJ55conceptopenhott_book index/4/rules-of-type-theory
Rules with at most one premise79GDT1R4TVstatementrecord (an 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.33469#OMLM
Rumely53VZZSPEWHstatementrecord (an 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.39505#O8SZ
Rung $2''$73CGK8SDEWstatementrecord (an 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.27766#1768
Rung $4'$4BC4XKZ64Pstatementrecord (an 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.27766#PXJM
Rung 1NGBDM4JEKVstatementrecord (an 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.27766#CYQ9
Rung 2MXX0F1SJGTstatementrecord (an 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.27766#NQ3H
Rung 3YEJ7KS7NDCstatementrecord (an 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.27766#G3B6
Rung 4GTMVYFM5G6statementrecord (an 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.27766#ITIY
Rung 5HBVF97P6NNstatementrecord (an 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.27766#MD9W
Rung 666ES9GFWHTstatementrecord (an 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.27766#RZPT
Rung A: from $H_{1}\big(SC_{n-2}(R_{w-2,2})\big)$ to $H_{1}\big(SC_{n}(R_{w,2};1;1)\big)$E6SW1GJ4FPstatementrecord (an 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.12633#0P9F
Rung B: from $H_{1}\big(SC_{n}(R_{w,2};1;1)\big)$ to $H_{1}\big(SC_{n}(R_{w,2};1)\big)$NDSFPZT9A8statementrecord (an 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.12633#06E6
Rung C: from $H_{1}\big(SC_{n}(R_{w,2};1)\big)$ to $H_{1}\big(SC_{n}(R_{w,2})\big)$1CQ93C52PFstatementrecord (an 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.12633#4O57
rung independence568T9ZNGHQstatementrecord (an 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.00902#CZXC
Runge75V9C3AXZ2statementopenlebl_scv scv.tex#thm-37
RungeZPJHMMBCQ7statementrecord (an 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.16583#APKV
Runge's approximation theoremGHPGCPK1KMconceptopenlebl_scv index/B/runge-s-approximation-theorem
Runge's theorem5GBRDX152Pstatementopenmathlib_1000 Q1505529, Wikidata Q1505529, thousand_plus Q1505529, Wikipedia Runge's theorem, MathWorld RungesTheorem
Runge–Kutta methodXA3PYPS766statementopenWikidata Q725944, EoM Runge-Kutta_method, MathWorld Runge-KuttaMethod
Rungs, anchored wordsSNEQDF9J3Jdefinitionrecord (an 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.01240#OBDM
Running example: a $3\times3$ BB torusPD0EG4KZGCexamplerecord (an 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.39121#PO3C
Running GapAKCEV5KMYZstatementrecord (an 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#5NZP
Running GapAX11WEXZCKstatementrecord (an 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#0MOV
Runs of non-$r$-free integersXMCNG6S1XEstatementrecord (an 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#BSEQ
Runtime independenceG6JNDR0TTYunknownopenarXiv 2610.15824#E6J3
Runtime of the Schur transform9KYA9XPHNWstatementrecord (an 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.39992#EJAI
rupture fieldG7M4XNAQHDunknownopenmathlib_overview General algebra > Field theory > rupture field, Mathlib AdjoinRoot, mathlib_undergrad Ring Theory > Field Theory > rupture fields
Russell's Paradox222X17RPANstatementopenopen_logic content/sets-functions-relations/sets/russells-paradox.tex#thm:russells-paradox
Russell's ParadoxEJTCW0Z7WSstatementopenopen_logic content/set-theory/story/russells-paradox-again.tex#thm-1
Russell's paradoxW14383V9WFstatementnode (a node has the same Wikidata item as the row)Wikidata Q33401, MathWorld RussellsAntinomy, nLab Russell's paradox, ProofWiki Russell's_Paradox
Russell, Bertrand811E9G9VQ1conceptopenhott_book index/u1.u1/russell-bertrand
Russell, Bertrand859QQN9PYSconceptopenhott_book index/9.11/russell-bertrand
RussiaA0WRYQWKW2unknownout_of_scope (a person, not an item of mathematics)Wikidata Q159, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Russia
Russian roulette9E30TX63XYunknownopenWikidata Q201045, MathWorld RussianRoulette
Ruth–Aaron pairWK3KAPPZ6SconceptopenWikidata Q3099291, MathWorld Ruth-AaronPair
Ruzsa covering lemmaEQGHGGZJC1unknownopenmathlib_overview Combinatorics > Additive combinatorics > Ruzsa covering lemma, Mathlib Set.ruzsa_covering_add
Ruzsa triangle inequalityEDJZD1HJY6unknownopenmathlib_overview Combinatorics > Additive combinatorics > Ruzsa triangle inequality, Mathlib Finset.ruzsa_triangle_inequality_sub_sub_sub
Ruzsa--Szemer\'edi2TMTF03A65statementrecord (an 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.38772#XESW
RV0NWETF84RV0NWETF84statementrecord (an 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.05457#J9HJ
RV0W8K904VRV0W8K904Vstatementrecord (an 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.09809#ULZJ
RV15HQNPVVRV15HQNPVVstatementrecord (an 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.11377#YNGX
RV160K8J2KRV160K8J2Kstatementrecord (an 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.34573#TOB4
RV1YRCH4RZRV1YRCH4RZdefinitionrecord (an 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.31445#0UJ8
RV2V60AWNERV2V60AWNEstatementrecord (an 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.05506#PXJK
RV30X4TYD2RV30X4TYD2statementrecord (an 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.39317#ELG2
RV35PB2QA2RV35PB2QA2definitionrecord (an 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.24701#XTX4
RV3P1Z040KRV3P1Z040Kstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0905.1489#MF84
RV49H5JEYBRV49H5JEYBdefinitionrecord (an 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.28552#1MMU
RV4VAPT95ZRV4VAPT95Zstatementrecord (an 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.13875#5EHU
RV6GKM95H3RV6GKM95H3statementrecord (an 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.31523#Q8LI
RV6YE01EC6RV6YE01EC6statementrecord (an 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.16094#HAJA
RV7G5KZ7YPRV7G5KZ7YPstatementrecord (an 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.16241#28BQ
RV898TCN7PRV898TCN7Pexamplerecord (an 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.37337#369O
RV8CCERNJ7RV8CCERNJ7statementrecord (an 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#VEZ2
RV8H11316XRV8H11316Xstatementrecord (an 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.39274#PIKC
RV8SFY0CD9RV8SFY0CD9statementrecord (an 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.12736#387H
RV9SKYSQR9RV9SKYSQR9statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.25960#U3TY
RV9VT9VEF6RV9VT9VEF6exerciseopenapplied_combinatorics source/s_strings_exercises.ptx#exercise-2
RV9XRWFGM1RV9XRWFGM1definitionrecord (an 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#FV4F
RVA71G6HXFRVA71G6HXFunknownopenarXiv 1408.1555#NQ9W
RVAPZV0WZNRVAPZV0WZNdefinitionrecord (an 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#7FFP
RVB03J5XTARVB03J5XTAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2402.17852#4X5A
RVB11PF6SERVB11PF6SEstatementrecord (an 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.11336#BAF4
RVB3XDYV6FRVB3XDYV6Fdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1809.06512#17UH
RVBHY1WMAERVBHY1WMAEexampleopenlebl_ra ch-metric.tex#example-1
RVC8P83AK8RVC8P83AK8statementrecord (an 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.28295#BDZ3
RVCR94ZZ1ERVCR94ZZ1Estatementrecord (an 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.29498#8QA6
RVD2RTXMC6RVD2RTXMC6problemrecord (an 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.32903#TKEG
RVDM1M6YWDRVDM1M6YWDstatementrecord (an 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.31327#YRPD
RVE1C4XM7YRVE1C4XM7Ystatementrecord (an 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.21935#VP00
RVF342PTVBRVF342PTVBdefinitionrecord (an 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.28011#GTAQ
RVF635STR7RVF635STR7statementrecord (an 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.31883#5BN2
RVG0VFE916RVG0VFE916statementrecord (an 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#PTU3
RVHHK001JKRVHHK001JKstatementrecord (an 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.32832#4WFK
RVHKGA0ZERRVHKGA0ZERstatementrecord (an 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.14055#EWPZ
RVHYJ6WD8JRVHYJ6WD8Jstatementrecord (an 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.15525#68CN
RVJDFAWX12RVJDFAWX12statementrecord (an 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.14446#O35N
RVJN4BVZKARVJN4BVZKAstatementrecord (an 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.05628#KKP4
RVJRH3FG03RVJRH3FG03definitionrecord (an 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.27301#87EV
RVK9GTXESDRVK9GTXESDstatementrecord (an 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.25275#CG60
RVMDWWDEVARVMDWWDEVAdefinitionrecord (an 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.35678#JPNU
RVNB51DVAARVNB51DVAAstatementrecord (an 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.03288#9ANE
RVP5TF7K1VRVP5TF7K1Vstatementrecord (an 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.12326#58R3
RVPPX2FCBMRVPPX2FCBMexerciserecord (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6))arXiv 2610.01802#JTH9
RVQ0G064S1RVQ0G064S1definitionrecord (an 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#6UM3
RVQ8C58E4TRVQ8C58E4Tstatementrecord (an 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.08976#148U
RVQZ9DV4RVRVQZ9DV4RVexamplerecord (an 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.07828#ZEBR
RVR2T5QBYGRVR2T5QBYGstatementrecord (an 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.17875#61RP
RVRMWY7NMCRVRMWY7NMCdefinitionrecord (an 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.00267#MXO5
RVRVET47X8RVRVET47X8statementrecord (an 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.07040#2UYK
RVSCQGWKCJRVSCQGWKCJexamplerecord (an 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.02432#NPWD
RVSF8NBXEYRVSF8NBXEYstatementrecord (an 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.30819#YP4A
RVSSRHRWC1RVSSRHRWC1statementrecord (an 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.12295#F7VN
RVT0BB17R4RVT0BB17R4proofopenhott_book categories.tex#proof-30
RVT3GKSTQCRVT3GKSTQCstatementrecord (an 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.03292#403A
RVT9BSSK01RVT9BSSK01statementrecord (an 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.29185#F3R6
RVTB09M1Z2RVTB09M1Z2statementrecord (an 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.21258#9L2E