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 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 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| T4N9F3Y3YN | T4N9F3Y3YN | statement | record (an 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.23237#XE03 |
| 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 |
| T4NNYEZN7T | T4NNYEZN7T | definition | open | Wikipedia Bent function#G3JB |
| 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 |
| T4P2DP96AW | T4P2DP96AW | statement | record (an 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.21305#KWIU |
| T4P70D51A7 | T4P70D51A7 | statement | record (an 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.21976#ZJMC |
| 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 |
| T4PRC9M50K | T4PRC9M50K | problem | open | Wikipedia Probabilistic Turing machine#O17I |
| 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 |
| T4TX4FR061 | T4TX4FR061 | statement | record (an 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.21403#ZJBE |
| 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 |
| T4WEXNJTAX | T4WEXNJTAX | statement | record (an 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.20140#9JEV |
| 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 |
| T5 | XC088QVTKJ | definition | open | Wikipedia Glossary of general topology#0OBE |
| 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 |
| T54XERF29V | T54XERF29V | statement | record (an 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.23595#3N1O |
| 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 |
| T55RXCZHQY | T55RXCZHQY | statement | record (an 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.22394#3GDW |
| 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 |
| T5BP5WV2PE | T5BP5WV2PE | 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.22394#WYF8 |
| 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 |
| T5GHZSGKMZ | T5GHZSGKMZ | statement | record (an 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#X80J |
| T5GSMZWQDT | T5GSMZWQDT | statement | record (an 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.27414#1KTR |
| T5H21XAG0Y | T5H21XAG0Y | statement | record (an 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.25843#QQ26 |
| T5H66S7F7D | T5H66S7F7D | statement | record (an 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.31373#542K |
| T5H97ZX9VJ | T5H97ZX9VJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.07983#E9R5 |
| T5HMZDDK0P | T5HMZDDK0P | statement | record (an 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.26769#UPTO |
| T5KQSQ8F4Q | T5KQSQ8F4Q | statement | record (an 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.24363#FL9H |
| T5KTB629KN | T5KTB629KN | statement | record (an 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#LKFK |
| T5M8YSQC5T | T5M8YSQC5T | statement | record (an 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.09390#XK32 |
| T5N0KEVBX9 | T5N0KEVBX9 | statement | record (an 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.00676#20SJ |