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 1501–1600 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| RBZ1751R1N | RBZ1751R1N | statement | record (an 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.00934#GT35 |
| RBZTTBRA0G | RBZTTBRA0G | statement | record (an 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.04305#YVEQ |
| RC097QV3S8 | RC097QV3S8 | statement | record (an 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.31615#2R2I |
| RC0D2EFC7C | RC0D2EFC7C | statement | record (an 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.21005#JN0B |
| RC0XEKB3HV | RC0XEKB3HV | definition | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#def:continuity |
| RC1FBHQFJ8 | RC1FBHQFJ8 | statement | record (an 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.18620#4DL4 |
| RC1RGFSJQ5 | RC1RGFSJQ5 | statement | record (an 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.20932#P5G1 |
| RC1W8WWTVF | RC1W8WWTVF | statement | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordtimeslessiswo |
| RC25R793HA | RC25R793HA | statement | open | hott_book categories.tex#ct:cat-2cat |
| RC26GRR609 | RC26GRR609 | statement | record (an 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.03517#V3WQ |
| RC2K7KTW5G | RC2K7KTW5G | statement | record (an 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.17677#MQ7R |
| RC3PQYT6B9 | RC3PQYT6B9 | statement | record (an 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.11439#A88J |
| RC4JFFM8EF | RC4JFFM8EF | statement | record (an 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.02506#MQU2 |
| RC563TFHVD | RC563TFHVD | statement | record (an 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.22180#QYTX |
| RC5AN5GE56 | RC5AN5GE56 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#JLR5 |
| RC64X72AVC | RC64X72AVC | statement | record (an 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.00585#9RDX |
| RC6D9M9V95 | RC6D9M9V95 | conjecture | record (an 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.03011#0QSD |
| RC6QPH1YPN | RC6QPH1YPN | 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.26701#RQRB |
| RC6SYTSSV4 | RC6SYTSSV4 | statement | record (an 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.05602#46QL |
| RC6VBB90YC | RC6VBB90YC | statement | record (an 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#09D6 |
| RC7BX0RYE4 | RC7BX0RYE4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.05005#UTUC |
| RC8WXGN9Q9 | RC8WXGN9Q9 | proof | open | open_logic content/proof-theory/proof-search/completeness.tex#proof-2 |
| RC8Z1V6QVX | RC8Z1V6QVX | statement | record (an 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.24795#KIGR |
| RC9FVGBY6V | RC9FVGBY6V | 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.10469#MO78 |
| RC9NKW7SHF | RC9NKW7SHF | statement | record (an 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#79SI |
| RC9PY2HMWC | RC9PY2HMWC | statement | record (an 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.34856#Y1MY |
| RCA18CXH7R | RCA18CXH7R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#I8B7 |
| RCA95PC8Z7 | RCA95PC8Z7 | statement | record (an 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.04330#K4IM |
| RCAPP9BP2K | RCAPP9BP2K | exercise | open | hott_book preliminaries.tex#ex:neg-ldn |
| RCB55SP1GP | RCB55SP1GP | statement | record (an 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.40200#8WWF |
| RCBEWB2RTA | RCBEWB2RTA | statement | record (an 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.19023#47O4 |
| RCC6CQFF6X | RCC6CQFF6X | statement | record (an 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.28898#B5MI |
| RCD6HMYM7D | RCD6HMYM7D | statement | record (an 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.09019#S0M5 |
| RCD6QDBNGV | RCD6QDBNGV | statement | record (an 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.28141#3505 |
| RCDNWBYK8G | RCDNWBYK8G | 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 2501.00810#L5TS |
| RCDVKDQD8E | RCDVKDQD8E | statement | record (an 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.12131#FRIH |
| RCDWZM63J6 | RCDWZM63J6 | statement | record (an 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.13510#TPKF |
| RCFHMNE11Q | RCFHMNE11Q | 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 2204.13401#FE4U |
| RCG585XX9Y | RCG585XX9Y | 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 2405.14678#V92Q |
| RCG72ED922 | RCG72ED922 | statement | record (an 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.07631#KF1Q |
| RCG7JSYAXV | RCG7JSYAXV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.22681#RW2E |
| RCH1EJF2KA | RCH1EJF2KA | statement | record (an 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.16059#6OYF |
| RCH41ZTM58 | RCH41ZTM58 | statement | record (an 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.21475#4FS8 |
| RCHDV6M4QT | RCHDV6M4QT | statement | record (an 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.08288#9ZC6 |
| RCHGNXPS02 | RCHGNXPS02 | statement | record (an 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.19260#YFLL |
| RCHR49ATWG | RCHR49ATWG | statement | record (an 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.10873#XAST |
| RCHZEQCS6H | RCHZEQCS6H | statement | record (an 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.25823#NM4U |
| RCHZXE1VYY | RCHZXE1VYY | statement | record (an 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.19658#1M9Q |
| RCJ3BR6SNX | RCJ3BR6SNX | statement | record (an 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.26600#C66O |
| RCJ5VBPSBV | RCJ5VBPSBV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#UEMO |
| RCJVM9Z7M2 | RCJVM9Z7M2 | statement | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#lem:G3c-invert |
| RCK1KNX85J | RCK1KNX85J | statement | record (an 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.36884#2B3Y |
| RCK9SXDVAT | RCK9SXDVAT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.22681#ZG9A |
| RCM8DJ9G6R | RCM8DJ9G6R | statement | record (an 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.14450#E11S |
| RCNPRNC52V | RCNPRNC52V | 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.08753#CKG1 |
| RCP1RZ41E0 | RCP1RZ41E0 | 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.16834#QSK9 |
| RCPE240NZC | RCPE240NZC | statement | record (an 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.27689#IFC0 |
| RCPHDXHY0D | RCPHDXHY0D | statement | record (an 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.26619#4XL0 |
| RCQ1F0WRE8 | RCQ1F0WRE8 | statement | record (an 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.31910#UYWJ |
| RCQ72TERC3 | RCQ72TERC3 | statement | record (an 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.15344#DMP4 |
| RCQTT6P38Z | RCQTT6P38Z | statement | record (an 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.02484#R6YB |
| RCQZH3R2C4 | RCQZH3R2C4 | exercise | open | austin_ula src/exercises/exercises3-1.xml#exercise-11 |
| RCR0E2J08Z | RCR0E2J08Z | 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.01596#XSAE |
| RCR91X8W0Y | RCR91X8W0Y | exercise | open | napkin tex/alg-NT/classgrp.tex#exercise-9 |
| RCRRSR1CHY | RCRRSR1CHY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.04145#TPQB |
| RCS8M1ERH7 | RCS8M1ERH7 | 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 2304.02722#A4VY |
| RCSCM7FG8P | RCSCM7FG8P | 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 2205.06433#YRGY |
| RCTMR1D4BM | RCTMR1D4BM | statement | record (an 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.19694#T09V |
| RCVZZBAZWQ | RCVZZBAZWQ | statement | record (an 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.06225#24P9 |
| RCWT42HCYT | RCWT42HCYT | statement | record (an 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.11097#VXOC |
| RCXSTCFN8B | RCXSTCFN8B | proof | open | hott_book setmath.tex#proof-21 |
| RCYJA0FW5W | RCYJA0FW5W | statement | record (an 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.01946#U0ML |
| RCYJZ11KHW | RCYJZ11KHW | statement | record (an 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.25212#2029 |
| RCYN9FZF4T | RCYN9FZF4T | unknown | open | arXiv 2610.13680#6BVC |
| RCYZHX2DDW | RCYZHX2DDW | statement | record (an 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.27518#RXHF |
| RCZ5QYBCDP | RCZ5QYBCDP | statement | record (an 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.07461#K33V |
| RCZBVDHNW4 | RCZBVDHNW4 | statement | record (an 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.34856#ETXH |
| RCZQ7F94NF | RCZQ7F94NF | statement | record (an 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.34613#AN38 |
| RCZRSQF6RD | RCZRSQF6RD | 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.13833#MF43 |
| RD0A5EX8RC | RD0A5EX8RC | statement | record (an 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.15720#BK3I |
| RD0AK6JF1N | RD0AK6JF1N | statement | record (an 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.32174#0SUF |
| RD1D1S4Q2N | RD1D1S4Q2N | statement | record (an 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.25094#VIEU |
| RD2M0Z91EW | RD2M0Z91EW | statement | record (an 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.17181#WSJ0 |
| RD3NX9J2C4 | RD3NX9J2C4 | 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.38556#FYGU |
| RD3XGX9C11 | RD3XGX9C11 | 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.07905#1CXL |
| RD4EDQV26P | RD4EDQV26P | statement | record (an 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.14045#SM8W |
| RD4NG9V6X3 | RD4NG9V6X3 | 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.32478#Z8HA |
| RD62RGJMJN | RD62RGJMJN | statement | record (an 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.08383#5O8C |
| RD6FQ4ZHSH | RD6FQ4ZHSH | exercise | open | napkin tex/set-theory/zfc.tex#problem-2 |
| RD6TDZAWYP | RD6TDZAWYP | statement | record (an 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#JRUS |
| RD7F03DZSP | RD7F03DZSP | statement | record (an 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.01653#XF2D |
| RD7NFGN4KV | RD7NFGN4KV | statement | record (an 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.10567#W3QD |
| RD7PTRKJT3 | RD7PTRKJT3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.11101#C3B4 |
| RD7SK3Q5T8 | RD7SK3Q5T8 | statement | record (an 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.24509#TGJY |
| RD81AF0GB8 | RD81AF0GB8 | statement | record (an 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.35632#R9KQ |
| RD83CWW1G0 | RD83CWW1G0 | statement | record (an 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.33241#PEIQ |
| RD8PQR9ANE | RD8PQR9ANE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.09294#HTME |
| RD8VMJ0M7T | RD8VMJ0M7T | statement | record (an 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#48TT |
| RD8WVNE3N0 | RD8WVNE3N0 | statement | record (an 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.07461#DE3O |
| RD8XFHTMNJ | RD8XFHTMNJ | statement | record (an 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.28824#6DTT |