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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 501–600 of 9674.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| R4VBERSHKA | R4VBERSHKA | 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.20119#7TFZ |
| 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 |
| R4YSBA0M3V | R4YSBA0M3V | statement | record (an 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.23994#CNY7 |
| 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 |
| R55FF7TSV7 | R55FF7TSV7 | statement | record (an 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.23469#VS9F |
| 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 |
| R57AHSFG9P | R57AHSFG9P | statement | record (an 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.23332#0W9W |
| 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 |
| R5857T1PA1 | R5857T1PA1 | statement | record (an 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.24131#GWQH |
| 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 |
| R5ATJCCEAH | R5ATJCCEAH | statement | record (an 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.20513#64MY |
| 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 |
| R5DAX8797Y | R5DAX8797Y | statement | record (an 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.20097#HYZ5 |
| 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 |
| R5H5BQ5DPH | R5H5BQ5DPH | statement | record (an 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.21703#4YU9 |
| 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 |
| R5KWVTPGB3 | R5KWVTPGB3 | problem | open | Wikipedia Pierpont prime#UBYM |
| 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 |
| R5PEAK7JPV | R5PEAK7JPV | statement | record (an 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.14811#V90V |
| R5PEN8XA2K | R5PEN8XA2K | statement | record (an 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.12329#A6QI |