Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203)

From MaRDI portal
Revision as of 21:41, 6 December 2024 by Schubotz (talk | contribs) (‎Removed claim: Property:P1645: Combinatorics/Pigeonhole.lean (Property P1645 not found, cannot determine the data type to use.))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
No description defined
Language Label Description Also known as
English
Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings
No description defined

    Statements

    instance of
    theorem
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6534203&oldid=38020410"
    Powered by MediaWiki