{"entities":{"Q7361380":{"pageid":31519679,"ns":120,"title":"Item:Q7361380","lastrevid":105365240,"modified":"2026-10-07T13:35:45Z","type":"item","id":"Q7361380","labels":{"en":{"language":"en","value":"Cardinality of Set Partitions"}},"descriptions":{"en":{"language":"en","value":"AFP entry Card_Partitions"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cfa0a3fbabb574c07676eeff6e893f272f7aea9","datavalue":{"value":"https://isa-afp.org/entries/Card_Partitions.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361380$0303F411-F38D-40B9-97B2-36130D1AED54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79ec851b2319edb6d3ed34d426d865c9372275b4","datavalue":{"value":{"time":"+2015-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361380$F35E9C1A-2754-48D0-BECD-2C3911CF1FCC","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f484b014ef1f7e4d6732c5f6cd3b4a37ab17a130","datavalue":{"value":"Lukas Bulwahn","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361380$DA66DEAD-2133-479A-9B89-83453AEACC26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bc31fbf4ec45d1dc8b7c2a43b0e4a89f4d5aa4f","datavalue":{"value":{"text":"Cardinality of Set Partitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361380$5602CDDC-79A4-4A6F-B1F1-D08AEC54568C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec3240d808c8970ab2e76e32cf1ca5b9e8319823","datavalue":{"value":"The theory's main theorem states that the cardinality of set partitions of size k on a carrier set of size n is expressed by Stirling numbers of the second kind. In Isabelle, Stirling numbers of the second kind are defined in the AFP entry `Discrete Summation` through their well-known recurrence relation. The main theorem relates them to the alternative definition as cardinality of set partitions. The proof follows the simple and short explanation in Richard P. Stanley's `Enumerative Combinatorics: Volume 1` and Wikipedia, and unravels the full details and implicit reasoning steps of these explanations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361380$EE784C77-F8B1-47A6-8F5A-49E3B12F9503","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361380$BD7BBAA2-DD31-4E13-91E1-8C82E0EBDC70","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361380$E55B459F-8FD2-4211-BCEC-6EB92E855950","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"10ca73b7b48ec0d94ed35427dddb0075a4e95a63","datavalue":{"value":{"entity-type":"item","numeric-id":7361609,"id":"Q7361609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361380$E89B7776-B8EA-444F-B758-A445B1E73240","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"5634edfbfbc0239093a6d080d47ef70273afec4d","datavalue":{"value":{"entity-type":"item","numeric-id":7360824,"id":"Q7360824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361380$91443270-5D71-4928-B472-8C88AC353667","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361380$2DDDBC26-9DC0-4508-9162-41EE780EB5F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinality of Set Partitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cardinality_of_Set_Partitions"}}}}}