{"entities":{"Q7361399":{"pageid":31519736,"ns":120,"title":"Item:Q7361399","lastrevid":105365399,"modified":"2026-10-07T13:35:48Z","type":"item","id":"Q7361399","labels":{"en":{"language":"en","value":"Euler's Partition Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Euler_Partition"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aaacae44261788b957fa04dcf859cb17cd32f35","datavalue":{"value":"https://isa-afp.org/entries/Euler_Partition.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361399$988EE9F5-A7EC-4A52-A2A4-4CC3636E8195","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"390e76e3a1fc3fba4c5512200895e5fc04f72056","datavalue":{"value":{"time":"+2015-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361399$F2026BDF-D063-4F78-B903-90FCE98765C4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f484b014ef1f7e4d6732c5f6cd3b4a37ab17a130","datavalue":{"value":"Lukas Bulwahn","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361399$F8AD17CD-5599-4F05-B63C-693B6009FC85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e06913b0d7434389849dbac3a9335e27b4a9231c","datavalue":{"value":{"text":"Euler's Partition Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361399$6DBE994C-19AC-4F7D-9983-43115C89D5ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a2dc3e0ce62fa830aadf5acfa5c8f3b6775794e","datavalue":{"value":"Euler's Partition Theorem states that the number of partitions with only distinct parts is equal to the number of partitions with only odd parts. The combinatorial proof follows John Harrison's HOL Light formalization. This theorem is the 45th theorem of the Top 100 Theorems list.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361399$2EA87997-722B-4003-BAB3-E9572853CDD1","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":"Q7361399$4B79E16E-52E9-4D4B-8C55-1E7B2D795A57","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e141acec1eec5e0310a29e0b921a02663c767036","datavalue":{"value":{"entity-type":"item","numeric-id":7361646,"id":"Q7361646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361399$54200BBC-97A5-4AD9-972C-6A9767B2A9A0","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":"Q7361399$76146350-D1B6-4C0E-878A-D17BB0BCF100","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":"Q7361399$4D296351-5126-47DF-9065-1E8267DD6F18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Euler's Partition Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Euler%27s_Partition_Theorem"}}}}}