Math 2.0

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.

Rows 10201–10300 of 11759.

NameIdKindOutcomeSources
truth conditions1EPKNV7SKWdefinitionopenWikipedia Glossary of logic#1PVT
truth function7CE5F2G7MMdefinitionopenWikipedia Glossary of logic#QC1O
Truth functionB7Y80D71MSdefinitionopenWikipedia Truth function, Wikidata Q913874
Truth Lemma4BM5AFDJ3Astatementopenopen_logic content/normal-modal-logic/completeness/truth-lemma.tex#prop:truthlemma
Truth LemmaJF6HD07B2Rstatementopenopen_logic content/propositional-logic/syntax-and-semantics/completeness.tex#lem:truth
Truth LemmaN0MBY9TVAQstatementopenopen_logic content/first-order-logic/completeness/construction-of-model.tex#lem:truth
Truth of axiomsDE5B1XA97SstatementopenWikipedia Brouwer–Hilbert controversy#AR48
Truth predicateSTK0AKM7YRdefinitionopenWikipedia Truth predicate, Wikidata Q7848347
truth predicateTNP7MQV0M2definitionopenWikipedia Glossary of logic#A0L7
truth table976PAVGC25conceptopenlevin_dmoi index/4.1.1/truth-table
truth tableM61WY7SA74definitionnode (a node has the same Wikidata item as the row)Wikidata Q219079, EoM Truth_table, MathWorld TruthTable, Wikipedia Truth table
Truth tableNHFQ5WSMZ3definitionopenWikipedia List of mathematics reference tables#PS9W, Wikipedia List of Boolean algebra topics#H3KB
truth tableSBSHVAJVZYdefinitionopenWikipedia Glossary of logic#VON1
truth value6FXV7JWR6JdefinitionopenWikidata Q185521, nLab truth value, Wikipedia Truth value
truth valueY9NQDYP1JDdefinitionopenWikipedia Glossary of logic#TFA8
truth valueZ1Q5PY354Econceptopenlevin_dmoi index/1.2.1/truth-value
Truth-bearerM6D87F83JTdefinitionopenWikipedia Truth-bearer, Wikidata Q5411613
Truth-conditional semantics705DXW87M4definitionopenWikipedia Truth-conditional semantics, Wikidata Q7848251
truth-functionalBVC6WX1G8SdefinitionopenWikipedia Glossary of logic#08UH
truth-in-a-modelME43G1E698definitionopenWikipedia Glossary of logic#KSR9
Truth-preserving: no3KAPPA195HdefinitionopenWikipedia Exclusive or#8RB2
Truth-table reduction6TJJSXTM50definitionopenWikipedia Truth-table reduction, Wikidata Q7848253
truth-tellerJSF5ZWGSNZdefinitionopenWikipedia Glossary of logic#RG4X
truth-treeT3WB0K1GNMdefinitionopenWikipedia Glossary of logic#I87C
Truth-value assignments, formula evaluationsF76QFKTBVGstatementopenWikipedia Propositional formula#0M4K
truth-value gapZEAQCDDCT8definitionopenWikipedia Glossary of logic#TSHX
truth-value glutCPPSQS0EVZdefinitionopenWikipedia Glossary of logic#HEFD
Truth-value semanticsYM4KG8MRFCdefinitionopenWikipedia Truth-value semantics, Wikidata Q14477759
Truthful cake-cuttingEAFSYZG2WBtopicopenWikipedia Truthful cake-cutting, Wikidata Q85810869
Truthful equilibrium under replicationR3QHF54RCHstatementrecord (an 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
TruthinessNH3ZJNM63GdefinitionopenWikipedia Truthiness, Wikidata Q1701243
truthmakerF9ZSS1FP97definitionopenWikipedia Glossary of logic#5S7W
TRVA02GQS5TRVA02GQS5conjecturerecord (an 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
TRVCN6N191TRVCN6N191exerciseopenlevin_dmoi ptx/exercises/intro-functions.ptx#exercise-26
TRVHXX1YP6TRVHXX1YP6examplerecord (an 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
TRVSXMK57TTRVSXMK57Texerciseopennapkin tex/H113/grp-intro.tex#problem-3
TRWK0TWXB1TRWK0TWXB1exerciseopenlebl_ra ch-multivar-int.tex#exercise:allowfiniteseqsinoutermeasure
TRX0MNZ7DTTRX0MNZ7DTstatementrecord (an 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
TRX8ZP20XWTRX8ZP20XWdefinitionrecord (an 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
TRY5NMK704TRY5NMK704statementopenlebl_ra ch-multivar-int.tex#mv:prop:rectanglessupp
Trybuła, StanisławS1B5E2NK0NunknownopenWikipedia List of statisticians#4SC5
Trygve Nagell9RQKSNCN8FunknownopenWikipedia 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 lawPWXGHCREZZstatementopenWikipedia Planck's law#GT1A
Tryokhgorny8XWYDW53A5unknownopenWikipedia List of places with numeric names#FMC8
TRYPBQGVEVTRYPBQGVEVstatementrecord (an 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. GeorgiouTZ8DCCDXTZtopicopenWikipedia Tryphon T. Georgiou, Wikidata Q62518767
TryteW4RBC43PCQunknownopenWikipedia Ternary numeral system#1EIC
TRYVMK1J35TRYVMK1J35definitionrecord (an 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
TRZ9G1NGBRTRZ9G1NGBRstatementrecord (an 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
TRZH6G4PPWTRZH6G4PPWstatementrecord (an 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
TRZZE9NQSVTRZZE9NQSVexampleopenlebl_ra ch-metric.tex#example-15
TRZZFZEBSYTRZZFZEBSYstatementrecord (an 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 treeM0PTZNPN4JdefinitionopenWikipedia Trémaux tree, Wikidata Q7849146
Três Arroios6S1EEE4Q9GunknownopenWikipedia List of places with numeric names#F6FU
Três Barras12D1E4VXP0unknownopenWikipedia List of places with numeric names#LWVJ
Três Barras do Paraná5T47GR718NunknownopenWikipedia List of places with numeric names#J350
Três CachoeirasYXMW4V212NunknownopenWikipedia List of places with numeric names#21FT
Três Corações1JH18JNEQYunknownopenWikipedia List of places with numeric names#0QY6
Três CoroasBXTC71XGKBunknownopenWikipedia List of places with numeric names#ZFCT
Três de MaioB9RJ4M6ABPunknownopenWikipedia List of places with numeric names#BN3Y
Três Forquilhas2N24Y0M9HDunknownopenWikipedia List of places with numeric names#1UGT
Três FronteirasTQK9462VWYunknownopenWikipedia List of places with numeric names#Y69A
Três Lagoas525DPS4Q6CunknownopenWikipedia List of places with numeric names#7D7M
Três Marias2PNW36V53HunknownopenWikipedia List of places with numeric names#HNPU
Três PalmeirasQ8PDJQ0RNGunknownopenWikipedia List of places with numeric names#3KBZ
Três PassosJ6H92R984BunknownopenWikipedia List of places with numeric names#TGC1
Três PontasWKMV9HEFRHunknownopenWikipedia List of places with numeric names#I0O4
Três RanchosNGYPH15MHDunknownopenWikipedia List of places with numeric names#TGXP
Três Rios4HCDG3E1Z2unknownopenWikipedia List of places with numeric names#12OY
TS0E3EHPB1TS0E3EHPB1statementrecord (an 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
TS140NQED0TS140NQED0statementrecord (an 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
TS195YEGYPTS195YEGYPstatementrecord (an 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
TS1CKZZKM3TS1CKZZKM3statementrecord (an 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
TS1T1EBRB2TS1T1EBRB2definitionrecord (an 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
TS216WZ84PTS216WZ84Pstatementrecord (an 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
TS281YKDSZTS281YKDSZstatementrecord (an 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
TS2D1V7YHNTS2D1V7YHNstatementrecord (an 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
TS2KV69NDXTS2KV69NDXstatementrecord (an 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
TS2MK7E8XDTS2MK7E8XDstatementrecord (an 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
TS2YABQQ7XTS2YABQQ7Xstatementrecord (an 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
TS30FMD8B2TS30FMD8B2statementrecord (an 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
TS394FPPBKTS394FPPBKstatementrecord (an 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
TS3TBR4KCHTS3TBR4KCHstatementrecord (an 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
TS40R7CNF7TS40R7CNF7definitionrecord (an 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
TS433W3M7XTS433W3M7Xstatementrecord (an 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
TS4AMZEFTRTS4AMZEFTRdefinitionrecord (an 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
TS4F8J684XTS4F8J684Xstatementrecord (an 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
TS5BV14TPPTS5BV14TPPstatementrecord (an 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
TS5GQ15D49TS5GQ15D49statementrecord (an 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
TS5XWQWANDTS5XWQWANDdefinitionrecord (an 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
TS6VD976MBTS6VD976MBdefinitionrecord (an 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
TS6VGETCS8TS6VGETCS8statementrecord (an 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
TS6W6PATKKTS6W6PATKKexamplerecord (an 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
TS7QASAX0FTS7QASAX0Fstatementrecord (an 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
TS7S568Q1JTS7S568Q1Jstatementrecord (an 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
TS8AYQAFZ2TS8AYQAFZ2statementrecord (an 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
TS8BTGK9F4TS8BTGK9F4statementrecord (an 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
TS8EQEZR5PTS8EQEZR5Pexerciseopenlebl_ra ch-riemann.tex#exercise-43
TS92HNS3VSTS92HNS3VSstatementrecord (an 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
TS94WVTE3ZTS94WVTE3Zstatementrecord (an 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