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 10201–10300 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| truth conditions | 1EPKNV7SKW | definition | open | Wikipedia Glossary of logic#1PVT |
| truth function | 7CE5F2G7MM | definition | open | Wikipedia Glossary of logic#QC1O |
| Truth function | B7Y80D71MS | definition | open | Wikipedia Truth function, Wikidata Q913874 |
| Truth Lemma | 4BM5AFDJ3A | statement | open | open_logic content/normal-modal-logic/completeness/truth-lemma.tex#prop:truthlemma |
| Truth Lemma | JF6HD07B2R | statement | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#lem:truth |
| Truth Lemma | N0MBY9TVAQ | statement | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#lem:truth |
| Truth of axioms | DE5B1XA97S | statement | open | Wikipedia Brouwer–Hilbert controversy#AR48 |
| Truth predicate | STK0AKM7YR | definition | open | Wikipedia Truth predicate, Wikidata Q7848347 |
| truth predicate | TNP7MQV0M2 | definition | open | Wikipedia Glossary of logic#A0L7 |
| truth table | 976PAVGC25 | concept | open | levin_dmoi index/4.1.1/truth-table |
| truth table | M61WY7SA74 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q219079, EoM Truth_table, MathWorld TruthTable, Wikipedia Truth table |
| Truth table | NHFQ5WSMZ3 | definition | open | Wikipedia List of mathematics reference tables#PS9W, Wikipedia List of Boolean algebra topics#H3KB |
| truth table | SBSHVAJVZY | definition | open | Wikipedia Glossary of logic#VON1 |
| truth value | 6FXV7JWR6J | definition | open | Wikidata Q185521, nLab truth value, Wikipedia Truth value |
| truth value | Y9NQDYP1JD | definition | open | Wikipedia Glossary of logic#TFA8 |
| truth value | Z1Q5PY354E | concept | open | levin_dmoi index/1.2.1/truth-value |
| Truth-bearer | M6D87F83JT | definition | open | Wikipedia Truth-bearer, Wikidata Q5411613 |
| Truth-conditional semantics | 705DXW87M4 | definition | open | Wikipedia Truth-conditional semantics, Wikidata Q7848251 |
| truth-functional | BVC6WX1G8S | definition | open | Wikipedia Glossary of logic#08UH |
| truth-in-a-model | ME43G1E698 | definition | open | Wikipedia Glossary of logic#KSR9 |
| Truth-preserving: no | 3KAPPA195H | definition | open | Wikipedia Exclusive or#8RB2 |
| Truth-table reduction | 6TJJSXTM50 | definition | open | Wikipedia Truth-table reduction, Wikidata Q7848253 |
| truth-teller | JSF5ZWGSNZ | definition | open | Wikipedia Glossary of logic#RG4X |
| truth-tree | T3WB0K1GNM | definition | open | Wikipedia Glossary of logic#I87C |
| Truth-value assignments, formula evaluations | F76QFKTBVG | statement | open | Wikipedia Propositional formula#0M4K |
| truth-value gap | ZEAQCDDCT8 | definition | open | Wikipedia Glossary of logic#TSHX |
| truth-value glut | CPPSQS0EVZ | definition | open | Wikipedia Glossary of logic#HEFD |
| Truth-value semantics | YM4KG8MRFC | definition | open | Wikipedia Truth-value semantics, Wikidata Q14477759 |
| Truthful cake-cutting | EAFSYZG2WB | topic | open | Wikipedia Truthful cake-cutting, Wikidata Q85810869 |
| Truthful equilibrium under replication | R3QHF54RCH | statement | record (an 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.20789#00CI |
| Truthiness | NH3ZJNM63G | definition | open | Wikipedia Truthiness, Wikidata Q1701243 |
| truthmaker | F9ZSS1FP97 | definition | open | Wikipedia Glossary of logic#5S7W |
| TRVA02GQS5 | TRVA02GQS5 | 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.21191#MT76 |
| TRVCN6N191 | TRVCN6N191 | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-26 |
| TRVHXX1YP6 | TRVHXX1YP6 | 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 2110.12380#6JJ3 |
| TRVSXMK57T | TRVSXMK57T | exercise | open | napkin tex/H113/grp-intro.tex#problem-3 |
| TRWK0TWXB1 | TRWK0TWXB1 | exercise | open | lebl_ra ch-multivar-int.tex#exercise:allowfiniteseqsinoutermeasure |
| TRX0MNZ7DT | TRX0MNZ7DT | statement | record (an 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.29196#691C |
| TRX8ZP20XW | TRX8ZP20XW | 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 2210.02997#MJ96 |
| TRY5NMK704 | TRY5NMK704 | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:rectanglessupp |
| Trybuła, Stanisław | S1B5E2NK0N | unknown | open | Wikipedia List of statisticians#4SC5 |
| Trygve Nagell | 9RQKSNCN8F | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#THWI, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WHR6, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y2AY |
| Trying to find a physical explanation of the law | PWXGHCREZZ | statement | open | Wikipedia Planck's law#GT1A |
| Tryokhgorny | 8XWYDW53A5 | unknown | open | Wikipedia List of places with numeric names#FMC8 |
| TRYPBQGVEV | TRYPBQGVEV | statement | record (an 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.08382#QLX8 |
| Tryphon T. Georgiou | TZ8DCCDXTZ | topic | open | Wikipedia Tryphon T. Georgiou, Wikidata Q62518767 |
| Tryte | W4RBC43PCQ | unknown | open | Wikipedia Ternary numeral system#1EIC |
| TRYVMK1J35 | TRYVMK1J35 | 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#CGUB |
| TRZ9G1NGBR | TRZ9G1NGBR | statement | record (an 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.10505#0G7G |
| TRZH6G4PPW | TRZH6G4PPW | statement | record (an 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#HM7I |
| TRZZE9NQSV | TRZZE9NQSV | example | open | lebl_ra ch-metric.tex#example-15 |
| TRZZFZEBSY | TRZZFZEBSY | statement | record (an 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.31276#XWH7 |
| Trémaux tree | M0PTZNPN4J | definition | open | Wikipedia Trémaux tree, Wikidata Q7849146 |
| Três Arroios | 6S1EEE4Q9G | unknown | open | Wikipedia List of places with numeric names#F6FU |
| Três Barras | 12D1E4VXP0 | unknown | open | Wikipedia List of places with numeric names#LWVJ |
| Três Barras do Paraná | 5T47GR718N | unknown | open | Wikipedia List of places with numeric names#J350 |
| Três Cachoeiras | YXMW4V212N | unknown | open | Wikipedia List of places with numeric names#21FT |
| Três Corações | 1JH18JNEQY | unknown | open | Wikipedia List of places with numeric names#0QY6 |
| Três Coroas | BXTC71XGKB | unknown | open | Wikipedia List of places with numeric names#ZFCT |
| Três de Maio | B9RJ4M6ABP | unknown | open | Wikipedia List of places with numeric names#BN3Y |
| Três Forquilhas | 2N24Y0M9HD | unknown | open | Wikipedia List of places with numeric names#1UGT |
| Três Fronteiras | TQK9462VWY | unknown | open | Wikipedia List of places with numeric names#Y69A |
| Três Lagoas | 525DPS4Q6C | unknown | open | Wikipedia List of places with numeric names#7D7M |
| Três Marias | 2PNW36V53H | unknown | open | Wikipedia List of places with numeric names#HNPU |
| Três Palmeiras | Q8PDJQ0RNG | unknown | open | Wikipedia List of places with numeric names#3KBZ |
| Três Passos | J6H92R984B | unknown | open | Wikipedia List of places with numeric names#TGC1 |
| Três Pontas | WKMV9HEFRH | unknown | open | Wikipedia List of places with numeric names#I0O4 |
| Três Ranchos | NGYPH15MHD | unknown | open | Wikipedia List of places with numeric names#TGXP |
| Três Rios | 4HCDG3E1Z2 | unknown | open | Wikipedia List of places with numeric names#12OY |
| TS0E3EHPB1 | TS0E3EHPB1 | statement | record (an 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.16267#VI6V |
| TS140NQED0 | TS140NQED0 | statement | record (an 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.21682#79QF |
| TS195YEGYP | TS195YEGYP | statement | record (an 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.14204#66FY |
| TS1CKZZKM3 | TS1CKZZKM3 | statement | record (an 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.09298#VATB |
| TS1T1EBRB2 | TS1T1EBRB2 | 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.33704#JW3U |
| TS216WZ84P | TS216WZ84P | statement | record (an 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.17403#GP4P |
| TS281YKDSZ | TS281YKDSZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#ZWQZ |
| TS2D1V7YHN | TS2D1V7YHN | statement | record (an 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#SHGA |
| TS2KV69NDX | TS2KV69NDX | statement | record (an 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.20944#DTMI |
| TS2MK7E8XD | TS2MK7E8XD | statement | record (an 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.13580#PN2X |
| TS2YABQQ7X | TS2YABQQ7X | statement | record (an 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#UW4J |
| TS30FMD8B2 | TS30FMD8B2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#ULQB |
| TS394FPPBK | TS394FPPBK | statement | record (an 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#8GEE |
| TS3TBR4KCH | TS3TBR4KCH | statement | record (an 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.24917#ZQCG |
| TS40R7CNF7 | TS40R7CNF7 | 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 2510.05499#CU5S |
| TS433W3M7X | TS433W3M7X | statement | record (an 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.18562#Q8CU |
| TS4AMZEFTR | TS4AMZEFTR | 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.04870#G6HP |
| TS4F8J684X | TS4F8J684X | statement | record (an 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.26479#YS3K |
| TS5BV14TPP | TS5BV14TPP | statement | record (an 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.30363#PFAX |
| TS5GQ15D49 | TS5GQ15D49 | statement | record (an 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.10372#BFXQ |
| TS5XWQWAND | TS5XWQWAND | 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.28552#WEKI |
| TS6VD976MB | TS6VD976MB | 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 2207.12181#TL70 |
| TS6VGETCS8 | TS6VGETCS8 | statement | record (an 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#E0FX |
| TS6W6PATKK | TS6W6PATKK | 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.11395#0ZNW |
| TS7QASAX0F | TS7QASAX0F | statement | record (an 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.22073#SJNH |
| TS7S568Q1J | TS7S568Q1J | statement | record (an 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.21933#JIAR |
| TS8AYQAFZ2 | TS8AYQAFZ2 | statement | record (an 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.16700#VNQ4 |
| TS8BTGK9F4 | TS8BTGK9F4 | statement | record (an 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.02022#89F7 |
| TS8EQEZR5P | TS8EQEZR5P | exercise | open | lebl_ra ch-riemann.tex#exercise-43 |
| TS92HNS3VS | TS92HNS3VS | statement | record (an 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#XF83 |
| TS94WVTE3Z | TS94WVTE3Z | statement | record (an 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.13957#S5HR |