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 401–500 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| T4AHMGCQ98 | T4AHMGCQ98 | statement | record (an 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/0406514#9BXQ |
| T4B4JEGNH1 | T4B4JEGNH1 | statement | record (an 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.07897#NHNR |
| T4BA4AZDAN | T4BA4AZDAN | statement | record (an 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.12352#ZHZR |
| T4BB69MSYJ | T4BB69MSYJ | 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 0906.4245#G2O7 |
| T4BXK7DXWP | T4BXK7DXWP | 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.21365#HP9U |
| T4BYZFWXZG | T4BYZFWXZG | statement | record (an 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.26269#S38K |
| T4CBAH85H7 | T4CBAH85H7 | statement | record (an 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#ZVS5 |
| T4CEK3DA75 | T4CEK3DA75 | statement | record (an 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#LUU6 |
| T4CVX5D4KF | T4CVX5D4KF | definition | open | napkin tex/alg-geom/sheaves.tex#definition-3 |
| T4CXH3MSM1 | T4CXH3MSM1 | 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.30098#3K03 |
| T4DJA0JJCR | T4DJA0JJCR | statement | record (an 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#Z304 |
| T4E32GA9PA | T4E32GA9PA | 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.28203#TQU5 |
| T4E92RK2T8 | T4E92RK2T8 | 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.20316#IISI |
| T4E9TANADM | T4E9TANADM | statement | record (an 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.10911#J07H |
| T4F0NFA4CZ | T4F0NFA4CZ | 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.14060#IHMG |
| T4F2QPSBF6 | T4F2QPSBF6 | statement | record (an 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.12705#Q2IV |
| T4FN2KAYFD | T4FN2KAYFD | statement | record (an 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.26808#KMLF |
| T4G01E7HKG | T4G01E7HKG | statement | record (an 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.05442#66Z5 |
| T4GNQQQ2D0 | T4GNQQQ2D0 | statement | record (an 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.05868#J5GQ |
| T4H87P6N1N | T4H87P6N1N | 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.16258#UC8M |
| T4H9RKTY3Y | T4H9RKTY3Y | 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 2412.12141#P2ZH |
| T4HHFHE09P | T4HHFHE09P | statement | record (an 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.17571#6I7U |
| T4HK07B7ST | T4HK07B7ST | definition | open | open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#defn-1 |
| T4J50ZCN65 | T4J50ZCN65 | statement | record (an 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.12228#CR0W |
| T4J64CN5XX | T4J64CN5XX | statement | record (an 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.16225#OB87 |
| T4JGBACCJ9 | T4JGBACCJ9 | unknown | open | arXiv 2205.15365#FLIQ |
| T4JZMHH0Y9 | T4JZMHH0Y9 | statement | record (an 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.13100#HYLK |
| T4K60NYD5H | T4K60NYD5H | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-7 |
| T4KPJ7MWW0 | T4KPJ7MWW0 | statement | record (an 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.37520#XF6K |
| T4M0W2ZXAK | T4M0W2ZXAK | statement | record (an 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#EJ9L |
| T4MF5DRBB6 | T4MF5DRBB6 | statement | record (an 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.38211#28N3 |
| T4N9C189D7 | T4N9C189D7 | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-4 |
| T4NK9GC3EG | T4NK9GC3EG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.16311#BM1X |
| T4NSYCVHVV | T4NSYCVHVV | 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/9201244#E9HX |
| T4PCNY9GMT | T4PCNY9GMT | statement | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop:blocks-dense |
| T4PPX21QXK | T4PPX21QXK | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#question-4 |
| T4PYXYKHXG | T4PYXYKHXG | statement | record (an 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.06488#5E94 |
| T4Q20RTA8F | T4Q20RTA8F | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-6 |
| T4Q70WFPE5 | T4Q70WFPE5 | statement | record (an 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.16941#1RW8 |
| T4QH17KBJ7 | T4QH17KBJ7 | statement | record (an 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.12014#P8X2 |
| T4QJ8WH2XT | T4QJ8WH2XT | definition | open | hott_book equivalences.tex#defn:retract |
| T4RCZGT5KT | T4RCZGT5KT | statement | record (an 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#S5KA |
| T4RDQ9R3A9 | T4RDQ9R3A9 | statement | record (an 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#5PHK |
| T4RS5NN6FF | T4RS5NN6FF | statement | record (an 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.31269#LSDS |
| T4S3AEDX1P | T4S3AEDX1P | statement | record (an 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.22288#BALO |
| T4SGQ9F6RQ | T4SGQ9F6RQ | example | open | napkin tex/alg-geom/quasi-proj.tex#example-1 |
| T4SHJHCPGY | T4SHJHCPGY | example | open | napkin tex/alg-geom/localization.tex#example-5 |
| T4SNQD18NE | T4SNQD18NE | exercise | open | lebl_ra ch-der.tex#exercise-5 |
| T4TBB3DTC2 | T4TBB3DTC2 | 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.16605#NLP4 |
| T4TQ2F8Z0S | T4TQ2F8Z0S | statement | record (an 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.07401#JSFJ |
| T4WA98B373 | T4WA98B373 | statement | record (an 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.25307#OAHJ |
| T4WJZA6WCK | T4WJZA6WCK | statement | record (an 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.14236#9I9H |
| T4X2HF5ZXM | T4X2HF5ZXM | 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.27800#R9NO |
| T4XAHTB66X | T4XAHTB66X | 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.14278#CGVN |
| T4XDZVKG9W | T4XDZVKG9W | unknown | open | arXiv 1712.02437#5LB2 |
| T4XH7EC83S | T4XH7EC83S | statement | record (an 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.17759#36QW |
| T4XX6RWT3J | T4XX6RWT3J | statement | record (an 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.30527#KZ3V |
| T4YNBZPH5R | T4YNBZPH5R | statement | record (an 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#DZH2 |
| T4YZMT89XM | T4YZMT89XM | statement | record (an 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#WSAU |
| T4ZMVFNHKB | T4ZMVFNHKB | statement | record (an 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.24943#6F03 |
| T516WZ7A8Y | T516WZ7A8Y | statement | record (an 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.09171#PYZP |
| T51QQX51B0 | T51QQX51B0 | example | open | lebl_ra ch-vol1-intro.tex#example-1 |
| T51X9MYBB3 | T51X9MYBB3 | 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 2306.07511#0SXG |
| T52J856T4D | T52J856T4D | 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 2108.03672#S7L1 |
| T52NBV8BTC | T52NBV8BTC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.4613#IMS7 |
| T5398DPAPP | T5398DPAPP | statement | record (an 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#PLDX |
| T53HBP7DFA | T53HBP7DFA | statement | record (an 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.03337#PPDB |
| T53SABK7T5 | T53SABK7T5 | statement | record (an 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.36509#83N4 |
| T541RYYQ1R | T541RYYQ1R | definition | open | ernst_ibl MAAPressVersion/Sets.tex#definition-2 |
| T547DSAW84 | T547DSAW84 | 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 2206.05392#C7RS |
| T54G0BDPHG | T54G0BDPHG | statement | record (an 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.33771#QT59 |
| T54H98YHG4 | T54H98YHG4 | statement | record (an 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.29399#SF86 |
| T54HQQHGS1 | T54HQQHGS1 | statement | record (an 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.24739#76TZ |
| T54JQ80GWC | T54JQ80GWC | exercise | open | lebl_diffyqs ch-systems.tex#exercise-3 |
| T54TMZVN80 | T54TMZVN80 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#G3HZ |
| T556EG9KMW | T556EG9KMW | 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.13295#PHC7 |
| T55V96T0DT | T55V96T0DT | proof | open | levin_dmoi ptx/sec_logic-proofs.ptx#proof-5 |
| T567WYDEKD | T567WYDEKD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.08018#E7LZ |
| T5772GPN5H | T5772GPN5H | statement | record (an 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.03851#K8K2 |
| T57C50QYFQ | T57C50QYFQ | statement | record (an 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.20891#YOUM |
| T5905QWFSR | T5905QWFSR | statement | record (an 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.14783#I3VN |
| T59B7648H2 | T59B7648H2 | statement | record (an 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.35766#VORV |
| T59DFMMFT8 | T59DFMMFT8 | statement | record (an 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.20207#0J4T |
| T5AGN3EPW9 | T5AGN3EPW9 | statement | record (an 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.09084#HCGP |
| T5ARJE0M2F | T5ARJE0M2F | statement | record (an 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.10248#KTMP |
| T5C12NN97J | T5C12NN97J | statement | record (an 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.08664#VAG7 |
| T5C5JGYZ88 | T5C5JGYZ88 | statement | record (an 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.17045#JQ5L |
| T5CSYNKVRG | T5CSYNKVRG | statement | record (an 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.10329#Z6GB |
| T5D5B1MZK1 | T5D5B1MZK1 | statement | record (an 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.07049#BMDT |
| T5DEZS0NCS | T5DEZS0NCS | statement | record (an 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.24931#ZU9R |
| T5DGAMHGJW | T5DGAMHGJW | statement | record (an 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.10246#IGGK |
| T5DJYET189 | T5DJYET189 | statement | record (an 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#AUR1 |
| T5DJYYC7E4 | T5DJYYC7E4 | statement | record (an 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.19311#5156 |
| T5DNS75S4J | T5DNS75S4J | statement | record (an 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.01731#MVNM |
| T5ESC6J5ED | T5ESC6J5ED | 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 0804.3628#MJVU |
| T5FBAEBARA | T5FBAEBARA | statement | record (an 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.12480#9F1S |
| T5FS28NHF9 | T5FS28NHF9 | statement | record (an 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.35858#WA7A |
| T5G6FWT58V | T5G6FWT58V | statement | record (an 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.18632#US12 |
| T5G8R1TSX2 | T5G8R1TSX2 | statement | record (an 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.01324#13HS |
| T5GDJZGSA6 | T5GDJZGSA6 | statement | record (an 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.16877#UJPV |