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 401–500 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| R4NRTCQBST | R4NRTCQBST | exercise | open | napkin tex/H113/ring-flavors.tex#prob:field_hom |
| R4NT6E12YB | R4NT6E12YB | 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#0G23 |
| R4PFS9WSSE | R4PFS9WSSE | 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.03288#V8PM |
| R4PH9HJHP7 | R4PH9HJHP7 | 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.21627#7NQQ |
| R4Q3CSK4A9 | R4Q3CSK4A9 | 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 2608.00864#3W1J |
| R4Q3DCR6NH | R4Q3DCR6NH | 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.14435#37FK |
| R4QP6NS9K2 | R4QP6NS9K2 | 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.37865#VDX9 |
| R4QXKC6TDC | R4QXKC6TDC | 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.07741#G7RP |
| R4RW2RGH80 | R4RW2RGH80 | 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.32977#0KJM |
| R4S4T8V1GY | R4S4T8V1GY | 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.26896#UJ0H |
| R4S6MW7SPS | R4S6MW7SPS | 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.20050#MYHE |
| R4SB0QN7RK | R4SB0QN7RK | 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.36444#0YCC |
| R4TEGEF1D0 | R4TEGEF1D0 | 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.30999#UKDF |
| R4V0ZKEBMJ | R4V0ZKEBMJ | 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.08196#DGF0 |
| R4V3GNTB0V | R4V3GNTB0V | 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 2108.00412#UYNQ |
| R4VYRJH75Z | R4VYRJH75Z | 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/9807180#GERE |
| R4WAB804CE | R4WAB804CE | definition | open | napkin tex/set-theory/models.tex#definition-7 |
| R4WZDJX9WA | R4WZDJX9WA | 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.33820#RKTE |
| R4WZT7ZX1S | R4WZT7ZX1S | 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.29489#JO0A |
| R4Y4Q3DDVT | R4Y4Q3DDVT | 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.02432#3KWU |
| R4YM3CRGMY | R4YM3CRGMY | 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.28780#L8CZ |
| R4ZBYNBXGV | R4ZBYNBXGV | 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.32834#IXBP |
| R501WF17V1 | R501WF17V1 | unknown | open | |
| R50Q16YJS9 | R50Q16YJS9 | proof | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#proof-3 |
| R50TSW1T13 | R50TSW1T13 | 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.18544#EER2 |
| R514S0Y6QZ | R514S0Y6QZ | example | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#ex-3 |
| R51Q8RDQ88 | R51Q8RDQ88 | 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.36818#QR59 |
| R51ZQN0FJH | R51ZQN0FJH | 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.29227#HGPR |
| R5228JP8M4 | R5228JP8M4 | 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.25255#UHRZ |
| R52JABC4A5 | R52JABC4A5 | 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.29304#UBHB |
| R53AVJS7T2 | R53AVJS7T2 | 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.19707#5XYZ |
| R53D2YQR70 | R53D2YQR70 | 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.17798#1VBM |
| R53M3AHY1X | R53M3AHY1X | 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.21971#RWBY |
| R53P8QETFK | R53P8QETFK | example | open | napkin tex/alg-geom/spec-zariski.tex#example-2 |
| R53SQSDNA0 | R53SQSDNA0 | 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.28677#3PLM |
| R53VG7HEDP | R53VG7HEDP | 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 2011.07352#OA9I |
| R53X3NJP73 | R53X3NJP73 | 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.25301#8KSP |
| R54GYGGTTN | R54GYGGTTN | definition | open | open_logic content/set-theory/spine/foundation.tex#defn-1 |
| R54HMQWNSG | R54HMQWNSG | 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.25761#3SYH |
| R55F6SW2ZJ | R55F6SW2ZJ | 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.03628#U719 |
| R55PQ0XRVH | R55PQ0XRVH | exercise | open | lebl_diffyqs ch-systems.tex#exercise-45 |
| R55T2ZPMMS | R55T2ZPMMS | 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.02870#SM75 |
| R55VRR3KVC | R55VRR3KVC | 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 2506.09840#TTC9 |
| R56EFF73VV | R56EFF73VV | 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.00021#25FZ |
| R56F5SKM9Z | R56F5SKM9Z | 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.17875#T46M |
| R56HWAF1J6 | R56HWAF1J6 | 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.05459#KPFD |
| R56TS2CAHA | R56TS2CAHA | 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.38068#3E10 |
| R56ZXD1HF6 | R56ZXD1HF6 | 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.38772#VNAT |
| R57DGXPVYC | R57DGXPVYC | 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.11481#AJDX |
| R57EZ02C0Z | R57EZ02C0Z | 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#EATQ |
| R57NSTA7QG | R57NSTA7QG | 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.15831#XQDI |
| R57SGYVXRZ | R57SGYVXRZ | proof | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#proof-2 |
| R57XV7BQDT | R57XV7BQDT | 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.07064#UNFC |
| R586N6TS85 | R586N6TS85 | 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.15169#6D9T |
| R58GBM2X1X | R58GBM2X1X | 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.06529#NZ14 |
| R596ND0CTS | R596ND0CTS | 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 1802.02910#JI8J |
| R59HQA9FVP | R59HQA9FVP | 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.38532#OH1N |
| R59KM5E42K | R59KM5E42K | example | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#ex-3 |
| R59P1QFR91 | R59P1QFR91 | 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.11047#S9K8 |
| R59WFW95XG | R59WFW95XG | 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 1004.4564#Q62A |
| R5ABHJBYBC | R5ABHJBYBC | 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.09900#42RZ |
| R5ANPF6GFB | R5ANPF6GFB | 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 2209.08186#K06U |
| R5AYKYDFJ5 | R5AYKYDFJ5 | 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 2208.04502#0O70 |
| R5B2N2Z25T | R5B2N2Z25T | 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.02751#1JHA |
| R5BFS8T52C | R5BFS8T52C | 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#49H2 |
| R5BV0S8X3D | R5BV0S8X3D | exercise | open | austin_ula src/exercises/exercises5-2.xml#exercise-4 |
| R5BXS9V88C | R5BXS9V88C | proof | open | open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#proof-2 |
| R5C3Z9B8J4 | R5C3Z9B8J4 | 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 2609.25063#92XE |
| R5CAST1W8D | R5CAST1W8D | 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#DDP9 |
| R5CGGM1G1S | R5CGGM1G1S | 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.21181#CU6A |
| R5CPVSCQY0 | R5CPVSCQY0 | statement | open | open_logic content/methods/proofs/inference-patterns.tex#prop-2 |
| R5D4SM2X04 | R5D4SM2X04 | 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.13850#3663 |
| R5DFS36WF5 | R5DFS36WF5 | 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 1003.2117#GA8H |
| R5DX25ZCQG | R5DX25ZCQG | 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.32650#IB8Q |
| R5DX4PT1HW | R5DX4PT1HW | 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.06810#7PN0 |
| R5DXMZFKGS | R5DXMZFKGS | 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#48U2 |
| R5E83XV7F7 | R5E83XV7F7 | 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.26922#34C9 |
| R5F5EVAMTK | R5F5EVAMTK | 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 2609.36186#D1E5 |
| R5FT27FHKH | R5FT27FHKH | 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.26896#XYGA |
| R5G7W8SEPK | R5G7W8SEPK | 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.05142#ISFK |
| R5GA7N0WBA | R5GA7N0WBA | 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.00409#WWCD |
| R5GMDX8KEZ | R5GMDX8KEZ | 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.30113#40DJ |
| R5H1FXQR5T | R5H1FXQR5T | 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.22272#FK3L |
| R5H26X93RP | R5H26X93RP | 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.17476#JQJY |
| R5HKSSH3KV | R5HKSSH3KV | 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.38138#C10C |
| R5HVSNBGPH | R5HVSNBGPH | 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.32936#SEOH |
| R5HXWPXXAF | R5HXWPXXAF | statement | open | napkin tex/calculus/integrate.tex#theorem-2 |
| R5J5WBWGTY | R5J5WBWGTY | 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 1502.03309#RDGH |
| R5JHP2ZG0P | R5JHP2ZG0P | 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 2005.03073#DB56 |
| R5JNF45M9Y | R5JNF45M9Y | 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.09840#SDCQ |
| R5JNJC3NWB | R5JNJC3NWB | 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.00134#F746 |
| R5JPSXQM4M | R5JPSXQM4M | 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 2112.05010#SVZ7 |
| R5JZN7G2BV | R5JZN7G2BV | 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.17675#TULY |
| R5KMS5E0PE | R5KMS5E0PE | 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.18017#RLM0 |
| R5KTV66G3A | R5KTV66G3A | statement | open | open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#thm:tarski |
| R5M2DQAAGF | R5M2DQAAGF | exercise | open | napkin tex/H113/structure.tex#ques-4 |
| R5M510Y4YW | R5M510Y4YW | 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.19463#PXM0 |
| R5MYJYBA8G | R5MYJYBA8G | 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.24577#MD35 |
| R5MYTGZMSR | R5MYTGZMSR | 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.33573#YKZJ |
| R5NM0FWC2K | R5NM0FWC2K | 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.00918#WR4G |