Inventory: T
The rows of the inventory whose names start with T. 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 101–200 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| T0ZM98SGW2 | T0ZM98SGW2 | exercise | open | lebl_ra ch-der.tex#exercise:diffofxn |
| T0ZWTWQ5GA | T0ZWTWQ5GA | statement | record (an 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.30067#RPHD |
| T1 space | B3B1EF2TCF | definition | node (a node has the same name as the row) | Wikidata Q284347, MathWorld T1-Space, ProofWiki Definition:Fréchet_Space_(Topology) |
| T107C6C37W | T107C6C37W | statement | record (an 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.20077#Q9SY |
| T10F4KY9V3 | T10F4KY9V3 | statement | record (an 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.35460#GQ99 |
| T10T05T8N3 | T10T05T8N3 | statement | record (an 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.27788#RUO0 |
| T115NXFQ5W | T115NXFQ5W | statement | record (an 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.02935#DD1U |
| T119GS1R35 | T119GS1R35 | statement | record (an 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.37606#KKFU |
| T11MHPR2Z9 | T11MHPR2Z9 | 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.15385#CHDL |
| T11R8YRGVA | T11R8YRGVA | statement | record (an 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.22317#Q31I |
| T125N69ZY2 | T125N69ZY2 | statement | record (an 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.22109#BLG3 |
| T12EDC56AE | T12EDC56AE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#DQ6P |
| T12FY2QJ1N | T12FY2QJ1N | statement | record (an 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.14458#FUYD |
| T12N5AV0CE | T12N5AV0CE | 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.13792#MXII |
| T136WJ3V4A | T136WJ3V4A | proof | open | hott_book logic.tex#proof-12 |
| T13AVHZ0HG | T13AVHZ0HG | statement | record (an 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.08581#51AO |
| T13M0KAWQY | T13M0KAWQY | definition | open | open_logic content/lambda-calculus/lambda-definability/pairs.tex#defn-1 |
| T13P6FSHP2 | T13P6FSHP2 | proof | open | lebl_ra ch-several-vars-ders.tex#proof-23 |
| T14F20268N | T14F20268N | statement | record (an 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.24374#HUGK |
| T14MXKRRV0 | T14MXKRRV0 | statement | record (an 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#IDOF |
| T14NR9RQJ6 | T14NR9RQJ6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.12479#Y8I2 |
| T14X4N149G | T14X4N149G | statement | record (an 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.02489#Y2Q1 |
| T159V4QYQ0 | T159V4QYQ0 | 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 2407.05730#M9QM |
| T16183F8JZ | T16183F8JZ | 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 2610.20316#I5T4 |
| T168SNRB74 | T168SNRB74 | statement | record (an 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#XAZR |
| T16M0FMNZY | T16M0FMNZY | statement | record (an 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.10963#PUZB |
| T16SD2SSY0 | T16SD2SSY0 | statement | record (an 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.02669#8RC1 |
| T16WZY4G53 | T16WZY4G53 | statement | record (an 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#ITW7 |
| T17JPJ7F1C | T17JPJ7F1C | statement | record (an 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.13670#YIE4 |
| T17ZEPGQKC | T17ZEPGQKC | 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.02244#6CCB |
| T18310AB6A | T18310AB6A | 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#0XPP |
| T185N5Y1WE | T185N5Y1WE | statement | record (an 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.10474#43VJ |
| T185TESF0G | T185TESF0G | statement | record (an 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#0D5U |
| T18CW5JY61 | T18CW5JY61 | statement | record (an 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.03255#4RFG |
| T18HB966C0 | T18HB966C0 | exercise | open | hott_book induction.tex#ex:bool |
| T18QESSWV8 | T18QESSWV8 | statement | record (an 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.35683#A5GT |
| T18ZF7YJ6V | T18ZF7YJ6V | statement | record (an 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.05354#73RH |
| T19KF1MN5Y | T19KF1MN5Y | statement | record (an 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.16706#GX57 |
| T19QSGCKCV | T19QSGCKCV | statement | record (an 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.10377#L7EA |
| T19SB9V18R | T19SB9V18R | statement | record (an 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.36021#NMSL |
| T1ABFTA48B | T1ABFTA48B | statement | record (an 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.05791#7SHJ |
| T1AGX3B917 | T1AGX3B917 | statement | record (an 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.03555#4TME |
| T1AT93FX60 | T1AT93FX60 | statement | record (an 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.38188#Z4II |
| T1CAJBSJ75 | T1CAJBSJ75 | statement | record (an 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.02798#FZYH |
| T1CK329MXP | T1CK329MXP | statement | record (an 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#1YHA |
| T1DX3D1ZX4 | T1DX3D1ZX4 | 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 2609.25168#2TKI |
| T1E5QGZ92Y | T1E5QGZ92Y | statement | open | lebl_scv scv.tex#thm:subharlim |
| T1F1B39C1J | T1F1B39C1J | exercise | open | open_logic content/lambda-calculus/syntax/substitution.tex#prob-3 |
| T1FACWKMKC | T1FACWKMKC | statement | record (an 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.15019#HWTX |
| T1FKJ7KW8T | T1FKJ7KW8T | statement | record (an 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.34289#5VFY |
| T1FQZZV7NE | T1FQZZV7NE | statement | record (an 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.33856#Z0RE |
| T1GX9RP80D | T1GX9RP80D | statement | record (an 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.33219#O9C4 |
| T1HFVAW0F0 | T1HFVAW0F0 | 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.18016#DAPD |
| T1J3VC76CK | T1J3VC76CK | statement | record (an 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.13670#HC1D |
| T1JDC5F93E | T1JDC5F93E | statement | record (an 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.17720#5YI2 |
| T1JFTVERTX | T1JFTVERTX | 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.09314#55F6 |
| T1JGSPJZBJ | T1JGSPJZBJ | statement | record (an 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.28507#J0TL |
| T1KVA3CZS7 | T1KVA3CZS7 | statement | record (an 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#MK96 |
| T1MEPW1XRT | T1MEPW1XRT | statement | record (an 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.11271#5G3A |
| T1N2YD3DE4 | T1N2YD3DE4 | unknown | open | arXiv 2610.13680#NPG6 |
| T1N3MJZK55 | T1N3MJZK55 | 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.02061#Z3FE |
| T1NBSRX7VG | T1NBSRX7VG | 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 2608.24599#QX45 |
| T1NJY0PJYM | T1NJY0PJYM | statement | record (an 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.33015#P12Q |
| T1NYY4VGHP | T1NYY4VGHP | statement | record (an 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.37893#NHC9 |
| T1P153X9VM | T1P153X9VM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#ZSU8 |
| T1PTXT7C1J | T1PTXT7C1J | definition | open | hott_book categories.tex#ct:representable |
| T1Q46XQHHB | T1Q46XQHHB | statement | record (an 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.04675#8PQ9 |
| T1R2RR1QMC | T1R2RR1QMC | statement | record (an 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.35153#U435 |
| T1RQG3SZBP | T1RQG3SZBP | statement | record (an 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.29623#5DH6 |
| T1RWJ11XV1 | T1RWJ11XV1 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-59 |
| T1S8SC2Y2A | T1S8SC2Y2A | 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.35186#7GUB |
| T1SM5T2594 | T1SM5T2594 | statement | record (an 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.00337#8394 |
| T1SWP2GT0H | T1SWP2GT0H | statement | record (an 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.16844#IYT2 |
| T1SZMM6K3P | T1SZMM6K3P | statement | record (an 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#XFRJ |
| T1T3AQJAR7 | T1T3AQJAR7 | statement | record (an 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.06381#8SBM |
| T1V41VPA2Q | T1V41VPA2Q | example | open | austin_ula src/section2-3.xml#example-span-linear-indep |
| T1V6JNJ3BN | T1V6JNJ3BN | statement | open | lebl_ra ch-riemann.tex#impropriemann:tail |
| T1VREWB8PR | T1VREWB8PR | statement | record (an 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.11271#X7KS |
| T1W9SFYCT8 | T1W9SFYCT8 | statement | record (an 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#PT56 |
| T1WSW675XB | T1WSW675XB | statement | record (an 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.12908#3X4F |
| T1X4X5BWYW | T1X4X5BWYW | statement | record (an 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.35740#RWBI |
| T1X5883ZGC | T1X5883ZGC | statement | record (an 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.29188#QH2O |
| T1X69HJFTX | T1X69HJFTX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#SN67 |
| T1XS9MDYWZ | T1XS9MDYWZ | 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.09129#CDZM |
| T1YVSFVEZC | T1YVSFVEZC | 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 2601.15010#6EF3 |
| T1YZFB297A | T1YZFB297A | exercise | open | hott_book logic.tex#ex:decidable-choice |
| T1Z1SD71YY | T1Z1SD71YY | 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 2609.32176#MK18 |
| T1Z3T3714S | T1Z3T3714S | statement | record (an 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.17070#9U2L |
| T1ZV4TH2M0 | T1ZV4TH2M0 | statement | record (an 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.15472#Z180 |
| T20DD54Q9C | T20DD54Q9C | 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 2609.28509#TEYH |
| T20E5X60EC | T20E5X60EC | statement | record (an 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.15454#F740 |
| T20EECWC1C | T20EECWC1C | statement | record (an 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.37706#WHQ3 |
| T2120ZRBYD | T2120ZRBYD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#OZV5 |
| T21A2H1AKN | T21A2H1AKN | statement | record (an 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.39531#QJL9 |
| T21N1YWAK8 | T21N1YWAK8 | statement | record (an 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.38436#0QKR |
| T225CZPFFF | T225CZPFFF | statement | record (an 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.10821#0WBH |
| T22B2K07NH | T22B2K07NH | statement | record (an 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.28411#P1AN |
| T23KCS7M9B | T23KCS7M9B | statement | record (an 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.22326#XYBK |
| T23SWDJ8Q8 | T23SWDJ8Q8 | statement | record (an 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.28365#LP4C |
| T23V37H393 | T23V37H393 | statement | record (an 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.06699#VA4P |