Math 2.0

Inventory: K

The rows of the inventory whose names start with K. 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 4301–4400 of 5471.

NameIdKindOutcomeSources
KRC3CE0M52KRC3CE0M52statementrecord (an 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.05628#6CYA
KRC4VCF35QKRC4VCF35Qexerciseopennapkin tex/measure/caratheodory.tex#exercise-1
KRCC49GZRVKRCC49GZRVstatementrecord (an 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.12169#PCZP
KRCKJ0VZV4KRCKJ0VZV4statementrecord (an 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.02484#DWWX
Krein's conditionKM15DTGH2MdefinitionopenWikipedia List of numerical analysis topics#SCVD
Krein's conditionTN9GBPHD1PdefinitionopenWikipedia Krein's condition, Wikidata Q6436610
Krein's theorem on non-negative self-adjoint extensionsV7GFP746VSstatementopenWikipedia Friedrichs extension#4LRW
Krein, Mark Grigorievich43NCRHHMSJtopicopenWikipedia List of Ukrainian mathematicians#2F16
Krein--MilmanMB8HW4V772statementopenlebl_scv scv.tex#thm-57
Krein-Smulian TheoremE60X0VN8VWstatementopenWikipedia Krein–Smulian theorem#OX13
Krein-Smulian Theorem:FB5Y2FBFGPstatementopenWikipedia Krein–Smulian theorem#1L9S
Krein–MilmanYR98XFYFX0definitionopenWikipedia Glossary of functional analysis#1U0D
Krein–Milman theorem1PBWMN9MQ3statementopenmathlib_1000 Q642620, Mathlib closure_convexHull_extremePoints, Wikidata Q642620, thousand_plus Q642620, Wikipedia Krein–Milman theorem
Krein–Milman theorem7SE9G8C9ZBstatementopenWikipedia Extreme point#HEKF
Krein–Milman theorem7Y5ZDCCKYXstatementopenWikipedia List of theorems#J7R6
Krein–Milman theoremE2Y70M2CKKstatementopenWikipedia Krein–Milman theorem#WLYB
Krein–Milman theoremPVQREM26Q8statementopenWikipedia Krein–Milman theorem#9OQ7
Krein–Milman theoremWWMRMZ1N9SstatementopenWikipedia Krein–Milman theorem#6RJH
Krein–Rutman theoremYN7V1CD2MJstatementopenWikipedia Krein–Rutman theorem, Wikidata Q6436614
Krein–SmulianQWHDHNBM03definitionopenWikipedia Glossary of functional analysis#8ZHP
Krein–Smulian theoremYBADQ3XEQDstatementopenWikipedia Krein–Smulian theorem, Wikidata Q2226697
Kreisel-Putnam logicKYXN9SD3RJdefinitionopenWikipedia Glossary of logic#YVCC
Kreiss matrix theoremACA0496G5NstatementopenWikipedia Kreiss matrix theorem, Wikidata Q122973568
Krener's theoremBAQRG6QYJ0statementopenWikipedia List of theorems#OHBS
Krener's theoremE2E85Z1ARRstatementopenmathlib_1000 Q6436753, Wikidata Q6436753, thousand_plus Q6436753, Wikipedia Krener's theorem
Krenn--Gu ConjectureXGQKEZZH08conjecturerecord (an 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.22190#HLDV
KREPGSK5M0KREPGSK5M0proofopenlebl_ra ch-metric.tex#proof-24
Kretschmann scalarF0PHKJQ2EYdefinitionopenWikipedia Kretschmann scalar, Wikidata Q6436867
Krewski, DanXJ5CJXRCRDunknownopenWikipedia List of statisticians#K86W
KREYJWNJQTKREYJWNJQTexampleopenlevin_dmoi ptx/sec_counting-addmult.ptx#example-1
KRF8K85DZPKRF8K85DZPdefinitionrecord (an 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#DIJ7
KRFE940GHCKRFE940GHCexerciseopennapkin tex/topology/metric-top.tex#ques-3
KRFT8WJNTEKRFT8WJNTEstatementrecord (an 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.30771#DSTU
KRGNDX3MV3KRGNDX3MV3exerciseopenapplied_combinatorics source/s_networkflow_exercises.ptx#exercise-4
KRGW10K9R1KRGW10K9R1statementrecord (an 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.21972#VYF9
KRGW987Q21KRGW987Q21statementrecord (an 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.17308#PL4C
KRGYE8J3B0KRGYE8J3B0statementopenhott_book hlevels.tex#thm:hlevel-cumulative
KRH73E7Y79KRH73E7Y79proofopenopen_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-4
KRHGX60WAXKRHGX60WAXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.28337#SXA4
KRHVJPG5VBKRHVJPG5VBstatementrecord (an 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.35398#LWA8
KRHXKQJEM7KRHXKQJEM7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2404.14253#4VOF
KRHZMRVC1SKRHZMRVC1Sstatementrecord (an 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.28677#SCYR
Krichevsky–Trofimov estimatorVEHMSY64AFdefinitionopenWikipedia Krichevsky–Trofimov estimator, Wikidata Q6436967
Krichevsky–Trofimov estimatorWCSH5NX1QDdefinitionopenWikipedia List of analyses of categorical data#3THC
Krieger finite generator theorem (Krieger 1970)3G9XTT4KP4statementopenWikipedia Rokhlin lemma#QUC8
Krieger finite generator theorem (Krieger 1970)9WNHSHNP9ZstatementopenWikipedia Measure-preserving dynamical system#45ZF
Krieger–Nelson PrizeWRXC1EYBK9definitionopenWikipedia Krieger–Nelson Prize, Wikidata Q1354618
Kriging990KV3YXD4definitionopenWikipedia List of statistics articles#T63L
KrigingE3QTWVQM2XdefinitionopenWikipedia Kriging, Wikidata Q225926
Kriging weightsFFPTFZ7QBMunknownopenWikipedia Kriging#HC72
Krikor PeshtimaldjianFW6BY5VXW0topicopenWikipedia Krikor Peshtimaldjian, Wikidata Q6437035
Kripa Shankar ShuklaQG0BAY8T7CdefinitionopenWikipedia Kripa Shankar Shukla, Wikidata Q120833112
Kripke8RXDFXY24EdefinitionopenWikipedia Glossary of set theory#95XH
Kripke frameBJ4BFGXC48unknownopenWikipedia Kripke semantics#WWEA
Kripke semanticsB91DJKMQ4JdefinitionopenWikipedia List of mathematical logic topics#6KI4, Wikipedia List of mathematical logic topics#YI45
Kripke semanticsDPHT5XW356definitionopenWikipedia Glossary of logic#IID7
Kripke semanticsM76HV66J3JdefinitionopenWikipedia Kripke semantics, Wikidata Q2462350
Kripke structureAC6ABQF44KdefinitionopenWikipedia Glossary of logic#MY9R
Kripke weakeningNC6C249PBBdefinitionrecord (an 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.21131#MJGG
Kripke weakenings are weakeningsCFMVZFNNG6statementrecord (an 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.21131#JUIC
Kripke's theory of truthJJWGJNF5G2unknownopenWikipedia Semantic theory of truth#2CGT
Kripke-Joyal semanticsW9R2R7P36QunknownopenWikipedia Kripke semantics#WHBI
Kripke–Platek axiomsEC5G01PBDBdefinitionopenWikipedia List of axioms#MH1R
Kripke–Platek set theory7PXPZ3Y9WAdefinitionopenWikipedia List of alternative set theories#0IDA
Kripke–Platek set theoryNVS8Z4ZH9TdefinitionopenWikipedia Kripke–Platek set theory, Wikidata Q3526833
Kripke–Platek set theory with urelements7NDSJ5TFJQdefinitionopenWikipedia List of alternative set theories#X268
Kripke–Platek set theory with urelements905E0ECPMHdefinitionopenWikipedia Kripke–Platek set theory with urelements, Wikidata Q6437113
Krippendorff's Alpha6XR2YWBCG8definitionopenWikipedia List of analyses of categorical data#A55Z, Wikipedia List of statistics articles#5D4P
Krippendorff's alpha9MBHC9JZN3definitionopenWikipedia Krippendorff's alpha, Wikidata Q6437118
Krishnamurthi RamasubramanianXBEZH8G835unknownopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JZ8L
Krishnaswami Alladi2Z5JAJBAHRtopicopenWikipedia List of people by Erdős number#HAQL
Krishnaswami AlladiSRBF4ZPWGZtopicopenWikipedia Krishnaswami Alladi, Wikidata Q18763803
Krista GileS1P78RMFR7topicopenWikipedia Krista Gile, Wikidata Q56690613
Kristen Hendricks1F6V7MH18JtopicopenWikipedia Kristen Hendricks, Wikidata Q102438352
Kristen Olson6H8BRTKR1WunknownopenWikipedia List of fellows of the American Statistical Association#0JSE
Kristian B. DystheJ5NKM49XT7topicopenWikipedia Kristian B. Dysthe, Wikidata Q6437875
Kristian SeipQ01NZV8R88unknownopenWikipedia List of people by Erdős number#LL7H, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X1SJ
Kristin Lauter877K1YA3FKtopicopenWikipedia List of people by Erdős number#RSZ8
Kristin LauterEBPRZH3977topicopenWikipedia Kristin Lauter, Wikidata Q6438154
Kristin UmlandH37QAHSGAStopicopenWikipedia Kristin Umland, Wikidata Q61874620
Kristina ReissB5EEB37R9AtopicopenWikipedia Kristina Reiss, Wikidata Q21264235
Kristina VuškovićVR31S1GXEWtopicopenWikipedia Kristina Vušković, Wikidata Q63122279
Krivelevich, SudakovXQYY1W5N78statementrecord (an 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#9ZZU
Krivine calculusQAY1M6PP4Fstatementrecord (an 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.27771#VEEK
Krivine–Stengle PositivstellensatzM12M57XTWZdefinitionopenWikipedia Krivine–Stengle Positivstellensatz, Wikidata Q7607564
Kriyakramakari6W7S57SB2YdefinitionopenWikipedia Kriyakramakari, Wikidata Q6438636
KRJ69E004EKRJ69E004Estatementrecord (an 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#PBH3
KRJW6T66WFKRJW6T66WFstatementrecord (an 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.13745#5PCF
KRK8FPTW61KRK8FPTW61statementrecord (an 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.03628#66G9
KRKEEP8K87KRKEEP8K87statementrecord (an 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.10406#IR9T
KRKFWXJ69RKRKFWXJ69Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2304.02722#FZTJ
KRM2F59WKYKRM2F59WKYstatementrecord (an 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.21005#EB5Q
KRMX4HG0BBKRMX4HG0BBstatementrecord (an 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.20050#W5BF
KRN99WTSJCKRN99WTSJCdefinitionrecord (an 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.16386#E88F
KRNA8CEWV1KRNA8CEWV1statementrecord (an 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.20568#QL2W
KRNRD6H6P8KRNRD6H6P8statementrecord (an 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.27078#OYJC
Krohn–Rhodes theoryS6X8P6T15HdefinitionopenWikipedia Krohn–Rhodes theory, Wikidata Q6438788
Kronecker coefficientEM0S4H896SdefinitionopenWikipedia List of unsolved problems in mathematics#UL1Z
Kronecker coefficientGY8DEW8RWBdefinitionopenWikipedia Kronecker coefficient, Wikidata Q6438894
Kronecker combQR1QHQHZ5TunknownopenWikipedia Kronecker delta#L9WY